| His research career, which spans over forty years, is focused on formal languages and automata theory. | Его исследования более 40 лет связаны с формальными языками и теорией автоматов. |
| Thinking in terms of automata (steps and states) can also be used to describe semantics of some programming languages. | Мышление в терминах автоматов (шагов и состояний) находит применение и при описании семантики некоторых языков программирования. |
| Salomaa was introduced to the theory of automata and formal languages during seminars at Berkeley given by John Myhill in 1957. | Саломаа познакомился с теорией автоматов и формальных языков во время семинаров Джона Майхилла в Калифорнийском университете в Беркли в 1957 году. |
| In contrast to the classical cellular automaton method in the MCA method not only a single automaton but also a relationship of pair of automata can be switched. | По сравнению с методом классических клеточных автоматами в методе МСА не только единичный автомат, но и также связи автоматов могут переключаться. |
| A more recent textbook is de la Higuera (2010), which covers the theory of grammatical inference of regular languages and finite state automata. | Более свежей книгой является книга де ла Хигеры (2010), в которой освещается теория грамматического вывода регулярных языков и конечных автоматов. |
| We recall a few concepts from graph theory and automata theory. | Напомним некоторые понятия из теории графов и теории автоматов. |
| Methods based on Courcelle's theorem have also been applied to database theory, knowledge representation and reasoning, automata theory, and model checking. | Методы, основанные на теореме Курселя, были использованы в теории баз данных, представлении знаний и логических выводов, теории автоматов и проверке моделей. |
| The global state approach was continued in automata theory for finite state machines and push down stack machines, including their nondeterministic versions. | Глобальный подход к состоянию был продолжен в теории автоматов для конечных автоматов и машин со стеком, в том числе их недетерминированные версии. |
| Solutions to Znám's problem have applications to the classification of surface singularities (Brenton and Hill 1988) and to the theory of nondeterministic finite automata. | Решения задачи Знама имеют приложения к классификации особых точек поверхностей (Brenton, Hill 1988) и теории недетерминированных конечных автоматов. |
| 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. | У него двое детей: Кирсти и Кай Саломаа, последний из которых является профессором компьютерных наук в Университете Куинс в Кингстоне и работает в области формальных языков и теории автоматов. |
| Journal of Automata, Languages and Combinatorics, an international academic journal in the field of theoretical computer science published by the university. | Журнал автоматов, языков и комбинаторики, международный академический журнал в области теоретической информатики, изданные университетом. |
| 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. | Новая концепция метода МСА основана на представлении состояния пары автоматов (связывает пару взаимодействующих автоматов) в дополнении к обычному состоянию отдельного автомата. |
| 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. | В соответствии с концепцией бистабильных автоматов вводится два состояния пары (взаимосвязь): Итак, изменение состояния связи пары определяется относительным движением автоматов, и среда, формируемая такими парами, может быть названа бистабильной средой. |