Language and Automata Theory and Applications / Klein, Shmuel Tomi ; Martín-Vide, Carlos ; Shapira, Dana  

Público ISBD Ningún comentario para este registro. Título : Language and Automata Theory and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings Tipo de documento: documento electrónico Autores: Klein, Shmuel Tomi, ; Martín-Vide, Carlos, ; Shapira, Dana, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: X, 321 p. 39 ilustraciones ISBN/ISSN/DL: 978-3-319-77313-1 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  Algoritmos  Programación de computadoras  Inteligencia artificial  Informática  Estadistica matematica  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Técnicas de programación  Probabilidad y Estadística en Informática Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 12ª Conferencia Internacional sobre Teoría y Aplicaciones del Lenguaje y los Autómatas, LATA 2018, celebrada en Ramat Gan, Israel, en abril de 2018. Los 20 artículos completos revisados ​​presentados junto con 3 artículos invitados fueron cuidadosamente revisados ​​y seleccionados entre 58 presentaciones. Los artículos cubren campos como la teoría del lenguaje algebraico, algoritmos para minería de datos semiestructurados, algoritmos sobre autómatas y palabras, autómatas y lógica, autómatas para análisis de sistemas y verificación de programas, redes de autómatas, estructuras automáticas, códigos, combinatoria sobre palabras, complejidad computacional, concurrencia y redes de Petri, compresión de datos e imágenes, complejidad descriptiva, fundamentos de la tecnología de estados finitos, fundamentos de XML, gramáticas (jerarquía de Chomsky, contextual, unificación, categorial, etc.), inferencia gramatical y aprendizaje algorítmico, grafos y transformación de grafos, variedades de lenguajes y semigrupos, criptografía basada en lenguajes, fundamentos matemáticos y lógicos de metodologías de programación, reescritura paralela y regulada, análisis sintáctico, patrones, series de potencias, algoritmos de procesamiento de cadenas, dinámica simbólica, reescritura de términos, transductores, árboles, lenguajes de árboles y autómatas de árboles, y autómatas ponderados. Nota de contenido: Underlying principles and recurring ideas of formal grammars -- Sliding Window Algorithms for Regular Languages -- Reshaping the context-free model: linguistic and algorithmic aspects -- Disturbance Decoupling in Finite Automata -- On the synchronization of planar automata -- Event-Clock Nested Automata -- On Periodicity Lemma for Partial Words -- Bubble-Flip - A New Generation Algorithm for Prefix Normal Words -- Pomsets and Unfolding of Reset Petri Nets -- Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets -- Measuring Closeness between Cayley Automatic Groups and Automatic Groups -- Permutations sorted by a finite and an infinite stack in series -- Analytic combinatorics of lattice paths with forbidden patterns: enumerative aspects -- Deciding regular intersection emptiness of complete problems for PSPACE and the polynomial hierarchy -- Descriptional and computational complexity of the circuit representation of finite automata -- Model Learning as a Satisfiability Modulo Theories Problem -- Default Logic and Bounded Treewidth -- General Class of Monoids Supporting Canonisation and Minimisation of (Sub)sequential Transducers -- Learners Based on Transducers -- Handling ties correctly and efficiently in Viterbi training using the Viterbi semiring -- Formal languages over GF(2) -- Timed Comparisons of Semi-Markov Processes -- Efficient Translation with Linear Bimorphisms. 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 Language and Automata Theory and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings [documento electrónico] / Klein, Shmuel Tomi, ; Martín-Vide, Carlos, ; Shapira, Dana,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - X, 321 p. 39 ilustraciones. ISBN : 978-3-319-77313-1 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  Algoritmos  Programación de computadoras  Inteligencia artificial  Informática  Estadistica matematica  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Técnicas de programación  Probabilidad y Estadística en Informática Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 12ª Conferencia Internacional sobre Teoría y Aplicaciones del Lenguaje y los Autómatas, LATA 2018, celebrada en Ramat Gan, Israel, en abril de 2018. Los 20 artículos completos revisados ​​presentados junto con 3 artículos invitados fueron cuidadosamente revisados ​​y seleccionados entre 58 presentaciones. Los artículos cubren campos como la teoría del lenguaje algebraico, algoritmos para minería de datos semiestructurados, algoritmos sobre autómatas y palabras, autómatas y lógica, autómatas para análisis de sistemas y verificación de programas, redes de autómatas, estructuras automáticas, códigos, combinatoria sobre palabras, complejidad computacional, concurrencia y redes de Petri, compresión de datos e imágenes, complejidad descriptiva, fundamentos de la tecnología de estados finitos, fundamentos de XML, gramáticas (jerarquía de Chomsky, contextual, unificación, categorial, etc.), inferencia gramatical y aprendizaje algorítmico, grafos y transformación de grafos, variedades de lenguajes y semigrupos, criptografía basada en lenguajes, fundamentos matemáticos y lógicos de metodologías de programación, reescritura paralela y regulada, análisis sintáctico, patrones, series de potencias, algoritmos de procesamiento de cadenas, dinámica simbólica, reescritura de términos, transductores, árboles, lenguajes de árboles y autómatas de árboles, y autómatas ponderados. Nota de contenido: Underlying principles and recurring ideas of formal grammars -- Sliding Window Algorithms for Regular Languages -- Reshaping the context-free model: linguistic and algorithmic aspects -- Disturbance Decoupling in Finite Automata -- On the synchronization of planar automata -- Event-Clock Nested Automata -- On Periodicity Lemma for Partial Words -- Bubble-Flip - A New Generation Algorithm for Prefix Normal Words -- Pomsets and Unfolding of Reset Petri Nets -- Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets -- Measuring Closeness between Cayley Automatic Groups and Automatic Groups -- Permutations sorted by a finite and an infinite stack in series -- Analytic combinatorics of lattice paths with forbidden patterns: enumerative aspects -- Deciding regular intersection emptiness of complete problems for PSPACE and the polynomial hierarchy -- Descriptional and computational complexity of the circuit representation of finite automata -- Model Learning as a Satisfiability Modulo Theories Problem -- Default Logic and Bounded Treewidth -- General Class of Monoids Supporting Canonisation and Minimisation of (Sub)sequential Transducers -- Learners Based on Transducers -- Handling ties correctly and efficiently in Viterbi training using the Viterbi semiring -- Formal languages over GF(2) -- Timed Comparisons of Semi-Markov Processes -- Efficient Translation with Linear Bimorphisms. 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

---

1 (1 - 1 / 1) Par page : 25 50 100 200