What people are saying - Write a review
We haven't found any reviews in the usual places.
Recognizers RabinScott Automata
5 other sections not shown
Other editions - View all
7r-factor admissible decomposition admissible partition algebra automata axioms belong block of tt called computation congruence relation considered construction corresponding coset of H cyclic group defined definition denoted direct product elements of G equations equivalence relation example exists finite index finite number following theorem forms a subsemigroup free regular set free semigroup group G group isomorphic groupoid G hence homomorphic image Hu H2 idempotent identity implies integers Lemma maton monoid multiplication noncounting regular set nondeterministic normal subgroup Notice number of elements obtained one-to-one mapping output-consistent pairs partition of G partition tt permutation inputs permutation-reset semiautomaton Proof proved reduced automaton regular expression right congruence right cosets right-hand side Section semi semiauto semiautomaton set of words simple group subgroup H subsemiautomaton table of derivatives transition graph two-state reset semiautomata universal algebra vertex weak homomorphism word x e