Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Transition_system> ?p ?o }
Showing triples 1 to 49 of
49
with 100 triples per page.
- Transition_system abstract "In theoretical computer science, a transition system is a concept used in the study of computation. It is used to describe the potential behavior of discrete systems. It consists of states and transitions between states, which may be labeled with labels chosen from a set; the same label may appear on more than one transition. If the label set is a singleton, the system is essentially unlabeled, and a simpler definition that omits the labels is possible.Transition systems coincide mathematically with abstract rewriting systems (as explained further in this article) and directed graphs. They differ from finite state automata in several ways: The set of states is not necessarily finite, or even countable. The set of transitions is not necessarily finite, or even countable. No \"start\" state or \"final\" states are given.Transition systems can be represented as directed graphs.".
- Transition_system wikiPageID "10768144".
- Transition_system wikiPageLength "4800".
- Transition_system wikiPageOutDegree "21".
- Transition_system wikiPageRevisionID "697201117".
- Transition_system wikiPageWikiLink Abstract_rewriting_system.
- Transition_system wikiPageWikiLink Action_language.
- Transition_system wikiPageWikiLink Automata_theory.
- Transition_system wikiPageWikiLink Bisimulation.
- Transition_system wikiPageWikiLink Category:Models_of_computation.
- Transition_system wikiPageWikiLink Computation.
- Transition_system wikiPageWikiLink Directed_graph.
- Transition_system wikiPageWikiLink Discrete_system.
- Transition_system wikiPageWikiLink Finite-state_machine.
- Transition_system wikiPageWikiLink Kripke_structure_(model_checking).
- Transition_system wikiPageWikiLink Model_checking.
- Transition_system wikiPageWikiLink Operational_semantics.
- Transition_system wikiPageWikiLink Simulation_preorder.
- Transition_system wikiPageWikiLink Singleton_(mathematics).
- Transition_system wikiPageWikiLink State_(computer_science).
- Transition_system wikiPageWikiLink Theoretical_computer_science.
- Transition_system wikiPageWikiLinkText "Transition Systems".
- Transition_system wikiPageWikiLinkText "Transition system".
- Transition_system wikiPageWikiLinkText "transition function".
- Transition_system wikiPageWikiLinkText "transition system".
- Transition_system wikiPageWikiLinkText "transition systems".
- Transition_system wikiPageUsesTemplate Template:About.
- Transition_system wikiPageUsesTemplate Template:Authority_control.
- Transition_system wikiPageUsesTemplate Template:Reflist.
- Transition_system subject Category:Models_of_computation.
- Transition_system hypernym Concept.
- Transition_system type Model.
- Transition_system type Method.
- Transition_system type Model.
- Transition_system type Thing.
- Transition_system comment "In theoretical computer science, a transition system is a concept used in the study of computation. It is used to describe the potential behavior of discrete systems. It consists of states and transitions between states, which may be labeled with labels chosen from a set; the same label may appear on more than one transition.".
- Transition_system label "Transition system".
- Transition_system sameAs Q176468.
- Transition_system sameAs نظام_حالة_الانتقال.
- Transition_system sameAs Přechodový_systém.
- Transition_system sameAs Transitionssystem.
- Transition_system sameAs Systxc3xa8me_de_transition_dxc3xa9tats.
- Transition_system sameAs Sistema_a_transizione_di_stati.
- Transition_system sameAs 状態遷移系.
- Transition_system sameAs m.012c1925.
- Transition_system sameAs Модель_станів_і_переходів.
- Transition_system sameAs Q176468.
- Transition_system wasDerivedFrom Transition_system?oldid=697201117.
- Transition_system isPrimaryTopicOf Transition_system.