История изменений
Исправление a--, (текущая версия) :
Пригодится, если внезапно понадобится сделать что-то отличное от самого конечного автомата. А это приходится делать чаще, чем хотелось бы в идеально однозадачной машине Тьюринга. По этой причине нужно почти каждый шаг запоминать, чтобы потом восстановить работы автомата.
отнюдь не всегда это нужно
допустим, у нас есть внешний сервис, который принимает json и валидирует его конечным автоматом; он (и сервис, и автомат) имеет право ничего не запоминать и просто сказать «валид/инвалид» без малейших попыток диагностики (для диагностики да, надо че-то запоминать)
Исходная версия a--, :
Пригодится, если внезапно понадобится сделать что-то отличное от самого конечного автомата. А это приходится делать чаще, чем хотелось бы в идеально однозадачной машине Тьюринга. По этой причине нужно почти каждый шаг запоминать, чтобы потом восстановить работы автомата.
отнюдь не всегда это нужно
допустим, у нас есть внешний сервис, который принимает json и валидирует его конечным автоматом; он имеет право ничего не запоминать и просто сказать «валид/инвалид» без малейших попыток диагностики (для диагностики да, надо че-то запоминать)