Linked Data Explorerhttp://worldcat.org/entity/work/id/1909322841
THE THEORY OF DEFINITE AUTOMATA
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).
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/1909322841#Topic/computer_logic
- http://experiment.worldcat.org/entity/work/data/1909322841#Topic/sequential_analysis
- http://experiment.worldcat.org/entity/work/data/1909322841#Topic/metamathematics
- http://experiment.worldcat.org/entity/work/data/1909322841#Topic/information_theory
- http://experiment.worldcat.org/entity/work/data/1909322841#Topic/circuits
- http://experiment.worldcat.org/entity/work/data/1909322841#Topic/coding
- http://experiment.worldcat.org/entity/work/data/1909322841#Topic/algebra
- http://experiment.worldcat.org/entity/work/data/1909322841#Topic/computers
- http://experiment.worldcat.org/entity/work/data/1909322841#Topic/abnormal_psychology
- http://experiment.worldcat.org/entity/work/data/1909322841#Topic/electrical_networks
- http://experiment.worldcat.org/entity/work/data/1909322841#Topic/automation
- http://experiment.worldcat.org/entity/work/data/1909322841#Topic/combinatorial_analysis
http://schema.org/description
- "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)."@en
http://schema.org/name
- "THE THEORY OF DEFINITE AUTOMATA"@en