Título :	24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings
Tipo de documento:	documento electrónico
Autores:	Hospodár, Michal, ; Jirásková, Galina,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2019
Número de páginas:	XVI, 249 p. 440 ilustraciones, 25 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-23679-3
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Red informática  Ingeniería de software  Ingeniería Informática y Redes  Inteligencia artificial  Ingeniería Informática  Informática  Lógica informática y fundamentos de la programación
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas de la 24.ª Conferencia Internacional sobre Implementación y Aplicación de Autómatas, CIAA 2019, celebrada en Kosice, Eslovaquia, en julio de 2019. Los 17 artículos regulares presentados junto con 2 artículos invitados en este libro fueron cuidadosamente revisados ​​y seleccionados entre 29 presentaciones iniciales. Los temas de los artículos incluyen la complejidad de los lenguajes y las operaciones del lenguaje, expresiones regulares, lenguajes de imágenes, autómatas de salto, autómatas bidimensionales y controlados por entradas, lenguajes de árboles y transductores de árboles, arquitectura de sistemas de oritatami, problema de deducción de intrusos, códigos de ceniza sensibles al contexto, relaciones racionales y algoritmos para manipular diagramas de decisión binaria de secuencia.
Nota de contenido:	Static Garbage Collection -- Graph-Walking Automata: From Whence They Come, and Whither They Are Bound -- Enumerated Automata Implementation of String Dictionaries -- New Approaches for Context Sensitive Flash Codes -- Dolev-Yao Theory with Associative Blindpair Operators: An Automata-Theoretic Approach -- Semi-Linear Lattices and Right One-Way Jumping Finite Automata -- Z-Automata for Compact and Direct Representation of Unranked Tree Languages -- A Benchmark Production Tool for Regular Expressions -- New Algorithms for Manipulating Sequence BDDs -- A Simple Extension to Finite Tree Automata for Defining Sets of Labeled, Connected Graphs -- Composition Closure of Linear Weighted Extended Top-Down Tree Transducers -- A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata -- Descriptional Complexity of Power and Positive Closure on Convex Languages -- Partitioning a Symmetric Rational Relation into Two Asymmetric Rational Relations -- Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels -- Input-Driven Multi-Counter Automata -- Two-Dimensional Pattern Matching against Basic Picture Languages -- Decision Problems for Restricted Variants of Two-Dimensional Automata -- Streaming Ranked-Tree-to-String Transducers. .
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings [documento electrónico] / Hospodár, Michal, ; Jirásková, Galina,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XVI, 249 p. 440 ilustraciones, 25 ilustraciones en color.
ISBN : 978-3-030-23679-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Red informática  Ingeniería de software  Ingeniería Informática y Redes  Inteligencia artificial  Ingeniería Informática  Informática  Lógica informática y fundamentos de la programación
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas de la 24.ª Conferencia Internacional sobre Implementación y Aplicación de Autómatas, CIAA 2019, celebrada en Kosice, Eslovaquia, en julio de 2019. Los 17 artículos regulares presentados junto con 2 artículos invitados en este libro fueron cuidadosamente revisados ​​y seleccionados entre 29 presentaciones iniciales. Los temas de los artículos incluyen la complejidad de los lenguajes y las operaciones del lenguaje, expresiones regulares, lenguajes de imágenes, autómatas de salto, autómatas bidimensionales y controlados por entradas, lenguajes de árboles y transductores de árboles, arquitectura de sistemas de oritatami, problema de deducción de intrusos, códigos de ceniza sensibles al contexto, relaciones racionales y algoritmos para manipular diagramas de decisión binaria de secuencia.
Nota de contenido:	Static Garbage Collection -- Graph-Walking Automata: From Whence They Come, and Whither They Are Bound -- Enumerated Automata Implementation of String Dictionaries -- New Approaches for Context Sensitive Flash Codes -- Dolev-Yao Theory with Associative Blindpair Operators: An Automata-Theoretic Approach -- Semi-Linear Lattices and Right One-Way Jumping Finite Automata -- Z-Automata for Compact and Direct Representation of Unranked Tree Languages -- A Benchmark Production Tool for Regular Expressions -- New Algorithms for Manipulating Sequence BDDs -- A Simple Extension to Finite Tree Automata for Defining Sets of Labeled, Connected Graphs -- Composition Closure of Linear Weighted Extended Top-Down Tree Transducers -- A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata -- Descriptional Complexity of Power and Positive Closure on Convex Languages -- Partitioning a Symmetric Rational Relation into Two Asymmetric Rational Relations -- Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels -- Input-Driven Multi-Counter Automata -- Two-Dimensional Pattern Matching against Basic Picture Languages -- Decision Problems for Restricted Variants of Two-Dimensional Automata -- Streaming Ranked-Tree-to-String Transducers. .
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i