Unsolvability of the equivalence problem for α-free nondeterministic generalized machines.
Saved in:
| Title: | Unsolvability of the equivalence problem for α-free nondeterministic generalized machines. |
|---|---|
| Authors: | Griffiths, T. V. |
| Source: | Journal of the ACM; July 1968, Vol. 15, p409-433, 25p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00045411 |
|---|
