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

• teoría de autómatas

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

Introduction to automata theory, languages, and computation/.
Introducción a la teoría de autómatas, lenguajes y computación/.

Eilenberg also wrote an important book on automata theory.
Eilenberg también escribió un importante libro sobre teoría de autómatas.

Introduction to Automata Theory, Languages and Computation.
Introduction to Automata Theory, Languages, and Computation en inglés.

The following resources contain additional information on Automata Theory.
Los siguientes recursos contienen información adicional sobre la Teoría de Autómatas.

Introduction to Automata Theory, Languages, and Computation(3rd ed.).
Introducción a la teoría de autómatas, lenguajes y computación.

Safra's research areas include complexity theory and automata theory.
Su investigación incluye las áreas de complejidad computacional y teoría de autómatas.

Automata Theory Wiki- Wikipedia Reference for Automata Theory.
Teoría de Autómatas Wiki- Referencia Wikipedia para la Teoría de Autómatas.

In Proceedings of the 13th IEEE Symposium on Switching and Automata Theory, pp. 125-129, 1972.
En Proceedings del 13.º Simposio de IEEE encima Cambiando y Automata Teoría, pp. 125-129, 1972.

Automata theory is also closely related to formal language theory..
Teoría de Autómatas también está estrechamente relacionada con la teoría del lenguaje formal.

The neighborhood is named after Edward F. Moore, a pioneer of cellular automata theory.
Este criterio de vecindad debe su nombre a Edward F. Moore, un pionero de la teoría de autómatas celulares.

Automata theory and formal language theory are closely related to computability.
La teoría de autómatas, los lenguajes formales y la Dinámica de sistemas se relacionan de manera cercana con la computabilidad.

His research career, which spans over forty years, is focused on formal languages and automata theory.
Se ha dedicado a la investigación por más de 40 años, enfocado en los lenguajes formales y la teoría de autómatas.

Palabras clave: Pattern recognition; automata theory; language modelling; formal grammars; formal languages.
Palabras clave: Reconocimiento de formas; teoría de autómatas; modelos de lenguaje; gramáticas formales; lenguajes formales.

It has applications to enumerative combinatorics, fractal analysis, theoretical computer science, automata theory and linguistics.
Tiene aplicaciones a la combinatoria enumerativa, al análisis fractal, a la informática teórica, a la teoría de los autómatas ya la lingüística.

Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them.
La teoría de autómatas es una rama de la teoría de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver.

The expression in silico was first used in public in 1989 in the workshop"Cellular Automata: Theory and Applications" in Los Alamos, New Mexico.
La expresión in silico fue usada por primera vez en público en 1989 en el taller Autómata Celular: Teoría y Aplicaciones, en Los Álamos, Nuevo México.

An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in automata theory.
Una máquina abstracta, también llamada un computador abstracto, es un modelo teórico de un sistema computador de hardware o software usado en la teoría de autómatas.

Automata Theory and Algorithm Design Theory to design suitable automation solutions in information processing.
Conocimientos de Teoría de autómatas y Teoría de diseño de algoritmos y lenguajes formales para diseñar las soluciones idóneas de automatización en el procesamiento de la información.

Their goal is to develop practical solutions from sound principles, using modelling tools and techniques from algorithmics, computational complexity, automata theory, logic, discrete mathematics, statistics, and dynamic systems.
Su objetivo es la resolución de problemas a partir de una aproximación basada en sólidos principios matemáticos, utilizando herramientas de modelización y técnicas basadas en la algoritmia, la complejidad computacional, la teoría de autómatas, la lógica, la matemática discreta, la estadística y los sistemas dinámicos.

Automata theory is also closely related to formal language theory, as the automata are often classified by the class of formal languages they are able to recognize.
La teoría de autómatas está estrechamente relacionada con la teoría del lenguaje formal ya que los autómatas son clasificados a menudo por la clase de lenguajes formales que son capaces de reconocer.

In 1959, he published a joint paper with Michael O. Rabin, a colleague from Princeton, titled Finite Automata and Their Decision Problem(Scott and Rabin 1959) which introduced the idea of nondeterministic machines to automata theory.
En 1959 publicó un artículo junto con Michael O. Rabin, un colega de Princeton, titulado Finite Automata and Their Decisión Problem(Autómatas Finitos y el Problema de su Decidibilidad), que introdujo la idea de las máquinas no determinísticas en el campo de la teoría de autómatas.

In automata theory and sequential logic, a state transition table is a table showing what state(or states in the case of a nondeterministic finite automaton) a finite semiautomaton or finite state machine will move to, based on the current state and other inputs.
En teoría de autómatas y lógica secuencial, una tabla de transición de estados es una tabla que muestra qué estado se moverá un autómata finito dado, basándose en el estado actual y otras entradas.

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.
Los métodos formales se describen mejor como la aplicación de una bastante amplia variedad de teóricos fundamentales de la informática, en particular, los cálculos lógica, los lenguajes formales, la teoría de autómatas, y la semántica de los programas, sino también de tipo de sistemas y tipos de datos algebraicos a los problemas en el software y hardware de especificación y verificación.

His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages.
Su trabajo sobre teoría de autómatas le hizo ganar el Premio Turing de la ACM en 1976, mientras que su trabajo en colaboración con Christopher Strachey en los años 1970 fijó los cimientos para los enfoques modernos en semántica de lenguajes de programación.

His research interest are(no order) verification of systems with infinitely many states; abstraction refinement techniques for verification; bounded analysis techniques; logic and automata theory; algorithms and tools for the design and verification of reactive and distributed systems; program analysis; and formal models for distributed systems: petri nets.
Sus lineas de investigación son(sin orden): verificación de sistemas con infinitos estados; técnicas de abstractas de refinamiento para verificación; técnicas de análisis acotado; lógica y teoría de autómatas; algoritmos y herramientas para el diseño y verificación de sistemas reactivos y distribuidos; análisis de programas; y métodos formales para sistemas distribuidos: redes de petri.

See also Branches of Computer Science and ACM Computing Classification System Theory of computation- branch that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm Automata theory- study of mathematical objects called abstract machines or automata and the computational problems that can be solved using them.
Ver también Ramas de Ciencias de la Computación y ACM Sistema de Clasificación de Informática Teoría de la computación- rama que se ocupa de si y cómo de manera eficiente los problemas pueden resolverse en un modelo de cálculo, utilizando un algoritmo Teoría de Autómatas- estudio de los objetos matemáticos llamados máquinas abstractas o autómatas y los problemas de cálculo que se pueden resolver de usarlos.

He made contributions to the theory of automata.
Hizo aportaciones a la teoría de la arqueología.

How to use "automata theory" in an English sentence

Basic automata theory and regular expressions.

Language and automata theory and applications.

Need Help with Automata Theory work.

Languages, Automata Theory and Applications (LATA). 2010.

Are you looking for Automata Theory ebooks.

Sequential Machines and Automata Theory (1st ed.).

Same goes for the Automata Theory track.

Tutoring in automata theory for bachelor students.

Formal Languages and Automata Theory 1 review.

Rodriguez). 13.4 Automata Theory and Dynamic Programming. 14.

How to use "teoría de autómatas" in a Spanish sentence

Automatización: Apuntes de Teoría de Autómatas y Lenguajes Formales Gloria Martínez Luis A.

Nociones básicas de lenguajes formales y teoría de autómatas aplicadas a problemáticas generativas.

es Introducción Teoría de Autómatas y Lenguajes formales es un "repaso" a la informática teórica.

Teoría de Autómatas y LenguajesFormales Capítulo 1: "Introducción" Holger Billhardt holger.

Autómatas y lenguaje, cuyo objeto de estudio son la Teoría de Autómatas y los lenguajes formales.

Nociones básicas de lenguajes formales y teoría de autómatas aplicadas a la problemática generativa.

Wehrhahn), Teoría de Autómatas y Lenguajes Formales (J.

KELLEY, Teoría de Autómatas y Lenguajes Formales, Prentice [LP] H.

Amado Lara Rodríguez Aplicaciones de la Teoría de Autómatas y Lenguajes Formales, Interpretes y CompiladoresDra.

Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.