| Salomaa was introduced to the theory of automata and formal languages during seminars at Berkeley given by John Myhill in 1957. |
Саломаа познакомился с теорией автоматов и формальных языков во время семинаров Джона Майхилла в Калифорнийском университете в Беркли в 1957 году. |
| He has two children, Kirsti and Kai, the latter of whom is a professor of Computer Science at Queen's University and also works in the field of formal languages and automata theory. |
У него двое детей: Кирсти и Кай Саломаа, последний из которых является профессором компьютерных наук в Университете Куинс в Кингстоне и работает в области формальных языков и теории автоматов. |
| 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. Доказательство этой теоремы дал Эгган, и, позднее, Сакарович. |
| 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. |
Новая концепция метода МСА основана на представлении состояния пары автоматов (связывает пару взаимодействующих автоматов) в дополнении к обычному состоянию отдельного автомата. |
| According with the bistable automata concept there are two types of the pair states (relationships): So the changing of the state of pair relationships is controlled by relative movements of the automata and the media formed by such pairs can be considered as bistable media. |
В соответствии с концепцией бистабильных автоматов вводится два состояния пары (взаимосвязь): Итак, изменение состояния связи пары определяется относительным движением автоматов, и среда, формируемая такими парами, может быть названа бистабильной средой. |