## Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected PapersBéatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel 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

Implementation and Application of Automata B. Atrice Bouchou-Markhoff,Pascal Caron,Jean-Marc Champarnaud No preview available - 2011 |

### Common terms and phrases

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