| Salomaa was introduced to the theory of automata and formal languages during seminars at Berkeley given by John Myhill in 1957. |
Саломаа познакомился с теорией автоматов и формальных языков во время семинаров Джона Майхилла в Калифорнийском университете в Беркли в 1957 году. |
| The global state approach was continued in automata theory for finite state machines and push down stack machines, including their nondeterministic versions. |
Глобальный подход к состоянию был продолжен в теории автоматов для конечных автоматов и машин со стеком, в том числе их недетерминированные версии. |
| Journal of Automata, Languages and Combinatorics, an international academic journal in the field of theoretical computer science published by the university. |
Журнал автоматов, языков и комбинаторики, международный академический журнал в области теоретической информатики, изданные университетом. |
| 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. |
В соответствии с концепцией бистабильных автоматов вводится два состояния пары (взаимосвязь): Итак, изменение состояния связи пары определяется относительным движением автоматов, и среда, формируемая такими парами, может быть названа бистабильной средой. |