DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Category:Automata_theory> }

• Abstract_machine wikiPageWikiLink Category:Automata_theory.
• Alternating_finite_automaton wikiPageWikiLink Category:Automata_theory.
• Alternating_tree_automata wikiPageWikiLink Category:Automata_theory.
• Aperiodic_finite_state_automaton wikiPageWikiLink Category:Automata_theory.
• Augmented_transition_network wikiPageWikiLink Category:Automata_theory.
• Automata_construction wikiPageWikiLink Category:Automata_theory.
• Automata_theory wikiPageWikiLink Category:Automata_theory.
• Automatic_sequence wikiPageWikiLink Category:Automata_theory.
• Behavior_of_DEVS wikiPageWikiLink Category:Automata_theory.
• Behavior_of_coupled_DEVS wikiPageWikiLink Category:Automata_theory.
• Behavior_tree_(artificial_intelligence,_robotics_and_control) wikiPageWikiLink Category:Automata_theory.
• Büchi_automaton wikiPageWikiLink Category:Automata_theory.
• CIP-Tool wikiPageWikiLink Category:Automata_theory.
• Cellular_automaton wikiPageWikiLink Category:Automata_theory.
• Co-Büchi_automaton wikiPageWikiLink Category:Automata_theory.
• Complementation_of_Büchi_automaton wikiPageWikiLink Category:Automata_theory.
• Computation_tree_logic wikiPageWikiLink Category:Automata_theory.
• Conference_on_Implementation_and_Application_of_Automata wikiPageWikiLink Category:Automata_theory.
• Constraint_automaton wikiPageWikiLink Category:Automata_theory.
• Counter_automaton wikiPageWikiLink Category:Automata_theory.
• DEVS wikiPageWikiLink Category:Automata_theory.
• DFA_minimization wikiPageWikiLink Category:Automata_theory.
• De_Bruijn_graph wikiPageWikiLink Category:Automata_theory.
• Deterministic_automaton wikiPageWikiLink Category:Automata_theory.
• Deterministic_finite_automaton wikiPageWikiLink Category:Automata_theory.
• Deterministic_pushdown_automaton wikiPageWikiLink Category:Automata_theory.
• Discrete_system wikiPageWikiLink Category:Automata_theory.
• Embedded_pushdown_automaton wikiPageWikiLink Category:Automata_theory.
• Epsilon_transition wikiPageWikiLink Category:Automata_theory.
• Event_segment wikiPageWikiLink Category:Automata_theory.
• Factor_oracle wikiPageWikiLink Category:Automata_theory.
• Finite-state_machine wikiPageWikiLink Category:Automata_theory.
• Finite_&_Deterministic_Discrete_Event_System_Specification wikiPageWikiLink Category:Automata_theory.
• Finite_state_machine_with_datapath wikiPageWikiLink Category:Automata_theory.
• Finite_state_transducer wikiPageWikiLink Category:Automata_theory.
• Formal_grammar wikiPageWikiLink Category:Automata_theory.
• Generalized_Büchi_automaton wikiPageWikiLink Category:Automata_theory.
• Generalized_nondeterministic_finite_automaton wikiPageWikiLink Category:Automata_theory.
• Generalized_star_height_problem wikiPageWikiLink Category:Automata_theory.
• Hybrid_automaton wikiPageWikiLink Category:Automata_theory.
• Implication_table wikiPageWikiLink Category:Automata_theory.
• Infinite_tree_automaton wikiPageWikiLink Category:Automata_theory.
• International_Colloquium_on_Automata,_Languages_and_Programming wikiPageWikiLink Category:Automata_theory.
• Introduction_to_Automata_Theory,_Languages,_and_Computation wikiPageWikiLink Category:Automata_theory.
• Krohn–Rhodes_theory wikiPageWikiLink Category:Automata_theory.
• Lazy_linear_hybrid_automaton wikiPageWikiLink Category:Automata_theory.
• Levenshtein_automaton wikiPageWikiLink Category:Automata_theory.
• Linear_bounded_automaton wikiPageWikiLink Category:Automata_theory.
• Linear_temporal_logic_to_Büchi_automaton wikiPageWikiLink Category:Automata_theory.
• List_of_mathematics_categories wikiPageWikiLink Category:Automata_theory.
• McNaughtons_Theorem wikiPageWikiLink Category:Automata_theory.
• Mealy_machine wikiPageWikiLink Category:Automata_theory.
• Moore_machine wikiPageWikiLink Category:Automata_theory.
• Moore_reduction_procedure wikiPageWikiLink Category:Automata_theory.
• Muller_automaton wikiPageWikiLink Category:Automata_theory.
• Nested_word wikiPageWikiLink Category:Automata_theory.
• Noncommutative_signal-flow_graph wikiPageWikiLink Category:Automata_theory.
• Nondeterministic_finite_automaton wikiPageWikiLink Category:Automata_theory.
• Nondeterministic_finite_automaton_with_ε-moves wikiPageWikiLink Category:Automata_theory.
• Pebble_automaton wikiPageWikiLink Category:Automata_theory.
• Permutation_automaton wikiPageWikiLink Category:Automata_theory.
• PowerDEVS wikiPageWikiLink Category:Automata_theory.
• Powerset_construction wikiPageWikiLink Category:Automata_theory.
• Probabilistic_automaton wikiPageWikiLink Category:Automata_theory.
• Pumping_lemma_for_regular_languages wikiPageWikiLink Category:Automata_theory.
• Pushdown_automaton wikiPageWikiLink Category:Automata_theory.
• Quantum_finite_automata wikiPageWikiLink Category:Automata_theory.
• Queue_automaton wikiPageWikiLink Category:Automata_theory.
• Rational_set wikiPageWikiLink Category:Automata_theory.
• Recognizable_set wikiPageWikiLink Category:Automata_theory.
• Regular_expression wikiPageWikiLink Category:Automata_theory.
• Regular_language wikiPageWikiLink Category:Automata_theory.
• Richards_controller wikiPageWikiLink Category:Automata_theory.
• Road_coloring_theorem wikiPageWikiLink Category:Automata_theory.
• SP-DEVS wikiPageWikiLink Category:Automata_theory.
• Semi-deterministic_Büchi_automaton wikiPageWikiLink Category:Automata_theory.
• Semiautomaton wikiPageWikiLink Category:Automata_theory.
• Sequential_logic wikiPageWikiLink Category:Automata_theory.
• Star-free_language wikiPageWikiLink Category:Automata_theory.
• Star_height_problem wikiPageWikiLink Category:Automata_theory.
• State_transition_table wikiPageWikiLink Category:Automata_theory.
• Subshift_of_finite_type wikiPageWikiLink Category:Automata_theory.
• Synchronizing_word wikiPageWikiLink Category:Automata_theory.
• Temporal_logic_in_finite-state_verification wikiPageWikiLink Category:Automata_theory.
• Thompsons_construction_algorithm wikiPageWikiLink Category:Automata_theory.
• Thread_automaton wikiPageWikiLink Category:Automata_theory.
• Timed_automaton wikiPageWikiLink Category:Automata_theory.
• Timed_event_system wikiPageWikiLink Category:Automata_theory.
• Tree_(automata_theory) wikiPageWikiLink Category:Automata_theory.
• Tree_automaton wikiPageWikiLink Category:Automata_theory.
• Tree_walking_automaton wikiPageWikiLink Category:Automata_theory.
• Turing_machine wikiPageWikiLink Category:Automata_theory.
• Two-way_deterministic_finite_automaton wikiPageWikiLink Category:Automata_theory.
• UML_state_machine wikiPageWikiLink Category:Automata_theory.
• Union_of_two_regular_languages wikiPageWikiLink Category:Automata_theory.
• Weak_Büchi_automaton wikiPageWikiLink Category:Automata_theory.
• Well-structured_transition_system wikiPageWikiLink Category:Automata_theory.
• Černy_conjecture wikiPageWikiLink Category:Automata_theory.
• Ω-automaton wikiPageWikiLink Category:Automata_theory.
• Abstract_machine subject Category:Automata_theory.

• next