About: Computational models

Property	Value
rdf:type	skos:Concept
rdfs:label	Computational models
skos:broader	dbpedia:Category:Formal_methods dbpedia:Category:Theory_of_computation dbpedia:Category:Programming_language_topics dbpedia:Category:Specific_models
skos:prefLabel	Computational models
is skos:broader of	dbpedia:Category:Automata dbpedia:Category:Educational_abstract_machines dbpedia:Category:Markov_models dbpedia:Category:Petri_nets dbpedia:Category:Actor_model dbpedia:Category:Denotational_semantics dbpedia:Category:Process_calculi dbpedia:Category:Register_machines dbpedia:Category:Applicative_computing_systems dbpedia:Category:Persistence
is skos:subject of	dbpedia:Quantum_computer dbpedia:Turing_machine dbpedia:Probabilistic_Turing_machine dbpedia:Abstract_state_machines dbpedia:Alternating_Turing_machine dbpedia:Petri_net dbpedia:State_space dbpedia:Pushdown_automaton dbpedia:Register_machine dbpedia:Clumping_(computer_science) dbpedia:Kahn_process_networks dbpedia:Bulk_synchronous_parallel dbpedia:Cache-oblivious_algorithm dbpedia:Categorical_abstract_machine dbpedia:Tag_system dbpedia:Counter_machine_models dbpedia:Counter_machine_reference_model dbpedia:DNA_Dynamics dbpedia:Molecular_models_of_DNA dbpedia:Little_man_computer dbpedia:Machine_that_always_halts dbpedia:Multi-track_Turing_machine dbpedia:Lambda_calculus dbpedia:Non-deterministic_Turing_machine dbpedia:Persistence_(computer_science) dbpedia:Linear_bounded_automaton dbpedia:Agent-based_model dbpedia:Büchi_automaton dbpedia:Oracle_machine dbpedia:Algorithm_characterizations dbpedia:Applicative_computing_systems dbpedia:NAR_2 dbpedia:CARDboard_Illustrative_Aid_to_Computation dbpedia:Zeno_machine dbpedia:Deterministic_pushdown_automaton dbpedia:Extended_finite_state_machine dbpedia:Interaction_nets dbpedia:Lazy_linear_hybrid_automaton dbpedia:LogP_machine dbpedia:Model_of_computation dbpedia:NAR_1 dbpedia:Stack_machine dbpedia:Finite_state_transducer dbpedia:State_diagram dbpedia:Abstract_machine dbpedia:Computational_model dbpedia:Deterministic_finite-state_machine dbpedia:Nondeterministic_finite_state_machine dbpedia:Event-driven_finite_state_machine dbpedia:Billiard-ball_computer dbpedia:State_(computer_science) dbpedia:Communicating_X-Machine dbpedia:Counter_automaton dbpedia:Decision_field_theory dbpedia:Membrane_computing dbpedia:Finite-state_machine dbpedia:Mealy_machine dbpedia:Moore_machine dbpedia:State_transition_system dbpedia:Dataflow dbpedia:Denotational_semantics dbpedia:Stream_processing dbpedia:Virtual_finite_state_machine dbpedia:Algorithm_examples dbpedia:Blum-Shub-Smale_machine dbpedia:SCAB_computer dbpedia:CIP-Tool dbpedia:Decision_tree_model dbpedia:Description_number dbpedia:Discrete_system dbpedia:Embedded_pushdown_automaton dbpedia:Nested_stack_automaton dbpedia:One_instruction_set_computer dbpedia:Parallel_Random_Access_Machine dbpedia:Post_canonical_system dbpedia:Unbounded_nondeterminism dbpedia:Topological_computing dbpedia:UML_state_machine dbpedia:X-machine dbpedia:Post–Turing_machine dbpedia:P′′ dbpedia:Turing_machine_equivalents dbpedia:Turing_machine_examples dbpedia:Wolfram's_2-state_3-symbol_Turing_machine dbpedia:Wang_B-machine dbpedia:P_system dbpedia:Quantum_circuit dbpedia:Read_only_right_moving_Turing_Machines dbpedia:Scott_information_system dbpedia:Stream_X-Machine dbpedia:Turing_switch dbpedia:Turmite dbpedia:Turing_machine_gallery dbpedia:Universal_Turing_machine