Developments in Language Theory / Moreira, Nelma ; Reis, Rogério  

Público ISBD Ningún comentario para este registro. Título : Developments in Language Theory : 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. Idioma : Inglés (eng) 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: 40.151 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 25th International Conference on Developments in Language Theory, DLT 2021, which was held in Porto, Portugal, during August 16-20, 2021. The conference took place in an hybrid format with both in-person and online participation. The 27 full papers included in these proceedings were carefully reviewed and selected from 48 submissions. The DLT conference series provides a forum for presenting current developments in formal languages and automata. Its scope is very general and includes, among others, the following topics and areas: grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; algorithmic, combinatorial, and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; polyominoes and multidimensional patterns; decidability questions; image manipulation and compression; efficient text algorithms; relationships to cryptography, concurrency, complexity theory, and logic; bio-inspired computing; quantum computing. The book also includes 3 invited talks in full paper length. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Developments in Language Theory : 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. Idioma : Inglés (eng) 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: 40.151 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 25th International Conference on Developments in Language Theory, DLT 2021, which was held in Porto, Portugal, during August 16-20, 2021. The conference took place in an hybrid format with both in-person and online participation. The 27 full papers included in these proceedings were carefully reviewed and selected from 48 submissions. The DLT conference series provides a forum for presenting current developments in formal languages and automata. Its scope is very general and includes, among others, the following topics and areas: grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; algorithmic, combinatorial, and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; polyominoes and multidimensional patterns; decidability questions; image manipulation and compression; efficient text algorithms; relationships to cryptography, concurrency, complexity theory, and logic; bio-inspired computing; quantum computing. The book also includes 3 invited talks in full paper length. . 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