Implementation and Application of Automata: 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings - Brossura

Brossura

ISBN 10: 3030236803 ISBN 13: 9783030236809

Casa editrice: Springer, 2019

Riassunto

Static Garbage Collection.- Graph-Walking Automata: From Whence They Come, and Whither They Are Bound.- Enumerated Automata Implementation of String Dictionaries.- New Approaches for Context Sensitive Flash Codes.- Dolev-Yao Theory with Associative Blindpair Operators: An Automata-Theoretic Approach.- Semi-Linear Lattices and Right One-Way Jumping Finite Automata.- Z-Automata for Compact and Direct Representation of Unranked Tree Languages.- A Benchmark Production Tool for Regular Expressions.- New Algorithms for Manipulating Sequence BDDs.- A Simple Extension to Finite Tree Automata for Defining Sets of Labeled, Connected Graphs.- Composition Closure of Linear Weighted Extended Top-Down Tree Transducers.- A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata.- Descriptional Complexity of Power and Positive Closure on Convex Languages.- Partitioning a Symmetric Rational Relation into Two Asymmetric Rational Relations.- Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels.- Input-Driven Multi-Counter Automata.- Two-Dimensional Pattern Matching against Basic Picture Languages.- Decision Problems for Restricted Variants of Two-Dimensional Automata.- Streaming Ranked-Tree-to-String Transducers. 

 

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2019
• Lingua: Inglese
• ISBN 10: 3030236803
• ISBN 13: 9783030236809
• Rilegatura: Copertina flessibile
• Numero di pagine: 268
• Redattore: Hospodįr Michal, Jirįskovį Galina
• 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