About: Abstract machine

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Theoretical model of a computer hardware or software system used in automata theory

Property	Value
dbo:description	theoretical model of a computer hardware or software system used in automata theory (en) teoretični model računalniške strojne ali programske opreme, ki se uporablja v teoriji avtomatov (sl) Modell eines digitalen, zeitdiskreten Rechners (de) Yazılım Sistemi (tr) modèle théorique (fr) sistema dinamico discreto e tempo-invariante (it) ordinador teòric utilitzat per definir un model de càlcul (ca)
dbo:thumbnail	wiki-commons:Special:FilePath/2-state_3-symbol_Turing_Machine.png?width=300
dbo:wikiPageExternalLink	http://www.inf.ed.ac.uk/teaching/courses/lsi/diehl_abstract_machines.pdf
dbo:wikiPageWikiLink	dbr:Business_Process_Execution_Language dbr:Smalltalk dbr:Forth_(programming_language) dbr:Functional_programming dbr:Logic_programming dbr:Evaluation_strategy dbr:Object_(computer_science) dbr:Stack-based_memory_allocation dbr:Mealy_machine dbr:Central_processing_unit dbr:Computer_hardware dbr:HTML dbr:Object-oriented_programming dbr:Syntax_(programming_languages) dbc:Models_of_computation dbr:Conway's_Game_of_Life dbr:Compiler dbr:State_(computer_science) dbr:Programming_tool dbr:Arithmetic dbr:Function_(mathematics) dbr:Machine dbr:Web_service dbr:First-order_logic dbr:Association_for_Computing_Machinery dbc:Abstract_machines dbr:Prolog dbr:UNCOL dbc:Automata_(computation) dbr:Data_communication dbr:SNOBOL dbr:Deterministic_algorithm dbr:Abstract_interpretation dbr:Firmware dbr:Warren_Abstract_Machine dbr:Computer dbr:Java_(programming_language) dbr:Arithmetic_logic_unit dbr:Java_virtual_machine dbr:Virtual_machine dbr:High-level_programming_language dbr:Hypervisor dbr:SECD_machine dbr:Computability dbr:Conditional_(computer_programming) dbr:Method_(computer_programming) dbr:Program_counter dbr:Nondeterministic_Turing_machine dbr:Electronic_circuit dbr:Jan_van_Leeuwen dbr:Algorithm dbr:Operating_system dbr:Primitive_data_type dbr:Programming_language dbr:Software dbr:Low-level_programming_language dbr:Lazy_evaluation dbr:Data_structure dbr:Finite-state_machine dbr:Microcode dbr:Stack_(abstract_data_type) dbr:UCSD_Pascal dbr:Bulk_synchronous_parallel dbr:ML/I dbr:Computer_science dbr:Memory_management dbr:Shell_(computing) dbr:E-commerce dbr:Computer_program dbr:Communication_protocol dbr:ALGOL dbr:Code dbr:Memory_cell_(computing) dbr:Scripting_language dbr:Stored-program_computer dbr:Computational_complexity_theory dbr:Processor_(computing) dbr:Self_(programming_language) dbr:General-purpose_macro_processor dbr:Abstraction_(computer_science) dbr:Pushdown_automaton dbr:Theory_of_computation dbr:Hardware_description_language dbr:Logic_gate dbr:Interpreter_(computing) dbr:String_(computer_science) dbr:Flynn's_taxonomy dbr:Turing_machine dbr:Execution_(computing) dbr:Machine_code dbr:Garbage_collection_(computer_science) dbr:Nondeterministic_algorithm dbr:Model_of_computation dbr:Krivine_machine dbr:Parallel_random-access_machine dbr:Discrete_time dbr:Address_programming_language dbr:State_space dbr:Thought_experiments dbr:File:2-state_3-symbol_Turing_Machine.png dbr:File:A_hierarchy_of_abstract_machines.png dbr:File:Machine_de_Krivine.jpg dbr:File:The_structure_of_an_abstract_machine.png
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_book dbt:ISBN dbt:One_source dbt:Distinguish dbt:Annotated_link dbt:Short_description
dct:subject	dbc:Models_of_computation dbc:Abstract_machines dbc:Automata_(computation)
gold:hypernym	dbr:Model
rdfs:label	Abstract machine (en) آلة مجردة (ar) Màquina abstracta (ca) Automat (Informatik) (de) Αυτόματο (el) Máquina abstracta (es) Machine abstraite (fr) Automa (informatica) (it) 抽象機械 (ja) 추상 기계 (ko) Máquina abstrata (pt) Абстрактный автомат (ru) Automat (datavetenskap) (sv) Абстрактний автомат (uk) 抽象機器 (zh)
owl:differentFrom	dbr:Virtual_machine
owl:sameAs	freebase:Abstract machine yago-res:Abstract machine wikidata:Abstract machine dbpedia-it:Abstract machine dbpedia-de:Abstract machine dbpedia-fr:Abstract machine dbpedia-tr:Abstract machine dbpedia-zh:Abstract machine dbpedia-ja:Abstract machine dbpedia-pt:Abstract machine dbpedia-es:Abstract machine dbpedia-hu:Abstract machine dbpedia-fa:Abstract machine dbpedia-ru:Abstract machine dbpedia-sv:Abstract machine dbpedia-ko:Abstract machine dbpedia-el:Abstract machine dbpedia-ca:Abstract machine dbpedia-ar:Abstract machine dbpedia-bn:Abstract machine dbpedia-fi:Abstract machine dbpedia-hr:Abstract machine dbpedia-simple:Abstract machine dbpedia-uk:Abstract machine dbpedia-global:Abstract machine
prov:wasDerivedFrom	wikipedia-en:Abstract_machine?oldid=1279086959&ns=0
foaf:depiction	wiki-commons:Special:FilePath/2-state_3-symbol_Turing_Machine.png wiki-commons:Special:FilePath/A_hierarchy_of_abstract_machines.png wiki-commons:Special:FilePath/Machine_de_Krivine.jpg wiki-commons:Special:FilePath/The_structure_of_an_abstract_machine.png
foaf:isPrimaryTopicOf	wikipedia-en:Abstract_machine
is dbo:genre of	dbr:SECD_machine
is dbo:wikiPageDisambiguates of	dbr:Machine_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Abstract_Machine dbr:Abstract_computer
is dbo:wikiPageWikiLink of	dbr:Oracle_machine dbr:Functional_programming dbr:Evaluation_strategy dbr:Automata_theory dbr:NP-completeness dbr:Quantum_Turing_machine dbr:Random-access_machine dbr:Intermediate_representation dbr:Two-way_finite_automaton dbr:Terry_Sejnowski dbr:Deterministic_algorithm dbr:Shortest_path_problem dbr:Parallel_algorithm dbr:Turing_tarpit dbr:Timeline_of_algorithms dbr:Analysis_of_algorithms dbr:Warren_Abstract_Machine dbr:Computer dbr:Church–Turing_thesis dbr:Turing_completeness dbr:OCaml dbr:Descriptive_complexity_theory dbr:Explicit_multi-threading dbr:Explicit_substitution dbr:Abstract_data_type dbr:Automaton_(disambiguation) dbr:SECD_machine dbr:Computability dbr:Circuit_complexity dbr:Collatz_conjecture dbr:Cache-oblivious_algorithm dbr:Proof_of_knowledge dbr:Algorithm dbr:Programming_language dbr:Machine_(disambiguation) dbr:Finite-state_machine dbr:Bulk_synchronous_parallel dbr:Theoretical_computer_science dbr:Semantics_(computer_science) dbr:Peter_Landin dbr:Random-access_stored-program_machine dbr:One-instruction_set_computer dbr:Complexity_class dbr:Operational_semantics dbr:Register_machine dbr:Pointer_machine dbr:Interactive_proof_system dbr:Undecidable_problem dbr:Ten15 dbr:TenDRA_Distribution_Format dbr:External_memory_algorithm dbr:Time_complexity dbr:Computational_problem dbr:Glossary_of_computer_science dbr:Finite_model_theory dbr:Run-time_algorithm_specialization dbr:Defunctionalization dbr:Glossary_of_artificial_intelligence dbr:Turing_machine dbr:Curry–Howard_correspondence dbr:Algorithm_characterizations dbr:Parallel_RAM dbr:Thoth_(operating_system) dbr:Hypercomputation dbr:Model_of_computation dbr:Asymptotically_optimal_algorithm dbr:Computation_history dbr:Low_(complexity) dbr:Krivine_machine dbr:Abstract_Machine dbr:Abstract_computer dbr:Counter_machine dbr:CEK_Machine dbr:Word_RAM dbr:Parallel_external_memory dbr:Glossary_of_quantum_computing dbr:Parallel_multidimensional_digital_signal_processing dbr:Tree_transducer
is foaf:primaryTopic of	wikipedia-en:Abstract_machine