Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Automata_theory> . }
Showing items 1 to 97 of
97
with 100 items per page.
- Abstract_machine subject Category:Automata_theory.
- Alternating_finite_automaton subject Category:Automata_theory.
- Alternating_tree_automata subject Category:Automata_theory.
- Aperiodic_finite_state_automaton subject Category:Automata_theory.
- Augmented_transition_network subject Category:Automata_theory.
- Automata_construction subject Category:Automata_theory.
- Automata_theory subject Category:Automata_theory.
- Automatic_sequence subject Category:Automata_theory.
- Behavior_of_DEVS subject Category:Automata_theory.
- Behavior_of_coupled_DEVS subject Category:Automata_theory.
- Büchi_automaton subject Category:Automata_theory.
- CIP-Tool subject Category:Automata_theory.
- Cellular_automaton subject Category:Automata_theory.
- Co-Büchi_automaton subject Category:Automata_theory.
- Complementation_of_Büchi_automaton subject Category:Automata_theory.
- Computation_tree_logic subject Category:Automata_theory.
- Conference_on_Implementation_and_Application_of_Automata subject Category:Automata_theory.
- Constraint_automaton subject Category:Automata_theory.
- Counter_automaton subject Category:Automata_theory.
- DEVS subject Category:Automata_theory.
- DFA_minimization subject Category:Automata_theory.
- De_Bruijn_graph subject Category:Automata_theory.
- Deterministic_automaton subject Category:Automata_theory.
- Deterministic_finite_automaton subject Category:Automata_theory.
- Deterministic_pushdown_automaton subject Category:Automata_theory.
- Determinization_of_Automaton subject Category:Automata_theory.
- Discrete_system subject Category:Automata_theory.
- Embedded_pushdown_automaton subject Category:Automata_theory.
- Epsilon-transitions subject Category:Automata_theory.
- Epsilon_transition subject Category:Automata_theory.
- Event_segment subject Category:Automata_theory.
- Factor_oracle subject Category:Automata_theory.
- Finite-state_machine subject Category:Automata_theory.
- Finite_&_Deterministic_Discrete_Event_System_Specification subject Category:Automata_theory.
- Finite_state_machine_with_datapath subject Category:Automata_theory.
- Finite_state_transducer subject Category:Automata_theory.
- Formal_grammar subject Category:Automata_theory.
- Generalized_Büchi_automaton subject Category:Automata_theory.
- Generalized_nondeterministic_finite_automaton subject Category:Automata_theory.
- Generalized_star_height_problem subject Category:Automata_theory.
- Hybrid_automaton subject Category:Automata_theory.
- Implication_table subject Category:Automata_theory.
- Infinite_tree_automaton subject Category:Automata_theory.
- International_Colloquium_on_Automata,_Languages_and_Programming subject Category:Automata_theory.
- Introduction_to_Automata_Theory,_Languages,_and_Computation subject Category:Automata_theory.
- Krohn–Rhodes_theory subject Category:Automata_theory.
- Lazy_linear_hybrid_automaton subject Category:Automata_theory.
- Levenshtein_automaton subject Category:Automata_theory.
- Linear_bounded_automaton subject Category:Automata_theory.
- Linear_temporal_logic_to_Büchi_automaton subject Category:Automata_theory.
- McNaughton's_Theorem subject Category:Automata_theory.
- Moore_reduction_procedure subject Category:Automata_theory.
- Muller_automaton subject Category:Automata_theory.
- Nested_stack_automaton subject Category:Automata_theory.
- Nested_word subject Category:Automata_theory.
- Noncommutative_signal-flow_graph subject Category:Automata_theory.
- Nondeterministic_finite_automaton subject Category:Automata_theory.
- Pebble_automaton subject Category:Automata_theory.
- Permutation_automaton subject Category:Automata_theory.
- PowerDEVS subject Category:Automata_theory.
- Powerset_construction subject Category:Automata_theory.
- Probabilistic_automaton subject Category:Automata_theory.
- Pumping_lemma_for_regular_languages subject Category:Automata_theory.
- Pushdown_automaton subject Category:Automata_theory.
- Quantum_finite_automata subject Category:Automata_theory.
- Queue_automaton subject Category:Automata_theory.
- Rational_set subject Category:Automata_theory.
- Recognizable_set subject Category:Automata_theory.
- Regular_expression subject Category:Automata_theory.
- Regular_language subject Category:Automata_theory.
- Richards_controller subject Category:Automata_theory.
- Road_coloring_problem subject Category:Automata_theory.
- SP-DEVS subject Category:Automata_theory.
- Semi-deterministic_Büchi_automaton subject Category:Automata_theory.
- Semiautomaton subject Category:Automata_theory.
- Sequential_logic subject Category:Automata_theory.
- Star-free_language subject Category:Automata_theory.
- Star_height_problem subject Category:Automata_theory.
- State_transition_table subject Category:Automata_theory.
- Subshift_of_finite_type subject Category:Automata_theory.
- Synchronizing_word subject Category:Automata_theory.
- Temporal_logic_in_finite-state_verification subject Category:Automata_theory.
- Thompson's_construction_algorithm subject Category:Automata_theory.
- Thread_automaton subject Category:Automata_theory.
- Timed_automaton subject Category:Automata_theory.
- Timed_event_system subject Category:Automata_theory.
- Tree_(automata_theory) subject Category:Automata_theory.
- Tree_automaton subject Category:Automata_theory.
- Tree_walking_automaton subject Category:Automata_theory.
- Two-way_deterministic_finite_automaton subject Category:Automata_theory.
- UML_state_machine subject Category:Automata_theory.
- Union_of_two_regular_languages subject Category:Automata_theory.
- Well-structured_transition_system subject Category:Automata_theory.
- Ω-automaton subject Category:Automata_theory.
- Nondeterministic_finite_automaton_with_ε-moves subject Category:Automata_theory.
- Černy_conjecture subject Category:Automata_theory.
- Category:Cellular_automata broader Category:Automata_theory.