Графическое представление программы плюс результат трансляцииКраткая история разработкиПредставление программного кода в виде конечного автомата подкупает надежн...