What people are saying - Write a review
We haven't found any reviews in the usual places.
J Berstel and J Sakarovitch
15 other sections not shown
algebraic algorithm alphabet arbitrary array automata automaton axioms binary Boolean functions called characterization circuit communication complexity Computer Science consider constant constraints construction contains context-free Corollary corresponding defined definition denote deterministic edge elements equations equivalence equivalence relation exists Fibonacci finite transducers free monoid given grammars graph Hamiltonian path Hence hierarchy infinite input integer interpretation isomorphism Lemma linear logic program lower bound module specifications monoid morphism node nondeterministic notion NP-complete obtained one-way operations output p-generic pair parallel partial path polynomial probabilistic problem Proc processors proof properties Proposition protocol prove pushdown Quicksort rational function recursive regular regular language relation resp rules semantics sequence shortest common superstring simulation solution sorting tree space step string stuck-at stuck-at faults subset symbol systolic arrays tape Theorem theory transducers Turing machine variables vertex zero-knowledge proof