| 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. |
Мышление в терминах автоматов (шагов и состояний) находит применение и при описании семантики некоторых языков программирования. |
| 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. |
У него двое детей: Кирсти и Кай Саломаа, последний из которых является профессором компьютерных наук в Университете Куинс в Кингстоне и работает в области формальных языков и теории автоматов. |
| 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. |
Например, в теории автоматов и теории формальных языков обычно рассматриваются помеченные мультиграфы, то есть графы, в которых пара вершин может быть соединена несколькими помеченными рёбрами. |
| 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. |
В соответствии с концепцией бистабильных автоматов вводится два состояния пары (взаимосвязь): Итак, изменение состояния связи пары определяется относительным движением автоматов, и среда, формируемая такими парами, может быть названа бистабильной средой. |