Надо такие курсы поискать (с таким названием), или/и сделать свой. Мне-то лично не надо, а вот проекту надо.
Почему?
Потому что простой язык ассемблера можно было бы описать языком регулярных выражений
(без вложенных рекурсивных конструкций, вроде скобок).
А в более сложных языках всё равно используются регулярные выражения для описания "токенов".
Пишут страшное:
«Теория автоматов наиболее тесно связана с теорией алгоритмов:
автомат преобразует дискретную информацию по шагам
в дискретные моменты времени и формирует результат по шагам заданного алгоритма.
---
алгебраическая трактовка теории автоматов, использует
полукольца,
формальные степенные ряды,
формальные ряды над деревьями,
теорию неподвижных точек и
теорию матриц»
Это всё непонятно и на практике не нужно. Но вдруг, если разобраться, то на какие-нибудь мысли наведёт?
Какая есть литература?
1960-03, McNaughton R., Yamada H., "Regular Expressions and State Graphs for Automata".
https://ieeexplore.ieee.org/document/5221603
(качается через annas-archive)
1961, Глушков В.М., "Абстрактная теория автоматов"
(тут описан "алгоритм Глушкова", но у него нет научного первенства, но зато по-русски, но чёрт ногу сломит?)
1962, Глушков В.М., "Синтез цифровых автоматов"
1968, https://en.wikipedia.org/wiki/Thompson's_construction
Ранее на форуме упоминалась книжка
1987, Самофалов К. Г. & Романкевич А. М. & Валуйский В. Н. [и др.]., Прикладная теория цифровых автоматов, 375 с.
есть в libgen
там среди много чего прочего есть "глава 10. Абстрактные цифровые автоматы", страница 219 (110 в файле).
Но там пишут не то, что нужно, не в современном изложении, например:
«... выделяют три типа абстрактных автоматов: автомат Мили, автомат Мура, С-автомат»
дело в том, что в СССР заточка курсов была на разработку железа, а не на написание софта и теорию компиляции.
2021, Серебряков В.А. & Галочкин М.П. & Гончар Д.Р. & Фуругян М.Г. , Теория и реализация языков программирования. Учебное пособие для СПО
(На основе лекций МГУ и МИФИ)
Ранее по теме/см. также:
Детерминированный конечный автомат (ДКА)
Отредактировано Лис (2024-10-03 03:13:00)
