Descuento:
-5%Antes:
Despues:
189,05 €La teoría de los autómatas es un tema de estudio en la encrucijada de las matemáticas, la informática teórica y las aplicaciones. En su núcleo se ocupa de modelos abstractos de sistemas cuyo comportamiento se basa en transiciones entre estados y desarrolla métodos para la descripción, clasificación, análisis y diseño de dichos sistemas.
El Manual de teoría de los autómatas ofrece una visión general completa de la investigación actual en la teoría de los autómatas y está dirigido a un amplio número de investigadores y estudiantes graduados en matemáticas e informática.
El volumen I se divide en tres partes. La primera parte presenta varios tipos de autómatas: autómatas sobre palabras, sobre palabras infinitas, sobre árboles finitos e infinitos, autómatas ponderados y maxplus, transductores y modelos bidimensionales. Los aspectos de complejidad se discuten en la segunda parte. Los aspectos algebraicos y topológicos de la teoría de autómatas se tratan en la tercera parte.
El volumen II consta de dos partes. La primera parte está dedicada a las aplicaciones de los autómatas en matemáticas: teoría de grupos, teoría de números, dinámica simbólica, lógica y funciones reales. La segunda parte presenta una serie de aplicaciones adicionales de la teoría de autómatas tales como sistemas de paso de mensajes, métodos simbólicos, síntesis, autómatas cronometrados, verificación de programas de orden superior, análisis de procesos probabilísticos, procesamiento del lenguaje natural, verificación formal de programas y computación cuántica. .
Los dos volúmenes comprenden un total de treinta y nueve capítulos, con amplias referencias y tablas de contenido individuales para cada uno, así como un índice de materias detallado.
Automata theory is a subject of study at the crossroads of mathematics, theoretical computer science, and applications. In its core it deals with abstract models of systems whose behaviour is based on transitions between states, and it develops methods for the description, classification, analysis, and design of such systems.
The Handbook of Automata Theory gives a comprehensive overview of current research in automata theory, and is aimed at a broad readership of researchers and graduate students in mathematics and computer science.
Volume I is divided into three parts. The first part presents various types of automata: automata on words, on infinite words, on finite and infinite trees, weighted and maxplus automata, transducers, and two-dimensional models. Complexity aspects are discussed in the second part. Algebraic and topological aspects of automata theory are covered in the third part.
Volume II consists of two parts. The first part is dedicated to applications of automata in mathematics: group theory, number theory, symbolic dynamics, logic, and real functions. The second part presents a series of further applications of automata theory such as message-passing systems, symbolic methods, synthesis, timed automata, verification of higher-order programs, analysis of probabilistic processes, natural language processing, formal verification of programs and quantum computing.
The two volumes comprise a total of thirty-nine chapters, with extensive references and individual tables of contents for each one, as well as a detailed subject index.
-5%
-5%
-5%
-5%
-5%
-5%
-5%
-5%
-5%
-5%
