Zobrazeno 1 - 1
of 1
pro vyhledávání: '"W. F. Cutlip"'
Autor:
R. G. Reynolds, W. F. Cutlip
Publikováno v:
Journal of the ACM. 16:226-234
Let s and t be states of a finite (deterministic) automaton A . t can be reached from s if there is a tape x such that, if A is in state s and receives x , A goes to state t . We consider (1) automata in which the initial state can be reached from an