| TÃtulo : |
14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Leporati, Alberto, ; MartÃn-Vide, Carlos, ; Shapira, Dana, ; Zandron, Claudio, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
XI, 449 p. 409 ilustraciones, 6 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-40608-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 Gestión de base de datos Sistemas informáticos Algoritmos Inteligencia artificial Lógica informática y fundamentos de la programación Implementación de sistema informático Ciencia de los datos |
| Ãndice Dewey: |
40.151 |
| Resumen: |
Este libro constituye las actas de la 14.ª Conferencia Internacional sobre TeorÃa y Aplicaciones del Lenguaje y Autómatas, LATA 2020, cuya celebración estaba prevista en Milán, Italia, en marzo de 2020. Debido a la pandemia de corona, la conferencia en sà se pospuso y se celebrado junto con LATA 2021. Los 26 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 59 presentaciones. Estaban organizados en secciones temáticas denominadas: estructuras algebraicas; autómatas; complejidad; gramáticas; idiomas; árboles y gráficos; y palabras y códigos. El libro también contiene 6 artÃculos invitados en tamaño completo. . |
| Nota de contenido: |
Invited papers -- The New Complexity Landscape around Circuit Minimization -- Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases -- Approaching Arithmetic Theories with Finite-State Automata -- Recompression: technique for word equations and compressed data -- How to prove that a language is regular or star-free -- Deciding classes of regular languages: the covering approach -- Algebraic Structures -- Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles Over the Circle -- Deciding (R,+, < ,1) in (R,+, < ,Z) -- Ordered Semiautomatic Rings with Applications to Geometry -- Automata -- Boolean monadic recursive schemes as a logical characterization of the subsequential functions -- Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models -- Windable Heads & Recognizing NL with Constant Randomness -- Alternating Finite Automata with Limited Universal Branching -- Pebble-Intervals Automata and FO2 with Two Orders -- Limited Two-Way Deterministic Finite Automata with Advice -- Complexity -- On the size of depth-two threshold circuits for the inner product mod 2 function -- Complexity Issues of String to Graph Approximate Matching -- Complexity of Automatic Sequences -- Grammars -- Context-sensitive Fusion Grammars are Universal -- Cyclic shift on multi-component grammars -- Languages -- The Automatic Baire Property and an Effective Property of omega-Rational Functions -- The Power of Programs over Monoids in J -- Geometrically Closed Positive Varieties of Star-Free Languages -- Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas -- Trees and Graphs -- On the Weisfeiler-Leman Dimension of Fractional Packing -- Input Strictly Local Tree Transducers -- Words and Codes -- Lyndon words versus inverse Lyndon words: queries on su xes and bordered words -- On collapsing pre x normal words -- Simplified Parsing Expression Derivatives -- Complete Variable-Length Codes: AnExcursion into Word Edit Operations. . |
| 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 |
14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings [documento electrónico] / Leporati, Alberto, ; MartÃn-Vide, Carlos, ; Shapira, Dana, ; Zandron, Claudio, . - 1 ed. . - [s.l.] : Springer, 2020 . - XI, 449 p. 409 ilustraciones, 6 ilustraciones en color. ISBN : 978-3-030-40608-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 Gestión de base de datos Sistemas informáticos Algoritmos Inteligencia artificial Lógica informática y fundamentos de la programación Implementación de sistema informático Ciencia de los datos |
| Ãndice Dewey: |
40.151 |
| Resumen: |
Este libro constituye las actas de la 14.ª Conferencia Internacional sobre TeorÃa y Aplicaciones del Lenguaje y Autómatas, LATA 2020, cuya celebración estaba prevista en Milán, Italia, en marzo de 2020. Debido a la pandemia de corona, la conferencia en sà se pospuso y se celebrado junto con LATA 2021. Los 26 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 59 presentaciones. Estaban organizados en secciones temáticas denominadas: estructuras algebraicas; autómatas; complejidad; gramáticas; idiomas; árboles y gráficos; y palabras y códigos. El libro también contiene 6 artÃculos invitados en tamaño completo. . |
| Nota de contenido: |
Invited papers -- The New Complexity Landscape around Circuit Minimization -- Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases -- Approaching Arithmetic Theories with Finite-State Automata -- Recompression: technique for word equations and compressed data -- How to prove that a language is regular or star-free -- Deciding classes of regular languages: the covering approach -- Algebraic Structures -- Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles Over the Circle -- Deciding (R,+, < ,1) in (R,+, < ,Z) -- Ordered Semiautomatic Rings with Applications to Geometry -- Automata -- Boolean monadic recursive schemes as a logical characterization of the subsequential functions -- Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models -- Windable Heads & Recognizing NL with Constant Randomness -- Alternating Finite Automata with Limited Universal Branching -- Pebble-Intervals Automata and FO2 with Two Orders -- Limited Two-Way Deterministic Finite Automata with Advice -- Complexity -- On the size of depth-two threshold circuits for the inner product mod 2 function -- Complexity Issues of String to Graph Approximate Matching -- Complexity of Automatic Sequences -- Grammars -- Context-sensitive Fusion Grammars are Universal -- Cyclic shift on multi-component grammars -- Languages -- The Automatic Baire Property and an Effective Property of omega-Rational Functions -- The Power of Programs over Monoids in J -- Geometrically Closed Positive Varieties of Star-Free Languages -- Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas -- Trees and Graphs -- On the Weisfeiler-Leman Dimension of Fractional Packing -- Input Strictly Local Tree Transducers -- Words and Codes -- Lyndon words versus inverse Lyndon words: queries on su xes and bordered words -- On collapsing pre x normal words -- Simplified Parsing Expression Derivatives -- Complete Variable-Length Codes: AnExcursion into Word Edit Operations. . |
| 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 |
|  |
Hacer una sugerencia Refinar búsqueda14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings / Leporati, Alberto ; MartÃn-Vide, Carlos ; Shapira, Dana ; Zandron, Claudio
