Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers
Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel
Springer Science & Business Media, Jul 5, 2011 - Computers - 299 pages
This book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011, held in Blois, France, in July 2011.
The 20 revised full papers together with 4 short papers were carefully selected from 38 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; document engineering and bioinformatics as well as foundational work on automata theory.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
acyclic automata algorithm alphabet applications Berlin Heidelberg 2011 Bouchou-Markhoff Bouma2 bound categorial grammars CIAA clauses colored complement specification complexity components consider construction context-free context-free grammar defined Deﬁnition denote deterministic dNwa equivalent example exists finite set finite state transducers formula given graph Heidelberg heuristics homing sequence initial input input-reversal integer iterated labeled LCFG Lemma length linear LNCS logic loops Markov chain matching minimal absent words Moore automaton motif NFSM node nondeterministic nonterminals NP-complete obtained operations output overloops pair paper polynomial predicates priority problem Proof properties pushdown automata query random regular expression regular languages rule shortest reset word simulation specification automaton Springer star-free languages string subset subtree symbol synchronizing temporal logic Theorem traffic transducers transition system tree template unary variable vertex Wang Wang tiles XPath