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:Object-oriented_programming dbr:Computability dbr:Computer dbr:Java_(programming_language) dbr:Programming_tool dbr:Prolog dbr:Primitive_data_type dbc:Automata_(computation) dbr:Algorithm dbr:Association_for_Computing_Machinery dbr:Central_processing_unit dbr:Compiler dbr:Computer_hardware dbr:Computer_science dbr:E-commerce dbr:Function_(mathematics) dbr:HTML dbr:Operating_system dbr:Programming_language dbr:Self_(programming_language) dbr:Smalltalk dbr:Software dbr:Turing_machine dbr:UCSD_Pascal dbr:SNOBOL dbr:Communication_protocol dbr:Code dbr:Processor_(computing) dbr:ML/I dbr:Krivine_machine dbr:Arithmetic dbr:Computational_complexity_theory dbr:Forth_(programming_language) dbr:Hypervisor dbr:Machine dbr:Shell_(computing) dbr:Machine_code dbr:Firmware dbr:Conway's_Game_of_Life dbr:Object_(computer_science) dbr:Electronic_circuit dbr:Stack-based_memory_allocation dbr:Web_service dbr:Method_(computer_programming) dbr:Program_counter dbr:Computer_program dbr:Low-level_programming_language dbr:Interpreter_(computing) dbr:Finite-state_machine dbr:String_(computer_science) dbr:Evaluation_strategy dbr:Data_structure dbr:Flynn's_taxonomy dbr:Functional_programming dbr:Jan_van_Leeuwen dbr:Logic_gate dbr:Model_of_computation dbr:SECD_machine dbr:Warren_Abstract_Machine dbr:Abstraction_(computer_science) dbr:Conditional_(computer_programming) dbr:Mealy_machine dbr:Memory_cell_(computing) dbr:Pushdown_automaton dbr:Hardware_description_language dbr:Nondeterministic_Turing_machine dbr:State_(computer_science) dbr:ALGOL dbr:First-order_logic dbr:Microcode dbr:Stack_(abstract_data_type) dbr:Scripting_language dbr:Arithmetic_logic_unit dbr:Virtual_machine dbr:Deterministic_algorithm dbr:Nondeterministic_algorithm dbr:Java_virtual_machine dbr:Data_communication dbr:High-level_programming_language dbr:Lazy_evaluation dbr:Business_Process_Execution_Language dbr:Stored-program_computer dbr:Garbage_collection_(computer_science) dbr:Theory_of_computation dbr:Bulk_synchronous_parallel dbr:Logic_programming dbr:General-purpose_macro_processor dbr:Abstract_interpretation dbr:Execution_(computing) dbr:Memory_management dbr:Syntax_(programming_languages) dbr:UNCOL dbc:Abstract_machines dbc:Models_of_computation dbr:Discrete_time dbr:Thought_experiments dbr:Parallel_random-access_machine dbr:Address_programming_language dbr:State_space 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:date	2013-05-01 (xsd:date)
dbp:url	https://web.archive.org/web/20130501082837/http:/www.inf.ed.ac.uk/teaching/courses/lsi/diehl_abstract_machines.pdf
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Annotated_link dbt:Authority_control dbt:Cn dbt:Distinguish dbt:ISBN dbt:One_source dbt:Short_description dbt:Webarchive
dct:subject	dbc:Automata_(computation) dbc:Abstract_machines dbc:Models_of_computation
gold:hypernym	dbr:Model
rdf:type	owl:Thing owl:Thing
rdfs:label	Abstract machine (en) آلة مجردة (ar) Màquina abstracta (ca) Automat (Informatik) (de) Αυτόματο (el) Máquina abstracta (es) Machine abstraite (fr) Automa (informatica) (it) 추상 기계 (ko) 抽象機械 (ja) 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-de:Abstract machine dbpedia-es:Abstract machine dbpedia-it:Abstract machine dbpedia-tr:Abstract machine dbpedia-fr:Abstract machine dbpedia-hu:Abstract machine dbpedia-ja:Abstract machine dbpedia-pt:Abstract machine dbpedia-ru:Abstract machine dbpedia-zh:Abstract machine dbpedia-sv:Abstract machine dbpedia-el:Abstract machine dbpedia-ko:Abstract machine dbpedia-ca:Abstract machine dbpedia-ar:Abstract machine dbpedia-bn:Abstract machine dbpedia-fa: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=1310387918&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:Pointer_machine dbr:Terry_Sejnowski dbr:Computability dbr:Thoth_(operating_system) dbr:Abstract_Machine dbr:Abstract_computer dbr:Computer dbr:Quantum_Turing_machine dbr:Parallel_external_memory dbr:Algorithm dbr:Programming_language dbr:Theoretical_computer_science dbr:Turing_machine dbr:Abstract_data_type dbr:Krivine_machine dbr:Parallel_RAM dbr:Hypercomputation dbr:Automata_theory dbr:Semantics_(computer_science) dbr:Machine_(disambiguation) dbr:Cache-oblivious_algorithm dbr:External_memory_algorithm dbr:Complexity_class dbr:Finite-state_machine dbr:Parallel_algorithm dbr:Parallel_multidimensional_digital_signal_processing dbr:Register_machine dbr:Evaluation_strategy dbr:Church–Turing_thesis dbr:Curry–Howard_correspondence dbr:Finite_model_theory dbr:Functional_programming dbr:Interactive_proof_system dbr:Model_of_computation dbr:Peter_Landin dbr:SECD_machine dbr:Warren_Abstract_Machine dbr:Turing_completeness dbr:Descriptive_complexity_theory dbr:Asymptotically_optimal_algorithm dbr:Circuit_complexity dbr:Shortest_path_problem dbr:Random-access_machine dbr:Explicit_multi-threading dbr:Explicit_substitution dbr:Collatz_conjecture dbr:NP-completeness dbr:OCaml dbr:Deterministic_algorithm dbr:Two-way_finite_automaton dbr:Intermediate_representation dbr:Computational_problem dbr:Computation_history dbr:Operational_semantics dbr:Bulk_synchronous_parallel dbr:One-instruction_set_computer dbr:Time_complexity dbr:Automaton_(disambiguation) dbr:Analysis_of_algorithms dbr:Defunctionalization dbr:Oracle_machine dbr:Algorithm_characterizations dbr:Undecidable_problem dbr:Turing_tarpit dbr:Low_(complexity) dbr:Counter_machine dbr:Proof_of_knowledge dbr:Timeline_of_algorithms dbr:Run-time_algorithm_specialization dbr:Ten15 dbr:TenDRA_Distribution_Format dbr:Glossary_of_computer_science dbr:Word_RAM dbr:Tree_transducer dbr:Random-access_stored-program_machine dbr:CEK_Machine dbr:Glossary_of_artificial_intelligence dbr:Glossary_of_quantum_computing
is foaf:primaryTopic of	wikipedia-en:Abstract_machine