Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Automata_(computation)> }
- Abstract_machine wikiPageWikiLink Category:Automata_(computation).
- Alternating_tree_automata wikiPageWikiLink Category:Automata_(computation).
- Augmented_transition_network wikiPageWikiLink Category:Automata_(computation).
- Automata_construction wikiPageWikiLink Category:Automata_(computation).
- Automata_theory wikiPageWikiLink Category:Automata_(computation).
- Automatic_sequence wikiPageWikiLink Category:Automata_(computation).
- Behavior_of_DEVS wikiPageWikiLink Category:Automata_(computation).
- Behavior_of_coupled_DEVS wikiPageWikiLink Category:Automata_(computation).
- Behavior_tree_(artificial_intelligence,_robotics_and_control) wikiPageWikiLink Category:Automata_(computation).
- CIP-Tool wikiPageWikiLink Category:Automata_(computation).
- Cellular_automaton wikiPageWikiLink Category:Automata_(computation).
- Complementation_of_Büchi_automaton wikiPageWikiLink Category:Automata_(computation).
- Computation_tree_logic wikiPageWikiLink Category:Automata_(computation).
- Conference_on_Implementation_and_Application_of_Automata wikiPageWikiLink Category:Automata_(computation).
- Constraint_automaton wikiPageWikiLink Category:Automata_(computation).
- Counter_automaton wikiPageWikiLink Category:Automata_(computation).
- DEVS wikiPageWikiLink Category:Automata_(computation).
- De_Bruijn_graph wikiPageWikiLink Category:Automata_(computation).
- Deterministic_automaton wikiPageWikiLink Category:Automata_(computation).
- Deterministic_pushdown_automaton wikiPageWikiLink Category:Automata_(computation).
- Discrete_system wikiPageWikiLink Category:Automata_(computation).
- Embedded_pushdown_automaton wikiPageWikiLink Category:Automata_(computation).
- Epsilon_transition wikiPageWikiLink Category:Automata_(computation).
- Event_segment wikiPageWikiLink Category:Automata_(computation).
- Factor_oracle wikiPageWikiLink Category:Automata_(computation).
- Finite_&_Deterministic_Discrete_Event_System_Specification wikiPageWikiLink Category:Automata_(computation).
- Finite_state_machine_with_datapath wikiPageWikiLink Category:Automata_(computation).
- Formal_grammar wikiPageWikiLink Category:Automata_(computation).
- Generalized_Büchi_automaton wikiPageWikiLink Category:Automata_(computation).
- Generalized_star_height_problem wikiPageWikiLink Category:Automata_(computation).
- Glushkovs_construction_algorithm wikiPageWikiLink Category:Automata_(computation).
- Hybrid_automaton wikiPageWikiLink Category:Automata_(computation).
- Implication_table wikiPageWikiLink Category:Automata_(computation).
- Infinite_tree_automaton wikiPageWikiLink Category:Automata_(computation).
- International_Colloquium_on_Automata,_Languages_and_Programming wikiPageWikiLink Category:Automata_(computation).
- Introduction_to_Automata_Theory,_Languages,_and_Computation wikiPageWikiLink Category:Automata_(computation).
- Lazy_linear_hybrid_automaton wikiPageWikiLink Category:Automata_(computation).
- Linear_bounded_automaton wikiPageWikiLink Category:Automata_(computation).
- Linear_temporal_logic_to_Büchi_automaton wikiPageWikiLink Category:Automata_(computation).
- McNaughtons_theorem wikiPageWikiLink Category:Automata_(computation).
- Nested_word wikiPageWikiLink Category:Automata_(computation).
- Noncommutative_signal-flow_graph wikiPageWikiLink Category:Automata_(computation).
- Pebble_automaton wikiPageWikiLink Category:Automata_(computation).
- PowerDEVS wikiPageWikiLink Category:Automata_(computation).
- Pushdown_automaton wikiPageWikiLink Category:Automata_(computation).
- Queue_automaton wikiPageWikiLink Category:Automata_(computation).
- Rational_set wikiPageWikiLink Category:Automata_(computation).
- Recognizable_set wikiPageWikiLink Category:Automata_(computation).
- Regular_expression wikiPageWikiLink Category:Automata_(computation).
- Richards_controller wikiPageWikiLink Category:Automata_(computation).
- Road_coloring_theorem wikiPageWikiLink Category:Automata_(computation).
- SP-DEVS wikiPageWikiLink Category:Automata_(computation).
- Semi-deterministic_Büchi_automaton wikiPageWikiLink Category:Automata_(computation).
- Sequential_logic wikiPageWikiLink Category:Automata_(computation).
- Star-free_language wikiPageWikiLink Category:Automata_(computation).
- Star_height_problem wikiPageWikiLink Category:Automata_(computation).
- State_encoding_for_low_power wikiPageWikiLink Category:Automata_(computation).
- State_transition_table wikiPageWikiLink Category:Automata_(computation).
- Subshift_of_finite_type wikiPageWikiLink Category:Automata_(computation).
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Category:Automata_(computation).
- Thread_automaton wikiPageWikiLink Category:Automata_(computation).
- Timed_automaton wikiPageWikiLink Category:Automata_(computation).
- Timed_event_system wikiPageWikiLink Category:Automata_(computation).
- Tree_(automata_theory) wikiPageWikiLink Category:Automata_(computation).
- Tree_automaton wikiPageWikiLink Category:Automata_(computation).
- Tree_walking_automaton wikiPageWikiLink Category:Automata_(computation).
- Turing_machine wikiPageWikiLink Category:Automata_(computation).
- UML_state_machine wikiPageWikiLink Category:Automata_(computation).
- Weak_Büchi_automaton wikiPageWikiLink Category:Automata_(computation).
- Well-structured_transition_system wikiPageWikiLink Category:Automata_(computation).
- Černy_conjecture wikiPageWikiLink Category:Automata_(computation).
- Abstract_machine subject Category:Automata_(computation).
- Alternating_tree_automata subject Category:Automata_(computation).
- Augmented_transition_network subject Category:Automata_(computation).
- Automata_construction subject Category:Automata_(computation).
- Automata_theory subject Category:Automata_(computation).
- Automatic_sequence subject Category:Automata_(computation).
- Behavior_of_DEVS subject Category:Automata_(computation).
- Behavior_of_coupled_DEVS subject Category:Automata_(computation).
- Behavior_tree_(artificial_intelligence,_robotics_and_control) subject Category:Automata_(computation).
- CIP-Tool subject Category:Automata_(computation).
- Cellular_automaton subject Category:Automata_(computation).
- Complementation_of_Büchi_automaton subject Category:Automata_(computation).
- Computation_tree_logic subject Category:Automata_(computation).
- Conference_on_Implementation_and_Application_of_Automata subject Category:Automata_(computation).
- Constraint_automaton subject Category:Automata_(computation).
- Counter_automaton subject Category:Automata_(computation).
- DEVS subject Category:Automata_(computation).
- De_Bruijn_graph subject Category:Automata_(computation).
- Deterministic_automaton subject Category:Automata_(computation).
- Deterministic_pushdown_automaton subject Category:Automata_(computation).
- Discrete_system subject Category:Automata_(computation).
- Embedded_pushdown_automaton subject Category:Automata_(computation).
- Epsilon_transition subject Category:Automata_(computation).
- Event_segment subject Category:Automata_(computation).
- Factor_oracle subject Category:Automata_(computation).
- Finite_&_Deterministic_Discrete_Event_System_Specification subject Category:Automata_(computation).
- Finite_state_machine_with_datapath subject Category:Automata_(computation).
- Formal_grammar subject Category:Automata_(computation).
- Generalized_Büchi_automaton subject Category:Automata_(computation).