| A more recent textbook is de la Higuera (2010), which covers the theory of grammatical inference of regular languages and finite state automata. |
Более свежей книгой является книга де ла Хигеры (2010), в которой освещается теория грамматического вывода регулярных языков и конечных автоматов. |
| Methods based on Courcelle's theorem have also been applied to database theory, knowledge representation and reasoning, automata theory, and model checking. |
Методы, основанные на теореме Курселя, были использованы в теории баз данных, представлении знаний и логических выводов, теории автоматов и проверке моделей. |
| Eggan's Theorem: The star height of a regular language L equals the minimum cycle rank among all nondeterministic finite automata with ε-moves accepting L. Proofs of this theorem are given by Eggan (1963), and more recently by Sakarovitch (2009). |
Теорема Эггана: Высота итерации регулярного языка L равна наименьшему циклическому рангу среди всех недетерминированных конечных автоматов с ε-переходами, принимающих язык L. Доказательство этой теоремы дал Эгган, и, позднее, Сакарович. |
| In his seminal study of the star height of regular languages, Eggan (1963) established a relation between the theories of regular expressions, finite automata, and of directed graphs. |
В своих основополагающих исследованиях высоты итерации регулярных языков Эгган установил связь между теорией регулярных выражений, теорией конечных автоматов и ориентированными графами. |
| The new concept of the MCA method is based on the introducing of the state of the pair of automata (relation of interacting pairs of automata) in addition to the conventional one - the state of a separate automaton. |
Новая концепция метода МСА основана на представлении состояния пары автоматов (связывает пару взаимодействующих автоматов) в дополнении к обычному состоянию отдельного автомата. |