Computation: finite and infinite machines
Computation: finite and infinite machines
Hi-index | 0.00 |
The infinite state acceptor is presented and is shown to be more powerful than the Turing machine for purposes of accepting strings. The role of abstraction in the design of such machines is discussed. It will be argued that such an acceptor is not merely an eccentric extrapolation of current models but is useful for the description of the behavior of devices whose complexity is nontrivial.