Ihar Hancharenka 5dff80e88e first
2023-03-27 16:52:17 +03:00

60 строки
2.3 KiB
Plaintext

http://is.ifmo.ru/works/
http://is.ifmo.ru/automata/
2013
Gale - Machines and Their Languages (short and good)
https://www.dcs.warwick.ac.uk/michael_gale/publications/2013-01-14-machines-and-their-languages.html
Ozhiganov - Automata Theory ru
https://books.ifmo.ru/file/pdf/1013.pdf
87 pages
2011
PolikarpovaShalyto - Automata Programming 2nd ed ru
Shalyto - Automata Programs Verification ru
2010
Gromkovich - Theoretical Informatics ru
https://www.studmed.ru/gromkovich-yu-teoreticheskaya-informatika-vvedenie-v-teoriyu-avtomatov-teoriyu-vychislimosti-teoriyu-slozhnosti-teoriyu-algoritmov-randomizaciyu-teoriyu-svyazi-i-kriptografiyu_b1fc42304dc.html
!
2008
Korotkova - Mathematical Theory of Automatas ru
Levelt - An Introduction to the Theory of Formal Languages and Automata
Gorbatov - Automaton Theory ru
Marchenkov - Finite State Machines ru
https://www.ozon.ru/context/detail/id/5035032/
https://www.litres.ru/sergey-marchenkov-8217180/konechnye-avtomaty-16958896/
https://e.lanbook.com/book/59510
557151260045A5997B53FC1975124CB8
! zipped svgs
! other book - https://mk.cs.msu.ru/images/8/87/Igdm-book.pdf
2006
Mozgovoy - Algorithms Automatas Languages Compilers ru
2004
Adamczyk - A Pattern Language for Implementing Finite State Machines
https://hillside.net/plop/2004/papers/padamczyk0/PLoP2004_padamczyk0_0.pdf
Podzorov - Algorithm Theory Conspect ru
https://www.studmed.ru/podzorov-syu-teoriya-algoritmov-polnyy-konspekt-lekciy-po-kursu_8617d0def97.html
2003
Karpov - Automata Theory ru
DA13C72C0AF1F9B00E5EA18A19E34BC7
2002
Shalyto - Algorithms Hardware and Software Implementation Methods ru
Shalyto - Recursive Algorithms Implementation using Automata Approach
http://www.ict.edu.ru/ft/003758/recurse.pdf
2001
Vyhovanec - Automata Theory ru
http://valery.vykhovanets.ru/
http://valery.vykhovanets.ru/Texts/2001/Vykhovanets2001_m1.pdf
https://www.studmed.ru/vyhovanec-vs-teoriya-avtomatov_9a1626eb6a7.html
2000
Lupal - Automata Theory ru
691D698F0D2ADC73AAF6E8AB0265C84E
FA498C044968715F6D4045EF21A5F2D3
1998
Shalyto - SWITCH Technology ru
1971
Melihov - Oriented Graphs and Finite Automatas ru
E9A25C73AE4D8F8248BB41526599ABB1
????
Adamczyk - INTRODUCTION Selected Patterns for Implementing Finite State Machines
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.2987