|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
8th Annual Symposium on Switching and Automata Theory (SWAT 1967)
An approach to a unified theory of automata
Texas
October 18-October 20
| ASCII Text | x | ||
| J. E. Hopcroft, J. D. Ullman, "An approach to a unified theory of automata," Foundations of Computer Science, IEEE Annual Symposium on, pp. 140-147, 8th Annual Symposium on Switching and Automata Theory (SWAT 1967), 1967. | |||
| BibTex | x | ||
| @article{ 10.1109/FOCS.1967.4, author = {J. E. Hopcroft and J. D. Ullman}, title = {An approach to a unified theory of automata}, journal ={Foundations of Computer Science, IEEE Annual Symposium on}, volume = {0}, year = {1967}, isbn = {}, pages = {140-147}, doi = {http://doi.ieeecomputersociety.org/10.1109/FOCS.1967.4}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Foundations of Computer Science, IEEE Annual Symposium on TI - An approach to a unified theory of automata SN - SP140 EP147 A1 - J. E. Hopcroft, A1 - J. D. Ullman, PY - 1967 VL - 0 JA - Foundations of Computer Science, IEEE Annual Symposium on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FOCS.1967.4
An automaton called the balloon automaton is defined. The balloon automaton comes in four varieties, depending on whether the device is deterministic or nondeterministic, and whether the input head can move in one or two directions. Subsets of the balloon automata of each variety, called closed classes are defined. Almost all the known types of automata are equivalent to some closed class of balloon automata. Properties of closed classes are given. For example, whatever the variety, the languages accepted by a closed class are closed under intersection with a regular set. For a given organization of storage, closed classes of the four varieties can be defined. These four classes are said to form a family. A class may be recursive or not, and the emptiness problem may be solvable or unsolvable. Some surprising relationships exist between the recursiveness and solvability of emptiness for the classes in a family.
Citation:
J. E. Hopcroft, J. D. Ullman, "An approach to a unified theory of automata," focs, pp.140-147, 8th Annual Symposium on Switching and Automata Theory (SWAT 1967), 1967
Usage of this product signifies your acceptance of the Terms of Use.
