Implementation and Application of Automata Book

	Edit-Distance of Weighted Automata	1
	p-Subsequentiable Transducers	24
	Bidirectional Push Down Automata	35
	Finite Automata and Non-self-Embedding Grammars	47
	Simulation of Gate Circuits in the Algebra of Transients	57
	The Number of Similarity Relations and the Number of Minimal Deterministic Finite Cover Automata	67
	Regex and Extended Regex	77
	Prime Decompositions of Regular Prefix Codes	85
	Implementation of Dictionaries via Automata and Decision Trees	95
	Feedback-Free Circuits in the Algebra of Transients	106
	On Minimizing Cover Automata for Finite Languages in O(n log n) Time	117
	Compilation of Constraint-based Contextual Rules for Part-of-Speech Tagging into Finite State Transducers	128
	Finite State Lazy Operations in NLP	138
	State Complexity of Basic Operations on Nondeterministic Finite Automata	148
	Adaptive Automata - A Revisited Proposal	158
	Efficient Automation-based Recognition for Linear Conjunctive Languages	169
	Syntactic Semiring and Language Equations	182
	Reduced Power Automata	194
	A Polynomial Time Algorithm for Left [Right] Local Testability	203
	Whale Calf, a Parser Generator for Conjunctive Grammars	213
	Automata, a Hybrid System for Computational Automata Theory	221
	A Package TESTAS for Checking Some Kinds of Testability	228
	DAWG versus Suffix Array	233
	On Predictive Parsing and Extended Context-Free Grammars	239
	Star Normal Form, Rational Expressions, and Glushkov WFAs Properties	248
	Comparison of Construction Algorithms for Minimal Acyclic, Deterministic, Finite-State Automata from Sets of Strings	255
	Term Validation of Distributed Hard Real-Time Applications	262
	Common Subsequence Automaton	270
	Searching for Asymptotic Error Repair	276
	Automata-Based Representations for Arithmetic Constraints in Automated Verification	282
	On the Implementation of Compact DAWG's	289
	Dynamic Programming - NFA Simulation	295
	Deterministic Parsing of Cyclic Strings	301
	Author Index	307