Implementation and Application of Automata

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Static Garbage Collection
3. Altmetric Badge
   Chapter 2 Graph-Walking Automata: From Whence They Come, and Whither They are Bound
4. Altmetric Badge
   Chapter 3 Enumerated Automata Implementation of String Dictionaries
5. Altmetric Badge
   Chapter 4 New Approaches for Context Sensitive Flash Codes
6. Altmetric Badge
   Chapter 5 Dolev-Yao Theory with Associative Blindpair Operators
7. Altmetric Badge
   Chapter 6 Semi-linear Lattices and Right One-Way Jumping Finite Automata (Extended Abstract)
8. Altmetric Badge
   Chapter 7 Z-Automata for Compact and Direct Representation of Unranked Tree Languages
9. Altmetric Badge
   Chapter 8 A Benchmark Production Tool for Regular Expressions
10. Altmetric Badge
    Chapter 9 New Algorithms for Manipulating Sequence BDDs
11. Altmetric Badge
    Chapter 10 A Simple Extension to Finite Tree Automata for Defining Sets of Labeled, Connected Graphs
12. Altmetric Badge
    Chapter 11 Composition Closure of Linear Weighted Extended Top-Down Tree Transducers
13. Altmetric Badge
    Chapter 12 A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata
14. Altmetric Badge
    Chapter 13 Descriptional Complexity of Power and Positive Closure on Convex Languages
15. Altmetric Badge
    Chapter 14 Partitioning a Symmetric Rational Relation into Two Asymmetric Rational Relations
16. Altmetric Badge
    Chapter 15 Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels
17. Altmetric Badge
    Chapter 16 Input-Driven Multi-counter Automata
18. Altmetric Badge
    Chapter 17 Two-Dimensional Pattern Matching Against Basic Picture Languages
19. Altmetric Badge
    Chapter 18 Decision Problems for Restricted Variants of Two-Dimensional Automata
20. Altmetric Badge
    Chapter 19 Streaming Ranked-Tree-to-String Transducers