Сергей Прохоренко писал(а):
...
Меня больше беспокоит другое - почему на форуме нет поддержки конечного автомата? Ведь то, как сейчас программируются автоматы - это вообще тихий ужас, и как будто всех это устраивает...
В смысле, никто не высказал интереса? Ну, кого-то м.б. устраивает и визуально-структурный инструментарий, перечисленный в упомянутой работе (как связанный с Шалыто, так и разработанный независимо) - см. позиции
в разд. Список источников этой выдержки. М.б. кто-то из программирующих автоматно скажет, чем пользуется?
Сергей Прохоренко писал(а):
Я предложил ввести в PureBuilder конечный автомат, то есть, автомат, имеющий только входную ленту. Вы идете дальше, и предлагаете автомат с двумя лентами - входной и выходной. Я тоже думал об этом, но решил отложить это как-нибудь на потом. Мотивация следующая. Конечный автомат необходим для создания управляющих алгоритмов, поэтому это приоритет номер один. Автомат с двумя лентами имеет гораздо более узкое применение - в основном при разработке трансляторов языков программирования и, может быть, естественных языков.
...
Как Вы понимаете назначение выходной ленты в соотнесении МТ с КА (учитывая сказанное в п/р 1.3,1.4 той же выдержки, в т.ч. и о реализации управления объектами окружения)? Кстати, там же на с.10 упоминается выходная лента - но управление объектами далее никак не связывается с её наличием - всё представляется через одноленточные МТ... и я имею в виду именно учёт свойств множества переходов, описанных на с.77 (как будем в редакторе описывать
противоречивые и/или неполные системы переходов и какие сочинителю дадим средства приведения к
непротиворечивым и полным?), а не организацию МТ...