What is the translation of " AUTOMATA THEORY " in Russian?

• теории автоматов

Examples of using Automata theory in English and their translations into Russian

We recall a few concepts from graph theory and automata theory.
Напомним некоторые понятия из теории графов и теории автоматов.

The global state approach was continued in automata theory for finite state machines and push down stack machines, including their nondeterministic versions.
Глобальный подход к состоянию был продолжен в теории автоматов для конечных автоматов и машин со стеком, в том числе их недетерминированные версии.

Organization of students' scientific research on the subject«Automata Theory».
Организация научно-исследовательской работы студентов по дисциплине« Теория автоматов».

Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them.
Теория автоматов- раздел дискретной математики, изучающий абстрактные автоматы- вычислительные машины, представленные в виде математических моделей- и задачи, которые они могут решать.

His research career, which spans over forty years, is focused on formal languages and automata theory.
Его исследования более 40 лет связаны с формальными языками и теорией автоматов.

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.
Например, в теории автоматов и теории формальных языков обычно рассматриваются помеченные мультиграфы, то есть графы, в которых пара вершин может быть соединена несколькими помеченными ребрами.

The neighborhood is named after Edward F. Moore, a pioneer of cellular automata theory.
Окрестность получила свое название в честь одного из пионеров теории клеточных автоматов Эдварда Мура.

Theorems A and B were used for the basis of the course work of a student of the fourth year, A. A. Karatsuba,"On a problem from the automata theory", which was distinguished by testimonial reference at the competition of student works of the faculty of mechanics and mathematics of Moscow Lomonosow State University in 1958.
Эти две теоремы явились основой курсовой работы Карацубы 4- го курса« Об одной проблеме из теории автоматов» которая была отмечена похвальным отзывом( то есть, не очень высоко) на конкурсе студенческих работ механико-математического факультета МГУ им. Ломоносова в 1958 году.

Although the machine is new, but when it is used in the design principles already known in the art, particularly in automata theory.
Хотя сама машина нова, но при ее конструировании использовались принципы, уже известные в технике, в частности в теории автоматов.

Formal methods are best described as the application of a fairly broad variety of theoretical computer science fundamentals, in particular logic calculi, formal languages, automata theory, and program semantics, but also type systems and algebraic data types to problems in software and hardware specification and verification.
Формальные методы имеют довольно широкое применение: от теоретических основ информатики( в частности, логики вычислений, формальных языков, теории автоматов, программ и семантики) до систем типов и проблем алгебраических типов данных в задачах спецификации и верификации программного и аппаратного обеспечения.

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.
У него двое детей: Кирсти и Кай Саломаа, последний из которых является профессором компьютерных наук в Университете Куинс в Кингстоне и работает в области формальных языков и теории автоматов.

The expression in silico was first used in public in 1989 in the workshop"Cellular Automata: Theory and Applications" in Los Alamos, New Mexico.
Выражение in silico было впервые введено в оборот в 1989 году на семинаре« Cellular Automata: Theory and Applications» в Лос-Аламосе, Нью-Мексико.

At the same time there is a wide class of mathematical models which are well studied within such disciplines as theory of abstract algebras, graph theory, automata theory.
В то же время существует широкий класс математических моделей, хорошо изученных в рамках таких дисциплин, как теория абстрактных алгебр, теория графов, теория конечных автоматов.

Substitution tilings are notably useful as ways of defining aperiodic tilings, which are objects of interest in many fields of mathematics, including automata theory, combinatorics, discrete geometry, dynamical systems, group theory, harmonic analysis and number theory, as well as crystallography and chemistry.
Подстановочные мозаики весьма полезны как путь определения апериодичных мозаик, которые являются объектами исследования многих областей математики, включая теорию автоматов, комбинаторику, комбинаторную геометрию, динамические системы, теорию групп, гармонический анализ и теорию чисел, не говоря уже об областях, где эти мозаики возникли, кристаллографию и химию.

Research experience and solutions to many problems of analysis programs(the equivalence checking programs, obfuscation and verification) shows that the quality and effectiveness of the algorithm for checking the similarity of programs can be significantly improved by applying deeper methods of semantic analysis of programs that use models and algorithms of algebra and the automata theory.
Опыт исследования и решения многих задач анализа программ( проверка эквивалентности программ, обфускация программ, верификация программ) показывает, что качество и результативность алгоритмов проверки подобия программ можно значительно повысить за счет применения более глубоких методов семантического анализа программ, использующих модели и алгоритмы из алгебры и теории автоматов.

We propose the two approaches to the use of mathematical apparatus of cellular automata theory for solving of the given tasks.
Основные подходы к использованию математического аппарата теории клеточных автоматов для решения задач кодирования информации/ О.

A synchronizing coloring(also known as a collapsible coloring) in G is a labeling of the edges in G with letters from A such that(1) each vertex has exactly one outgoing edge with a given label and(2) for every vertex v in the graph, there exists a word w over A such that all paths in G corresponding to w terminate at v. The terminology synchronizing coloring is due to the relation between this notion and that of a synchronizing word in finite automata theory.
Синхронизирующая раскраска( известная также как разборная раскраска) графа G- это разметка ребер графа G буквами из A, такая что( 1) каждая вершина имеет ровно одно исходящее ребро с указанной меткой, и( 2) для каждой вершины v в графе существует слово w над A, такое что все пути в G, соответствующие w, завершаются в v. Термин синхронизирующая раскраска возник в связи со связью с термином синхронизирующее слово в теории конечных автоматов.

Until the present day(2011), Karatsuba's result on the length of experiments is the only exact nonlinear result, both in automata theory, and in similar problems of computational complexity theory..
Однако до настоящего времени этот результат Карацубы, который впоследствии стал называться теоремой Мура- Карацубы, является единственным точным( единственно точный нелинейный порядок оценки) нелинейным результатом как в теории автоматов, так и в аналогичных задачах теории сложности вычислений.

It includes basic mathematical disciplines, courses in discrete mathematics, graph theory and algorithms, mathematical cybernetics, methods for minimizing logical functions, automata theory, disciplines on learning standard and special programming languages(С, С++, SystemC, VHDL, VERILOG) and the newest automated design tools of Mentor Graphics, Cadence, Xilinx, as well as courses on studying the components and architectures of the latest information processing systems.
Он включает базовые математические дисциплины, курсы по дискретной математике, теории графов и алгоритмов, математической кибернетике, методам минимизации логических функций, теории автоматов, дисциплины по изучению и освоению стандартных и специальных языков программирования( С, С++, SystemC, VHDL, VERILOG) и новейших средств автоматизированного проектирования фирм Mentor Graphics, Cadence, Xilinx, а также курсы по изучению компонентов и архитектур новейших систем обработки информации.

Methods based on Courcelle's theorem have also been applied to database theory, knowledge representation and reasoning, automata theory, and model checking.
Методы, основанные на теореме Курселя, были использованы в теории баз данных, представлении знаний и логических выводов, теории автоматов и проверке моделей.

The ACM 's Special Interest Group on Algorithms and Computation Theory( SIGACT) provides the following description: TCS covers a wide variety of topics including algorithms, data structures, computational complexity, parallel and distributed computation, probabilistic computation, quantum computation, automata theory, information theory, cryptography, program semantics and verification, machine learning, computational biology, computational economics, computational geometry, and computational number theory and algebra.
ACM SIGACT( англ. Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory), подгруппа ACM, описывает науку, как поддержку теоретической информатики и отмечает: Область теоретической информатики толкуется широко и включает в себя алгоритмы, структуры данных, теорию сложности вычислений, распределенные вычисления, параллельные вычисления, СБИС( сверхбольшая интегральная схема), машинное обучение, вычислительную биологию, вычислительную геометрию, теории информации, криптографию, квантовый компьютинг, теорию чисел, алгебру и теорию вычисления( символьные вычисления), семантику и верификацию языков программирования, теорию автоматов, а также теории случайных процессов.

First-year students of the Programme in Software Engineering will also learn about the basics of computer vision, Python programming language and applied automata theory during their summer practical work.
Студенты первого курса" Программной инженерии" в рамках летней учебной практики изучают основы компьютерного зрения, язык программирования Python и прикладную теорию автоматов.

Finite State Automata in the Theory of Algebraic Program Schemata.
Конечные автоматы в теории алгебраических схем программ.

Eggan(1963) established a relation between the theories of regular expressions, finite automata, and of directed graphs.
Эгган установил отношение между теориями регулярных выражений, конечными автоматами и ориентированными графами.

The measure theory on limit spaces of automaton groups was developed, and fundamental results about the associated limit dynamical system were proved.
Построена теория меры на граничных пространствах автоматных групп и получены фундаментальные результаты про ассоциированную динамическую систему.

In his seminal study of the star height of regular languages, Eggan(1963) established a relation between the theories of regular expressions, finite automata, and of directed graphs.
В своих основополагающих исследованиях высоты итерации регулярных языков Эгган установил связь между теорией регулярных выражений, теорией конечных автоматов и ориентированными графами.

Credit module content enables to learn the basic provisions of the digital automatons theory, the basic methods of synthesis and analysis of digital circuits, the organization of standard hardware components, as well as to formulate the practical problems in terms of computer logic, to choose the rational variants of their solutions and to get the hand in designing digital automatons using different hardware components.
Материал кредитного модуля дает возможность получить знания основных положений теории цифровых автоматов, изучить основные методы синтеза и анализа цифровых схем, организации типовых узлов компьютерной техники, а также формулирование практических задач в терминах компьютерной логики и выбора рациональных вариантов их решения, получение навыков построения цифровых автоматов в разных элементных базисах.

Von Neumann Theory of Self-Reproducing Automata..
Фон Нейман Теория самовоспроизводящихся автоматов.

He made contributions to the theory of automata..
Внес вклад в разработку теории речевого акта.

Applied theory of digital automata: lecture summary.
Прикладная теория цифровых автоматов: конспект лекций.