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 году. |
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. Доказательство этой теоремы дал Эгган, и, позднее, Сакарович. |