Сообщение от Kolyaj
|
|
Делать автомат с двумя состояниями и с элементарными переходами между ними лишнее, не находите?
|
Нет, не нахожу, потому что реализация должна следовать за спецификацией, а не наоборот. Кстати, результирующий код не обязательно будет именно реализовывать конечный автомат, там может быть что-то другое, но именно что эквивалентное.