Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings - Brossura

Brossura

ISBN 10: 3319773143 ISBN 13: 9783319773148

Casa editrice: Springer, 2018

Riassunto

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2018
• Lingua: Inglese
• ISBN 10: 3319773143
• ISBN 13: 9783319773148
• Rilegatura: Copertina flessibile
• Numero di pagine: 332
• Redattore: Klein Shmuel Tomi, Martín-Vide Carlos, Shapira Dana
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania