| 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. | Методы, основанные на теореме Курселя, были использованы в теории баз данных, представлении знаний и логических выводов, теории автоматов и проверке моделей. |
| 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) и теории недетерминированных конечных автоматов. |
| 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. | Новая концепция метода МСА основана на представлении состояния пары автоматов (связывает пару взаимодействующих автоматов) в дополнении к обычному состоянию отдельного автомата. |
| 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. | Эта тенденция особенно заметна в областях теории групп, где применяется автоматизация, поскольку это лучше согласуется с принятым в автоматах чтении слов слева направо. |