Программы maffsa.sf.net
-
MAF (Monoid Automata Factory) Бесплатный
Переработка в СЗ КБМАГ. Библиотека пакетов и C-кодов для вычислительных автоматических структур и стеченной системы переписывания для групповых и пакетных перезаписей систем, а также для вычислений с конечными автоматами сост