25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings / Moreira, Nelma ; Reis, Rogério  

Público ISBD Ningún comentario para este título. Título : 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings Tipo de documento: documento electrónico Autores: Moreira, Nelma, ; Reis, Rogério, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XVII, 381 p. 52 ilustraciones, 12 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-81508-0 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)  Teoría de las máquinas  Programación lógica  Gestión de base de datos  Lógica informática y fundamentos de la programación  Procesamiento del lenguaje natural (PNL)  Lenguajes formales y teoría de los autómatas  Lógica en IA Clasificación: Resumen: Este libro constituye las actas de la 25.a Conferencia Internacional sobre Desarrollos en la Teoría del Lenguaje, DLT 2021, que se celebró en Oporto, Portugal, del 16 al 20 de agosto de 2021. La conferencia se llevó a cabo en un formato híbrido con participación presencial y en línea. participación. Los 27 artículos completos incluidos en estas actas fueron cuidadosamente revisados ​​y seleccionados entre 48 presentaciones. La serie de conferencias DLT proporciona un foro para presentar los desarrollos actuales en lenguajes formales y autómatas. Su alcance es muy general e incluye, entre otros, los siguientes temas y áreas: gramáticas, aceptores y transductores de palabras, árboles y gráficos; teorías algebraicas de autómatas; propiedades algorítmicas, combinatorias y algebraicas de palabras y lenguajes; códigos de longitud variable; dinámica simbólica; autómata celular; poliominós y patrones multidimensionales; cuestiones de decidibilidad; manipulación y compresión de imágenes; algoritmos de texto eficientes; relaciones con la criptografía, la concurrencia, la teoría de la complejidad y la lógica; informática bioinspirada; computación cuántica. El libro también incluye 3 charlas invitadas en papel completo. . Nota de contenido: Invited Talks -- Morphic sequences versus automatic sequences -- Parsimonious Computational Completeness Pointlike sets and separation: a personal perspective -- Regular Papers -- A strong non-overlapping Dyck code -- Active Learning of Sequential Transducers with Side Information about the Domain -- Compositions of Constant Weighted Extended Tree Transducers -- Extremal Binary PFAs in a Cerny Family -- Variations on the Post Correspondence Problem for Free Groups -- Reducing local alphabet size in recognizable picture languages -- Properties of Graphs Specified by a Regular Language -- Balanced-by-construction regular and omega-regular languages -- Weighted Prefix Normal Words: Mind the Gap -- Two-Way Non-Uniform Finite Automata -- Integer Weighted Automata on Infinite Words -- Deciding FO2 Alternation for Automata over Finite and Infinite Words -- State Complexity of Projection on Languages Recognized by Permutation Automata and Commuting Letters -- Constrained Synchronization and Subset Synchronization Problems for Weakly Acyclic Automata -- Lyndon words formalized in Isabelle/HOL -- The Range of State Complexities of Languages Resulting from the Cascade Product—The General Case (Extended Abstract) -- Second-order finite automata: expressive power and simple proofs using automatic structures -- Reversible Top-Down Syntax Analysis -- Symmetry groups of infinite words -- Bounded Languages Described by GF(2)-grammas -- Definability Results for Top-Down Tree Transducers -- The hardest LL(k) language -- Upper Bounds on Distinct Maximal (Sub-)Repetitions in Compressed Strings -- Branching Frequency and Markov Entropy of Repetition-Free Languages -- A Linear-time Simulation of Deterministic d-Limited Automata -- Caratheodory Extensions of Subclasses of Regular Languages -- Parikh Word Representable Graphs and Morphisms. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings [documento electrónico] / Moreira, Nelma, ; Reis, Rogério,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XVII, 381 p. 52 ilustraciones, 12 ilustraciones en color. ISBN : 978-3-030-81508-0 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)  Teoría de las máquinas  Programación lógica  Gestión de base de datos  Lógica informática y fundamentos de la programación  Procesamiento del lenguaje natural (PNL)  Lenguajes formales y teoría de los autómatas  Lógica en IA Clasificación: Resumen: Este libro constituye las actas de la 25.a Conferencia Internacional sobre Desarrollos en la Teoría del Lenguaje, DLT 2021, que se celebró en Oporto, Portugal, del 16 al 20 de agosto de 2021. La conferencia se llevó a cabo en un formato híbrido con participación presencial y en línea. participación. Los 27 artículos completos incluidos en estas actas fueron cuidadosamente revisados ​​y seleccionados entre 48 presentaciones. La serie de conferencias DLT proporciona un foro para presentar los desarrollos actuales en lenguajes formales y autómatas. Su alcance es muy general e incluye, entre otros, los siguientes temas y áreas: gramáticas, aceptores y transductores de palabras, árboles y gráficos; teorías algebraicas de autómatas; propiedades algorítmicas, combinatorias y algebraicas de palabras y lenguajes; códigos de longitud variable; dinámica simbólica; autómata celular; poliominós y patrones multidimensionales; cuestiones de decidibilidad; manipulación y compresión de imágenes; algoritmos de texto eficientes; relaciones con la criptografía, la concurrencia, la teoría de la complejidad y la lógica; informática bioinspirada; computación cuántica. El libro también incluye 3 charlas invitadas en papel completo. . Nota de contenido: Invited Talks -- Morphic sequences versus automatic sequences -- Parsimonious Computational Completeness Pointlike sets and separation: a personal perspective -- Regular Papers -- A strong non-overlapping Dyck code -- Active Learning of Sequential Transducers with Side Information about the Domain -- Compositions of Constant Weighted Extended Tree Transducers -- Extremal Binary PFAs in a Cerny Family -- Variations on the Post Correspondence Problem for Free Groups -- Reducing local alphabet size in recognizable picture languages -- Properties of Graphs Specified by a Regular Language -- Balanced-by-construction regular and omega-regular languages -- Weighted Prefix Normal Words: Mind the Gap -- Two-Way Non-Uniform Finite Automata -- Integer Weighted Automata on Infinite Words -- Deciding FO2 Alternation for Automata over Finite and Infinite Words -- State Complexity of Projection on Languages Recognized by Permutation Automata and Commuting Letters -- Constrained Synchronization and Subset Synchronization Problems for Weakly Acyclic Automata -- Lyndon words formalized in Isabelle/HOL -- The Range of State Complexities of Languages Resulting from the Cascade Product—The General Case (Extended Abstract) -- Second-order finite automata: expressive power and simple proofs using automatic structures -- Reversible Top-Down Syntax Analysis -- Symmetry groups of infinite words -- Bounded Languages Described by GF(2)-grammas -- Definability Results for Top-Down Tree Transducers -- The hardest LL(k) language -- Upper Bounds on Distinct Maximal (Sub-)Repetitions in Compressed Strings -- Branching Frequency and Markov Entropy of Repetition-Free Languages -- A Linear-time Simulation of Deterministic d-Limited Automata -- Caratheodory Extensions of Subclasses of Regular Languages -- Parikh Word Representable Graphs and Morphisms. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

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