Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Automata (computation)
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
38801233
(xsd:integer)
dbo:
wikiPageRevisionID
929441499
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commonscat
rdf:
type
skos
:Concept
rdfs:
label
Automata (computation)
(en)
skos:
broader
dbc
:Computational_fields_of_study
dbc
:Models_of_computation
skos:
prefLabel
Automata (computation)
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Automata_(computation)?oldid=929441499&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Behavior_tree_(artificial_intelligence,_robotics_and_control)
dbr
:Pushdown_automaton
dbr
:Behavior_of_DEVS
dbr
:Behavior_of_coupled_DEVS
dbr
:Boolean_differential_calculus
dbr
:De_Bruijn_graph
dbr
:Regular_expression
dbr
:DEVS
dbr
:Deterministic_automaton
dbr
:Deterministic_pushdown_automaton
dbr
:Infinite-tree_automaton
dbr
:Information_fluctuation_complexity
dbr
:International_Colloquium_on_Automata,_Languages_and_Programming
dbr
:Intersection_non-emptiness_problem
dbr
:Introduction_to_Automata_Theory,_Languages,_and_Computation
dbr
:SP-DEVS
dbr
:Star-free_language
dbr
:Generalized_Büchi_automaton
dbr
:Generalized_star-height_problem
dbr
:State_encoding_for_low_power
dbr
:Thread_automaton
dbr
:Conference_on_Implementation_and_Application_of_Automata
dbr
:Constraint_automaton
dbr
:Clock_(model_checking)
dbr
:Complementation_of_Büchi_automaton
dbr
:Computation_tree_logic
dbr
:Embedded_pushdown_automaton
dbr
:McNaughton's_theorem
dbr
:Timed_event_system
dbr
:Tree_(automata_theory)
dbr
:Tree_automaton
dbr
:Tree_stack_automaton
dbr
:Tree_transducer
dbr
:K-regular_sequence
dbr
:Lazy_linear_hybrid_automaton
dbr
:Linear_bounded_automaton
dbr
:Linear_temporal_logic_to_Büchi_automaton
dbr
:PowerDEVS
dbr
:Alternating_timed_automaton
dbr
:Alternating_tree_automata
dbr
:Discrete_system
dbr
:Formal_grammar
dbr
:Synchronous_circuit
dbr
:Recognizable_set
dbr
:Counter_automaton
dbr
:Hybrid_automaton
dbr
:State-transition_table
dbr
:Asynchronous_circuit
dbr
:Abstract_machine
dbr
:Star_height_problem
dbr
:Regular_numerical_predicate
dbr
:Augmented_transition_network
dbr
:Automata_theory
dbr
:Automatic_sequence
dbr
:CIP-Tool
dbr
:Ranked_alphabet
dbr
:Turing_machine
dbr
:Well-structured_transition_system
dbr
:Nested_word
dbr
:Factor_oracle
dbr
:Implication_table
dbr
:Queue_automaton
dbr
:Event_segment
dbr
:Finite_&_Deterministic_Discrete_Event_System_Specification
dbr
:Pebble_automaton
dbr
:Weak_Büchi_automaton
dbr
:Subshift_of_finite_type
dbr
:Signal_automaton
dbr
:Signal_transition_graphs
dbr
:Noncommutative_signal-flow_graph
dbr
:Petri_net_unfoldings
dbr
:Semi-deterministic_Büchi_automaton
dbr
:Sequential_logic
dbr
:Rational_set
dbr
:UML_state_machine
dbr
:Tree-walking_automaton
dbr
:Richards_controller
dbr
:Road_coloring_theorem
dbr
:Černy_conjecture
dbr
:Timed_automaton
is
dcterms:
subject
of
dbr
:Behavior_tree_(artificial_intelligence,_robotics_and_control)
dbr
:Pushdown_automaton
dbr
:Behavior_of_DEVS
dbr
:Behavior_of_coupled_DEVS
dbr
:Boolean_differential_calculus
dbr
:De_Bruijn_graph
dbr
:Regular_expression
dbr
:DEVS
dbr
:Deterministic_automaton
dbr
:Deterministic_pushdown_automaton
dbr
:Infinite-tree_automaton
dbr
:Information_fluctuation_complexity
dbr
:International_Colloquium_on_Automata,_Languages_and_Programming
dbr
:Intersection_non-emptiness_problem
dbr
:Introduction_to_Automata_Theory,_Languages,_and_Computation
dbr
:SP-DEVS
dbr
:Star-free_language
dbr
:Generalized_Büchi_automaton
dbr
:Generalized_star-height_problem
dbr
:State_encoding_for_low_power
dbr
:Thread_automaton
dbr
:Conference_on_Implementation_and_Application_of_Automata
dbr
:Constraint_automaton
dbr
:Clock_(model_checking)
dbr
:Complementation_of_Büchi_automaton
dbr
:Computation_tree_logic
dbr
:Embedded_pushdown_automaton
dbr
:McNaughton's_theorem
dbr
:Timed_event_system
dbr
:Tree_(automata_theory)
dbr
:Tree_automaton
dbr
:Tree_stack_automaton
dbr
:Tree_transducer
dbr
:K-regular_sequence
dbr
:Lazy_linear_hybrid_automaton
dbr
:Linear_bounded_automaton
dbr
:Linear_temporal_logic_to_Büchi_automaton
dbr
:PowerDEVS
dbr
:Alternating_timed_automaton
dbr
:Alternating_tree_automata
dbr
:Discrete_system
dbr
:Formal_grammar
dbr
:Synchronous_circuit
dbr
:Recognizable_set
dbr
:Counter_automaton
dbr
:Hybrid_automaton
dbr
:State-transition_table
dbr
:Asynchronous_circuit
dbr
:Abstract_machine
dbr
:Star_height_problem
dbr
:Regular_numerical_predicate
dbr
:Augmented_transition_network
dbr
:Automata_theory
dbr
:Automatic_sequence
dbr
:CIP-Tool
dbr
:Ranked_alphabet
dbr
:Turing_machine
dbr
:Well-structured_transition_system
dbr
:Nested_word
dbr
:Factor_oracle
dbr
:Implication_table
dbr
:Queue_automaton
dbr
:Event_segment
dbr
:Finite_&_Deterministic_Discrete_Event_System_Specification
dbr
:Pebble_automaton
dbr
:Weak_Büchi_automaton
dbr
:Subshift_of_finite_type
dbr
:Signal_automaton
dbr
:Signal_transition_graphs
dbr
:Noncommutative_signal-flow_graph
dbr
:Petri_net_unfoldings
dbr
:Semi-deterministic_Büchi_automaton
dbr
:Sequential_logic
dbr
:Rational_set
dbr
:UML_state_machine
dbr
:Tree-walking_automaton
dbr
:Richards_controller
dbr
:Road_coloring_theorem
dbr
:Černy_conjecture
dbr
:Timed_automaton
is
skos:
broader
of
dbc
:Turing_machine
dbc
:Finite_automata
dbc
:Cellular_automata
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License