Метод упрощения программ

Он состоит в следующем: по компьютерной программе строим автомат, затем находим приведенный автомат, пишем программу, ему соответствующую. Эта программа эквивалентна предыдущей и более простая.


» Терминология