20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings / Konstantinidis, Stavros ; Pighizzini, Giovanni  

Público ISBD Ningún comentario para este título. Título : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings Tipo de documento: documento electrónico Autores: Konstantinidis, Stavros, ; Pighizzini, Giovanni, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIV, 251 p. 35 ilustraciones ISBN/ISSN/DL: 978-3-319-94631-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: Ciencias de la Computación  Procesamiento del lenguaje natural (Informática)  Informática  Matemáticas discretas  Inteligencia artificial  Lógica informática y fundamentos de la programación  Procesamiento del lenguaje natural (PNL)  Matemáticas discretas en informática  Ciencia de los datos Clasificación: Resumen: Este libro constituye las actas de la 20.ª Conferencia Internacional sobre Complejidad Descriptiva de Sistemas Formales, DCFS 2018, celebrada en Halifax, NS, Canadá, en julio de 2018. Los 19 artículos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 24 presentaciones. DCFS es una conferencia de trabajo internacional anual sobre la complejidad descriptiva de sistemas y estructuras formales y sus aplicaciones. Los temas de interés están relacionados con todos los aspectos de la complejidad descriptiva y mucho más. . Nota de contenido: Formal languages and automata theory -- State complexity -- Grammars -- Randomness -- Automata extensions -- Algebraic language theory. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings [documento electrónico] / Konstantinidis, Stavros, ; Pighizzini, Giovanni,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XIV, 251 p. 35 ilustraciones. ISBN : 978-3-319-94631-3 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación  Procesamiento del lenguaje natural (Informática)  Informática  Matemáticas discretas  Inteligencia artificial  Lógica informática y fundamentos de la programación  Procesamiento del lenguaje natural (PNL)  Matemáticas discretas en informática  Ciencia de los datos Clasificación: Resumen: Este libro constituye las actas de la 20.ª Conferencia Internacional sobre Complejidad Descriptiva de Sistemas Formales, DCFS 2018, celebrada en Halifax, NS, Canadá, en julio de 2018. Los 19 artículos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 24 presentaciones. DCFS es una conferencia de trabajo internacional anual sobre la complejidad descriptiva de sistemas y estructuras formales y sus aplicaciones. Los temas de interés están relacionados con todos los aspectos de la complejidad descriptiva y mucho más. . Nota de contenido: Formal languages and automata theory -- State complexity -- Grammars -- Randomness -- Automata extensions -- Algebraic language theory. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

21st IFIP WG 1.02 International Conference, DCFS 2019, KoÅ¡ice, Slovakia, July 17–19, 2019, Proceedings / Hospodár, Michal ; Jirásková, Galina ; Konstantinidis, Stavros  

Público ISBD Ningún comentario para este título. Título : 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. 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: 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. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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. 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: 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. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 2 / 2) Ver por página : 25 50 100 200