What people are saying - Write a review
We haven't found any reviews in the usual places.
Incomplete Sequential Machines
3 other sections not shown
Other editions - View all
1-automaton 2-regular 5-tuple abstract machine automata basic input closed family compatible complete sequential machine congruence relation Consider contradiction defined Definition Denote direct sum disjoint sets distinguished machine E2 Figure equivalence classes equivalence relation Et-i Et+i Example Exercise exists a tape finite index finite number finite sets free semigroup function given in Fig Hence holds incomplete induction input-distinguished input-equivalent input-output sequences integer isomorphic It-i It+i left cancellation law Lemma machine in Fig minimal-state machine nondeterministic automaton nonempty set Notation ordered pairs output sequence output-empty P2 Pi Pi E1 Pi Pi positive integer quasimachine recognition device regular set result right invariant Rk+i satisfy the left semigroup with identity sequential switching circuit set of tapes set union smallest possible number subset Suppose symbol tape of length Theorem Theorem 4.4 two-tape automaton uniform experiment X(gi X(pi Xs(g