Без заголовка

Текстовый и бинарный синтаксисы, а также базовая система типов у меня есть. Потихоньку работаю над имплементициями. Сильно разные вещи - система типов (unit, record, tag, ...) и "базовые типы для описания систем" (функциональные физические объекты, etc) как элементы стандартных библиотек. Диаграммные представления - одну и ту же ситуацию можно представить как state diagram или flowchart. Тоже выбор библиотек.