метод PGtoNFA в интерпретаторе

[mathhyyn]

и логи префиксной грамматики

N = Minimize.PGtoNFA.PrefixGrammar.Thompson {(ab)*|(ba)*} !!
Equiv N (Thompson {(ab)*|(ba)*})

[mathhyyn]

Андрей если захочет пусть проверит задним числом а пока его нет мы беспределим

меня только этот момент интересует, но мне сказали что выглядит норм