| 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. | По сравнению с методом классических клеточных автоматами в методе МСА не только единичный автомат, но и также связи автоматов могут переключаться. |
| 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. | Методы, основанные на теореме Курселя, были использованы в теории баз данных, представлении знаний и логических выводов, теории автоматов и проверке моделей. |
| 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) и теории недетерминированных конечных автоматов. |
| 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. Доказательство этой теоремы дал Эгган, и, позднее, Сакарович. |
| As a result of this, the automata have the ability to change their neighbors by switching the states (relationships) of the pairs. | В результате этого, автоматы имеют возможность менять своих соседей путём переключения состояния(зависимостей) пар. |
| Concept classes that are polynomially closed under exception lists include Boolean formulas, circuits, deterministic finite automata, decision-lists, decision-trees, and other geometrically-defined concept classes. | Классы понятий, полиномиально замкнутые по спискам исключений, включают булевские формулы, суммирующие цепи, детерминированные конечные автоматы, списки решений, деревья решений и другие классы понятий на геометрической основе. |
| The extraordinary breakthrough that Price and Hamilton had made was to discover that self-reproducing automata didn't have to be invented. | Прайс и Гамильтон совершили выдающимся прорыв, открыв, что самовоспроизводящиеся автоматы не нужно изобретать. |
| Alexander Ollongren in his book explains the so-called Vienna method of programming languages semantics description which is fully based on formal automata. | Александр Оллонгрен в своей книге описывает так называемый Венский метод описания семантики языков программирования, основанный целиком на формальных автоматах. |
| This approach is especially prevalent in areas of group theory where automata play a role, since it accords better with the convention that automata read words from left to right. | Эта тенденция особенно заметна в областях теории групп, где применяется автоматизация, поскольку это лучше согласуется с принятым в автоматах чтении слов слева направо. |