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.
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want