Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Automata_(computation)> }
- Generalized_star_height_problem subject Category:Automata_(computation).
- Glushkovs_construction_algorithm subject Category:Automata_(computation).
- Hybrid_automaton subject Category:Automata_(computation).
- Implication_table subject Category:Automata_(computation).
- Infinite_tree_automaton subject Category:Automata_(computation).
- International_Colloquium_on_Automata,_Languages_and_Programming subject Category:Automata_(computation).
- Introduction_to_Automata_Theory,_Languages,_and_Computation subject Category:Automata_(computation).
- Lazy_linear_hybrid_automaton subject Category:Automata_(computation).
- Linear_bounded_automaton subject Category:Automata_(computation).
- Linear_temporal_logic_to_Büchi_automaton subject Category:Automata_(computation).
- McNaughtons_theorem subject Category:Automata_(computation).
- Nested_word subject Category:Automata_(computation).
- Noncommutative_signal-flow_graph subject Category:Automata_(computation).
- Pebble_automaton subject Category:Automata_(computation).
- PowerDEVS subject Category:Automata_(computation).
- Pushdown_automaton subject Category:Automata_(computation).
- Queue_automaton subject Category:Automata_(computation).
- Rational_set subject Category:Automata_(computation).
- Recognizable_set subject Category:Automata_(computation).
- Regular_expression subject Category:Automata_(computation).
- Richards_controller subject Category:Automata_(computation).
- Road_coloring_theorem subject Category:Automata_(computation).
- SP-DEVS subject Category:Automata_(computation).
- Semi-deterministic_Büchi_automaton subject Category:Automata_(computation).
- Sequential_logic subject Category:Automata_(computation).
- Star-free_language subject Category:Automata_(computation).
- Star_height_problem subject Category:Automata_(computation).
- State_encoding_for_low_power subject Category:Automata_(computation).
- State_transition_table subject Category:Automata_(computation).
- Subshift_of_finite_type subject Category:Automata_(computation).
- Temporal_logic_in_finite-state_verification subject Category:Automata_(computation).
- Thread_automaton subject Category:Automata_(computation).
- Timed_automaton subject Category:Automata_(computation).
- Timed_event_system subject Category:Automata_(computation).
- Tree_(automata_theory) subject Category:Automata_(computation).
- Tree_automaton subject Category:Automata_(computation).
- Tree_walking_automaton subject Category:Automata_(computation).
- Turing_machine subject Category:Automata_(computation).
- UML_state_machine subject Category:Automata_(computation).
- Weak_Büchi_automaton subject Category:Automata_(computation).
- Well-structured_transition_system subject Category:Automata_(computation).
- Černy_conjecture subject Category:Automata_(computation).
- Category:Cellular_automata broader Category:Automata_(computation).
- Category:Finite_automata broader Category:Automata_(computation).
- Category:Turing_machine broader Category:Automata_(computation).