@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns1:	<http://dbpedia.org/resource/Category:> .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
ns1:Automata_theory	rdf:type	skos:Concept .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns1:Automata_theory	rdfs:label	"Automata theory"@en ;
	skos:prefLabel	"Automata theory"@en ;
	skos:broader	ns1:Automata ,
		ns1:Theory_of_computation ,
		ns1:Discrete_mathematics .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:Automatic_sequence	skos:subject	ns1:Automata_theory .
dbpedia:Generalized_star_height_problem	skos:subject	ns1:Automata_theory .
<http://dbpedia.org/resource/International_Colloquium_on_Automata%2C_Languages_and_Programming>	skos:subject	ns1:Automata_theory ,
		ns1:Automata_theory .
dbpedia:PowerDEVS	skos:subject	ns1:Automata_theory .
dbpedia:De_Bruijn_graph	skos:subject	ns1:Automata_theory .
dbpedia:Behavior_of_DEVS	skos:subject	ns1:Automata_theory .
dbpedia:DEVS	skos:subject	ns1:Automata_theory .
dbpedia:Moore_reduction_procedure	skos:subject	ns1:Automata_theory .
dbpedia:Finite_state_transducer	skos:subject	ns1:Automata_theory .
dbpedia:Abstract_machine	skos:subject	ns1:Automata_theory .
dbpedia:Automata_theory	skos:subject	ns1:Automata_theory .
dbpedia:Deterministic_finite-state_machine	skos:subject	ns1:Automata_theory .
dbpedia:Behavior_of_Coupled_DEVS	skos:subject	ns1:Automata_theory .
dbpedia:Event_segment	skos:subject	ns1:Automata_theory .
dbpedia:Nested_word	skos:subject	ns1:Automata_theory .
ns1:Cellular_automata	skos:broader	ns1:Automata_theory .
dbpedia:Conference_on_Implementation_and_Application_of_Automata	skos:subject	ns1:Automata_theory .
<http://dbpedia.org/resource/Finite_%26_Deterministic_Discrete_Event_System_Specification>	skos:subject	ns1:Automata_theory .
dbpedia:Implication_table	skos:subject	ns1:Automata_theory .
<http://dbpedia.org/resource/Krohn%E2%80%93Rhodes_theory>	skos:subject	ns1:Automata_theory .
dbpedia:Richards_controller	skos:subject	ns1:Automata_theory .
dbpedia:Road_coloring_problem	skos:subject	ns1:Automata_theory .
dbpedia:Star-free_language	skos:subject	ns1:Automata_theory .
dbpedia:State_transition_table	skos:subject	ns1:Automata_theory .
dbpedia:Timed_event_system	skos:subject	ns1:Automata_theory .
dbpedia:SP-DEVS	skos:subject	ns1:Automata_theory .
dbpedia:Subshift_of_finite_type	skos:subject	ns1:Automata_theory .
dbpedia:Star_height_problem	skos:subject	ns1:Automata_theory .