THE THEORY OF DEFINITE AUTOMATA
Abstract
The notion of a definite event introduced by Kleene as well as the related concepts of definite automata and tables are studied in detail. Results relating to the minimum number of states required for synthesizing an automaton of a given degree of definiteness are proved. Various decision and synthesis problems pertaining to definite automata are effectively solved. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1961
- Accession Number
- AD0264928
Entities
People
- E. Shamir
- M. Perles
- M.o. Rabin
Organizations
- Hebrew University of Jerusalem