| TÃtulo : |
Descriptional Complexity of Formal Systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings / |
| Tipo de documento: |
documento electrónico |
| Autores: |
Hospodár, Michal, ; Jirásková, Galina, ; Konstantinidis, Stavros, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
X, 299 p. 230 ilustraciones, 5 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-23247-4 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Idioma : |
Inglés (eng) |
| Palabras clave: |
Ciencias de la Computación TeorÃa de las máquinas Inteligencia artificial Gestión de base de datos Computadoras Propósitos especiales Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Sistemas de propósito especial y basados ​​en aplicaciones |
| Clasificación: |
40.151 |
| Resumen: |
Este libro constituye las actas de la 21.ª Conferencia Internacional sobre Complejidad Descriptiva de Sistemas de Formato, DCFS 2019, celebrada en KoÅ¡ice, Eslovaquia, en julio de 2019. Los 18 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 25 presentaciones. El libro también contiene 4 charlas invitadas. Se ocupan de todos los aspectos de la complejidad descriptiva y los costos de descripción de objetos en varios modelos computacionales, como máquinas de Turing, autómatas pushdown, autómatas finitos, gramáticas y otros. . |
| Nota de contenido: |
A General Framework for Sequential Grammars with Control Mechanisms -- Low-Complexity Tilings of the Plane -- Union-Freeness, Deterministic Union-Freeness and Union-Complexity -- Limited Automata: Properties, Complexity and Variants -- Nondeterministic Right One-Way Jumping Finite Automata -- State Complexity of Single-Word Pattern Matching in Regular Languages -- Square, Power, Positive Closure, and Complementation on Star-Free Languages -- Descriptional Complexity of Matrix Simple Semi-Conditional Grammars -- Regulated Tree Automata -- Generalized de Bruijn Words and the State Complexity of Conjugate Sets -- The Syntactic Complexity of Semi-Flower Languages -- Limited Nondeterminism of Input-Driven Pushdown Automata Decidability and Complexity -- Computability on Quasi-Polish Spaces -- NFA-to-DFA Trade-Off for Regular Operations -- State Complexity of Simple Splicing -- Nondeterminism Growth and State Complexity -- Descriptional Complexity of Iterated Uniform Finite State Transducers.-On Classes of Regular Languages Related to Monotone WQOs -- State Complexity of GF(2)-Concatenation and GF(2)-Inverse on Unary Languages -- Pushdown Automata and Constant Height: Decidability and Bounds -- On the Decidability of Finding a Positive ILP-Instance in a Regular Set of ILP-Instances -- How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory. . |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others. . |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Descriptional Complexity of Formal Systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, KoÅ¡ice, Slovakia, July 17–19, 2019, Proceedings / [documento electrónico] / Hospodár, Michal, ; Jirásková, Galina, ; Konstantinidis, Stavros, . - 1 ed. . - [s.l.] : Springer, 2019 . - X, 299 p. 230 ilustraciones, 5 ilustraciones en color. ISBN : 978-3-030-23247-4 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng)
| Palabras clave: |
Ciencias de la Computación TeorÃa de las máquinas Inteligencia artificial Gestión de base de datos Computadoras Propósitos especiales Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Sistemas de propósito especial y basados ​​en aplicaciones |
| Clasificación: |
40.151 |
| Resumen: |
Este libro constituye las actas de la 21.ª Conferencia Internacional sobre Complejidad Descriptiva de Sistemas de Formato, DCFS 2019, celebrada en KoÅ¡ice, Eslovaquia, en julio de 2019. Los 18 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 25 presentaciones. El libro también contiene 4 charlas invitadas. Se ocupan de todos los aspectos de la complejidad descriptiva y los costos de descripción de objetos en varios modelos computacionales, como máquinas de Turing, autómatas pushdown, autómatas finitos, gramáticas y otros. . |
| Nota de contenido: |
A General Framework for Sequential Grammars with Control Mechanisms -- Low-Complexity Tilings of the Plane -- Union-Freeness, Deterministic Union-Freeness and Union-Complexity -- Limited Automata: Properties, Complexity and Variants -- Nondeterministic Right One-Way Jumping Finite Automata -- State Complexity of Single-Word Pattern Matching in Regular Languages -- Square, Power, Positive Closure, and Complementation on Star-Free Languages -- Descriptional Complexity of Matrix Simple Semi-Conditional Grammars -- Regulated Tree Automata -- Generalized de Bruijn Words and the State Complexity of Conjugate Sets -- The Syntactic Complexity of Semi-Flower Languages -- Limited Nondeterminism of Input-Driven Pushdown Automata Decidability and Complexity -- Computability on Quasi-Polish Spaces -- NFA-to-DFA Trade-Off for Regular Operations -- State Complexity of Simple Splicing -- Nondeterminism Growth and State Complexity -- Descriptional Complexity of Iterated Uniform Finite State Transducers.-On Classes of Regular Languages Related to Monotone WQOs -- State Complexity of GF(2)-Concatenation and GF(2)-Inverse on Unary Languages -- Pushdown Automata and Constant Height: Decidability and Bounds -- On the Decidability of Finding a Positive ILP-Instance in a Regular Set of ILP-Instances -- How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory. . |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others. . |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsquedaDescriptional Complexity of Formal Systems / Hospodár, Michal ; Jirásková, Galina ; Konstantinidis, Stavros
