About: Transition system

Property	Value
dbo:description	abstract machine used in the study of computation (en)
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Automata_theory dbc:Models_of_computation dbr:State_(computer_science) dbr:F-coalgebra dbr:Singleton_(mathematics) dbr:Abstract_rewriting_system dbr:Modal_μ-calculus dbr:Directed_graph dbr:Computation dbr:Finite-state_machine dbr:Theoretical_computer_science dbr:Action_language dbr:Power_set dbr:Simulation_preorder dbr:Operational_semantics dbr:Bisimulation dbr:Discrete_system dbr:Bijection dbr:Semigroup_action dbr:Kripke_structure dbr:Finite-state_automata dbr:Transformation_monoid dbr:Transition_monoid
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:About dbt:Short_description
dct:subject	dbc:Models_of_computation
gold:hypernym	dbr:Concept
rdf:type	owl:Thing owl:Thing
rdfs:label	Transition system (en) نظام حالة الانتقال (ar) Přechodový systém (cs) Transitionssystem (de) Système de transition d'états (fr) Sistema a transizione di stati (it) 状態遷移系 (ja) Sistema de Transição (pt) Модель станів і переходів (uk) 变迁系统 (zh)
owl:sameAs	freebase:Transition system http://d-nb.info/gnd/4329099-1 yago-res:Transition system wikidata:Transition system dbpedia-it:Transition system dbpedia-de:Transition system dbpedia-fr:Transition system dbpedia-tr:Transition system dbpedia-zh:Transition system dbpedia-ja:Transition system dbpedia-pt:Transition system dbpedia-ar:Transition system dbpedia-cs:Transition system dbpedia-uk:Transition system dbpedia-global:Transition system dbr:Transition system
prov:wasDerivedFrom	wikipedia-en:Transition_system?oldid=1255090777&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Transition_system
is dbo:wikiPageDisambiguates of	dbr:Transition
is dbo:wikiPageRedirects of	dbr:State_transition_system dbr:Labeled_Transition_System dbr:Labeled_transition_system dbr:Labelled_transition_system
is dbo:wikiPageWikiLink of	dbr:F-coalgebra dbr:Transition dbr:Computation_tree_logic dbr:Logic dbr:Kripke_structure_(model_checking) dbr:Post's_theorem dbr:Deterministic_finite_automaton dbr:Finite-state_machine dbr:Averest dbr:Monoid dbr:Bisimulation dbr:LTSA dbr:Glossary_of_artificial_intelligence dbr:Frame_problem dbr:Systems_immunology dbr:Stutter_bisimulation dbr:Hidden_algebra dbr:Widening_(computer_science) dbr:Principles_of_Model_Checking dbr:Theory_of_regions dbr:Well-structured_transition_system dbr:State_transition_system dbr:Labeled_Transition_System dbr:Labeled_transition_system dbr:Labelled_transition_system
is foaf:primaryTopic of	wikipedia-en:Transition_system