| Salomaa was introduced to the theory of automata and formal languages during seminars at Berkeley given by John Myhill in 1957. |
Саломаа познакомился с теорией автоматов и формальных языков во время семинаров Джона Майхилла в Калифорнийском университете в Беркли в 1957 году. |
| 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. Доказательство этой теоремы дал Эгган, и, позднее, Сакарович. |
| For example, in automata theory and formal language theory it is convenient to consider labeled multigraphs, i.e., a pair of vertices may be connected by several labeled edges. |
Например, в теории автоматов и теории формальных языков обычно рассматриваются помеченные мультиграфы, то есть графы, в которых пара вершин может быть соединена несколькими помеченными рёбрами. |
| 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. |
Новая концепция метода МСА основана на представлении состояния пары автоматов (связывает пару взаимодействующих автоматов) в дополнении к обычному состоянию отдельного автомата. |