Implementation and application of automata. 7th international conference, CIAA 2002, Tours, France, July 3--5, 2002. Revised papers (Q1397208)

The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1007.00059). Indexed articles: \textit{Mohri, Mehryar}, Edit-distance of weighted automata, 1-23 [Zbl 1033.68066] \textit{Allauzen, Cyril; Mohri, Mehryar}, \(p\)-subsequentiable transducers, 24-34 [Zbl 1033.68051] \textit{Alonso, Miguel A.; Díaz, Víctor J.; Vilares, Manuel}, Bidirectional push down automata, 35-46 [Zbl 1033.68052] \textit{Anselmo, Marcella; Giammarresi, Dora; Varricchio, Stefano}, Finite automata and non-self-embedding grammars, 47-56 [Zbl 1033.68053] \textit{Brzozowski, Janusz; Gheorghiu, Mihaela}, Simulation of gate circuits in the algebra of transients, 57-66 [Zbl 1033.94568] \textit{Câmpeanu, Cezar; Păun, Andrei}, The number of similarity relations and the number of minimal deterministic finite cover automata, 67-76 [Zbl 1033.68055] \textit{Câmpeanu, Cezar; Salomaa, Kai; Yu, Sheng}, Regex and extended regex, 77-84 [Zbl 1033.68056] \textit{Czyzowicz, Jurek; Fraczak, Wojciech; Pelc, Andrzej; Rytter, Wojciech}, Prime decompositions of regular prefix codes, 85-94 [Zbl 1033.68060] \textit{Fatholahzadeh, Abolfazl}, Implementation of dictionaries via automata and decision trees, 95-105 [Zbl 1033.68061] \textit{Gheorghiu, Mihaela; Brzozowski, Janusz}, Feedback-free circuits in the algebra of transients, 106-116 [Zbl 1033.94569] \textit{Körner, Heiko}, On minimizing cover automata for finite languages in \(O(n\log n)\) time, 117-127 [Zbl 1033.68064] \textit{Graña, Jorge; Andrade, Gloria; Vilares, Jesús}, Compilation of constraint-based contextual rules for part-of-speech tagging into finite state transducers, 128-137 [Zbl 1033.68667] \textit{Guingne, Franck; Nicart, Florent}, Finite state lazy operations in NLP, 138-147 [Zbl 1033.68668] \textit{Holzer, Markus; Kutrib, Martin}, State complexity of basic operations on nondeterministic finite automata, 148-157 [Zbl 1033.68063] \textit{Neto, João José; Bravo, César}, Adaptive automata -- a revisited proposal, 158-168 [Zbl 1033.68578] \textit{Okhotin, Alexander}, Efficient automaton-based recognition for linear conjunctive languages, 169-181 [Zbl 1033.68076] \textit{Polák, Libor}, Syntactic semiring and language equations, 182-193 [Zbl 1033.68068] \textit{Sutner, Klaus}, Reduced power automata, 194-202 [Zbl 1033.68070] \textit{Trahtman, A. N.}, A polynomial time algorithm for left [right] local testability, 203-212 [Zbl 1033.68071] \textit{Okhotin, Alexander}, Whale Calf, a parser generator for conjunctive grammars, 213-220 [Zbl 1033.68579] \textit{Sutner, Klaus}, \texttt{automata}, a hybrid system for computational automata theory, 221-227 [Zbl 1033.68580] \textit{Trahtman, A. N.}, A package TESTAS for checking some kinds of testability, 228-232 [Zbl 1033.68581] \textit{Balík, Miroslav}, DAWG versus suffix array, 233-238 [Zbl 1033.68549] \textit{Brüggemann-Klein, Anne; Wood, Derick}, On predictive parsing and extended context-free grammars, 239-247 [Zbl 1033.68573] \textit{Caron, Pascal; Flouret, Marianne}, Star normal form, rational expressions, and Glushkov WFAs properties, 248-254 [Zbl 1033.68059] \textit{Daciuk, Jan}, Comparison of construction algorithms for minimal, acyclic, deterministic, finite-state automata from sets of strings, 255-261 [Zbl 1033.68575] \textit{Largeteau, Gaëlle; Geniet, Dominique}, Term validation of distributed hard real-time applications, 262-269 [Zbl 1033.68520] \textit{Troníček, Zdeněk}, Common subsequence automaton, 270-275 [Zbl 1033.68582] \textit{Vilares, M.; Darriba, Victor M.; Alonso, M. A.}, Searching for asymptotic error repair, 276-281 [Zbl 1033.68574] \textit{Bartzis, Constantinos; Bultan, Tevfik}, Automata-based representations for arithmetic constraints in automated verification, 282-288 [Zbl 1033.68583] \textit{Holub, Jan; Crochemore, Maxime}, On the implementation of compact DAWG's, 289-294 [Zbl 1033.68551] \textit{Holub, Jan}, Dynamic programming -- NFA simulation, 295-300 [Zbl 1033.68576] \textit{Melichar, Bořivoj}, Deterministic parsing of cyclic strings, 301-306 [Zbl 1033.68577]