About: Models of computation

Property	Value
dbo:wikiPageID	31036668 (xsd:integer)
dbo:wikiPageRevisionID	969858768 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons_cat dbt:CatAutoTOC dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Models of computation (en)
skos:broader	dbc:Conceptual_models dbc:Formal_methods dbc:Mathematical_modeling dbc:Programming_language_topics dbc:Theory_of_computation
skos:prefLabel	Models of computation (en)
prov:wasDerivedFrom	wikipedia-en:Category:Models_of_computation?oldid=969858768&ns=14
is dbo:wikiPageWikiLink of	dbr:Cache-oblivious_distribution_sort dbr:Behavior_tree_(artificial_intelligence,_robotics_and_control) dbr:Probabilistic_Turing_machine dbr:Pushdown_automaton dbr:Quantum_volume dbr:MATSim dbr:Membrane_computing dbr:SECD_machine dbr:Stochastic_computing dbr:One-way_quantum_computer dbr:Binomial_options_pricing_model dbr:Denotational_semantics dbr:Applicative_computing_systems dbr:Reo_Coordination_Language dbr:DNA_computing dbr:Unbounded_nondeterminism dbr:Decision_field_theory dbr:Decision_tree_model dbr:Description_number dbr:Deterministic_pushdown_automaton dbr:Interaction_nets dbr:Quantum_computing dbr:Robertson–Webb_query_model dbr:Computing_with_Memory dbr:Counter-machine_model dbr:NAR_1 dbr:NAR_2 dbr:One-instruction_set_computer dbr:Thread_automaton dbr:Turing_machine_equivalents dbr:Quantum_capacity dbr:Scott_information_system dbr:Funnelsort dbr:Glossary_of_quantum_computing dbr:State_space dbr:Blum–Shub–Smale_machine dbr:Cache-oblivious_algorithm dbr:Stack_machine dbr:Communicating_X-Machine dbr:Communicating_finite-state_machine dbr:Complexity_and_Real_Computation dbr:Computational_model dbr:Embedded_pushdown_automaton dbr:Krivine_machine dbr:Persistence_(computer_science) dbr:Petri_net dbr:P′′ dbr:State_(computer_science) dbr:Stream_processing dbr:Tag_system dbr:Markov_algorithm dbr:Mealy_machine dbr:Agent-based_model dbr:Time_loop_logic dbr:Tree_stack_automaton dbr:Lattice_model_(finance) dbr:Lazy_linear_hybrid_automaton dbr:Linear_bounded_automaton dbr:LogP_machine dbr:Post_canonical_system dbr:Abstract_state_machine dbr:Algorithm_characterizations dbr:Dataflow dbr:Alternating_Turing_machine dbr:Extended_finite-state_machine dbr:Cell-probe_model dbr:Discrete_system dbr:Kahn_process_networks dbr:Korn–Kreer–Lenssen_model dbr:Realization_(systems) dbr:Counter_automaton dbr:Turmite dbr:Stochastic_Petri_net dbr:State_diagram dbr:Abstract_machine dbr:Lambda_calculus dbr:Billiard-ball_computer dbr:Effective_fragment_potential_method dbr:Transition_system dbr:Zeno_machine dbr:Register_machine dbr:Augmented_marked_graph dbr:Bulk_synchronous_parallel dbr:CARDboard_Illustrative_Aid_to_Computation dbr:CIP-Tool dbr:Post–Turing_machine dbr:Oblivious_RAM dbr:Categorical_abstract_machine dbr:Channel_system_(computer_science) dbr:Chaos_computing dbr:Model_of_computation dbr:Turing_machine dbr:SXM_(computational_model) dbr:Shape_Modeling_International dbr:Vector_addition_system dbr:Nets_within_Nets dbr:Quantum_circuit dbr:External_memory_algorithm dbr:FRACTRAN dbr:Queue_automaton dbr:Topological_quantum_computer dbr:Event-driven_finite-state_machine dbr:Evolution_in_Variable_Environment dbr:Structured_program_theorem dbr:Multi-tape_Turing_machine dbr:Virtual_finite-state_machine dbr:Trinomial_tree dbr:Transdichotomous_model dbr:Peptide_computing dbr:Reversible_computing dbr:X-machine dbr:Word_RAM dbr:P_system dbr:Parallel_RAM dbr:Parallel_external_memory dbr:Parasitic_computing dbr:Stream_X-Machine dbr:UML_state_machine dbr:Unidirectional_Data_Flow_(computer_science) dbr:WDR_paper_computer
is dcterms:subject of	dbr:Cache-oblivious_distribution_sort dbr:Behavior_tree_(artificial_intelligence,_robotics_and_control) dbr:Probabilistic_Turing_machine dbr:Pushdown_automaton dbr:Quantum_volume dbr:MATSim dbr:Membrane_computing dbr:SECD_machine dbr:Stochastic_computing dbr:One-way_quantum_computer dbr:Binomial_options_pricing_model dbr:Denotational_semantics dbr:Applicative_computing_systems dbr:Reo_Coordination_Language dbr:DNA_computing dbr:Unbounded_nondeterminism dbr:Decision_field_theory dbr:Decision_tree_model dbr:Description_number dbr:Deterministic_pushdown_automaton dbr:Interaction_nets dbr:Quantum_computing dbr:Robertson–Webb_query_model dbr:Computing_with_Memory dbr:Counter-machine_model dbr:NAR_1 dbr:NAR_2 dbr:One-instruction_set_computer dbr:Thread_automaton dbr:Turing_machine_equivalents dbr:Quantum_capacity dbr:Scott_information_system dbr:Funnelsort dbr:Glossary_of_quantum_computing dbr:State_space dbr:Blum–Shub–Smale_machine dbr:Cache-oblivious_algorithm dbr:Stack_machine dbr:Communicating_X-Machine dbr:Communicating_finite-state_machine dbr:Complexity_and_Real_Computation dbr:Computational_model dbr:Embedded_pushdown_automaton dbr:Krivine_machine dbr:Persistence_(computer_science) dbr:Petri_net dbr:P′′ dbr:State_(computer_science) dbr:Stream_processing dbr:Tag_system dbr:Markov_algorithm dbr:Mealy_machine dbr:Agent-based_model dbr:Time_loop_logic dbr:Tree_stack_automaton dbr:Lattice_model_(finance) dbr:Lazy_linear_hybrid_automaton dbr:Linear_bounded_automaton dbr:LogP_machine dbr:Post_canonical_system dbr:Abstract_state_machine dbr:Algorithm_characterizations dbr:Dataflow dbr:Alternating_Turing_machine dbr:Extended_finite-state_machine dbr:Cell-probe_model dbr:Discrete_system dbr:Kahn_process_networks dbr:Korn–Kreer–Lenssen_model dbr:Realization_(systems) dbr:Counter_automaton dbr:Turmite dbr:Stochastic_Petri_net dbr:State_diagram dbr:Abstract_machine dbr:Lambda_calculus dbr:Billiard-ball_computer dbr:Effective_fragment_potential_method dbr:Transition_system dbr:Zeno_machine dbr:Register_machine dbr:Augmented_marked_graph dbr:Bulk_synchronous_parallel dbr:CARDboard_Illustrative_Aid_to_Computation dbr:CIP-Tool dbr:Post–Turing_machine dbr:Oblivious_RAM dbr:Categorical_abstract_machine dbr:Channel_system_(computer_science) dbr:Chaos_computing dbr:Model_of_computation dbr:Turing_machine dbr:SXM_(computational_model) dbr:Shape_Modeling_International dbr:Vector_addition_system dbr:Nets_within_Nets dbr:Quantum_circuit dbr:External_memory_algorithm dbr:FRACTRAN dbr:Queue_automaton dbr:Topological_quantum_computer dbr:Event-driven_finite-state_machine dbr:Evolution_in_Variable_Environment dbr:Structured_program_theorem dbr:Multi-tape_Turing_machine dbr:Virtual_finite-state_machine dbr:Trinomial_tree dbr:Transdichotomous_model dbr:Peptide_computing dbr:Reversible_computing dbr:X-machine dbr:Word_RAM dbr:P_system dbr:Parallel_RAM dbr:Parallel_external_memory dbr:Parasitic_computing dbr:Stream_X-Machine dbr:UML_state_machine dbr:Unidirectional_Data_Flow_(computer_science) dbr:WDR_paper_computer
is skos:broader of	dbc:Petri_nets dbc:Quantum_computing dbc:Lambda_calculus dbc:Distributed_stream_processing dbc:Applicative_computing_systems dbc:Combinatory_logic dbc:Turing_machine dbc:Persistence dbc:Actor_model_(computer_science) dbc:Denotational_semantics dbc:Transition_systems dbc:Register_machines dbc:Process_calculi dbc:Programming_paradigms dbc:Abstract_machines dbc:Automata_(computation) dbc:Reversible_computing dbc:Computation_oracles dbc:Stack_machines