About: Turing completeness

Property	Value
dbo:description	Kriterium der Informatik (de) sistema amb poder computacional equivalent a la màquina universal de Turing (ca) capacitate a sistemelor de calcul de a simula mașini Turing (ro) sposobnost računalniškega sistema, da simulira Turingove stroje (sl) ability of a computing system to simulate Turing machines (en) posibilidade dun sistema de computación de simular máquinas de Turing (gl) Caractère d'un système où il est possible de programmer n'importe quelle machine de Turing (fr) un sistema Turing completo es aquel que tiene un poder computacional equivalente a la máquina de Turing universal (es)
dbo:wikiPageExternalLink	https://c2.com/cgi/wiki%3FTuringComplete https://archive.org/details/theoryofcomputat00brai https://www.cs.ox.ac.uk/activities/ieg/e-library/sources/tp2-ie.pdf https://www.newscientist.com/article/dn12826-simplest-universal-computer-wins-student-25000.html
dbo:wikiPageWikiLink	dbr:VHDL dbr:Rice's_theorem dbr:Process_calculus dbr:Computability dbr:Cities:_Skylines dbr:Computer dbr:JavaScript dbr:Java_(programming_language) dbr:Universe dbr:Category_theory dbr:Prolog dbr:Computable_function dbr:Linear_bounded_automaton dbc:Programming_language_theory dbr:Ada_(programming_language) dbr:Alan_Turing dbr:Algorithm dbr:C++ dbr:C_(programming_language) dbr:C_Sharp_(programming_language) dbr:Compiler dbr:Lisp_(programming_language) dbr:Object_Pascal dbr:Perl dbr:Programming_language dbr:Python_(programming_language) dbr:Smalltalk dbr:TeX dbr:Theoretical_computer_science dbr:Turing_machine dbr:TypeScript dbr:New_Scientist dbr:R_(programming_language) dbr:Abstract_machine dbr:Declarative_programming dbr:Almost_surely dbr:Fortran dbr:Pascal_(programming_language) dbr:DNA_computing dbr:ENIAC dbr:Formal_language dbr:Microsoft_Excel dbr:Microsoft_PowerPoint dbr:Virtualization dbr:XSLT dbr:Epigram_(programming_language) dbr:Konrad_Zuse dbr:Leopold_Kronecker dbr:Automata_theory dbr:Common_Lisp dbr:Minecraft dbr:Conway's_Game_of_Life dbr:Dwarf_Fortress dbr:Control_flow dbr:Procedural_programming dbr:Cantor's_diagonal_argument dbr:Halting_problem dbr:Analytical_engine dbr:Charles_Babbage dbr:Computer_program dbr:David_Hilbert dbr:Kurt_Gödel dbr:SQL dbr:Finite-state_machine dbr:OpenGL dbr:Recursion dbr:Regular_expression dbr:Z4_(computer) dbr:Chemical_computer dbr:Formal_grammar dbr:Direct3D dbr:General_recursive_function dbr:Algorithmic_information_theory dbr:LOOP_(programming_language) dbr:Church–Turing_thesis dbr:Functional_programming dbr:Lambda_calculus dbr:Model_of_computation dbr:Simply_typed_lambda_calculus dbr:Z3_(computer) dbr:Primitive_recursive_function dbr:Universal_Turing_machine dbr:Goto dbr:Pushdown_automaton dbr:Regular_language dbr:Cellular_automaton dbr:Chomsky_hierarchy dbr:Von_Neumann_architecture dbr:M4_(computer_language) dbr:Context-free_grammar dbr:Post–Turing_machine dbr:Structured_program_theorem dbr:Digital_physics dbr:Template_(C++) dbr:Esoteric_programming_language dbr:Computability_theory dbr:Logic_programming dbr:System_F dbr:Rule_110 dbr:General-purpose_macro_processor dbr:Smn_theorem dbr:Timeout_(computing) dbr:Dependent_type dbr:Turing_tarpit dbr:Hierarchical_and_recursive_queries_in_SQL dbc:Theory_of_computation dbc:Turing_machine dbr:Printf_format_string dbr:Total_functional_programming dbr:Emulation_(computing) dbr:Multi-paradigm_programming_language dbr:Instruction_set dbr:Object-oriented_programming_language dbr:Opus_Magnum_(video_game) dbr:Recursively_enumerable_set dbr:Inner_loop dbr:Loop_(computing) dbr:Haskell_(programming_language) dbr:Charity_(programming_language) dbr:Functional_language dbr:Machine_that_always_halts dbr:Colloquial dbr:AI-completeness dbr:Gödel's_incompleteness_theorem dbr:Habbo_Hotel dbr:PLSQL dbr:Computability_theory_(computation) dbr:Rewrite_system dbr:Turing_oracle dbr:Universal_computer dbr:Mathematical_recreation
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Alan_Turing dbt:Anchor dbt:Citation_needed dbt:Cite_journal dbt:Cite_magazine dbt:Cite_web dbt:Cn dbt:Colend dbt:Cols dbt:Efn dbt:For dbt:Main_article dbt:Notelist dbt:Refbegin dbt:Refend dbt:Reflist dbt:See_also dbt:Short_description dbt:Snd dbt:Use_dmy_dates
dct:subject	dbc:Programming_language_theory dbc:Theory_of_computation dbc:Turing_machine
rdf:type	owl:Thing owl:Thing
rdfs:label	Turing completeness (en) Turingovská úplnost (cs) Turing complet (ca) Πληρότητα Τούρινγκ (el) Turing kompleteco (eo) كمال تورنغ (ar) Turing-Vollständigkeit (de) Turing-complet (fr) Turing completo (es) Turing equivalenza (it) チューリング完全 (ja) 튜링 완전 (ko) Turing completude (pt) Kompletność Turinga (pl) Turingvolledigheid (nl) Полнота по Тьюрингу (ru) Повнота за Тюрінгом (uk) Turingkomplett (sv) 圖靈完備性 (zh)
rdfs:seeAlso	dbr:Church–Turing_thesis
owl:sameAs	freebase:Turing completeness yago-res:Turing completeness wikidata:Turing completeness dbpedia-de:Turing completeness dbpedia-es:Turing completeness dbpedia-it:Turing completeness dbpedia-nl:Turing completeness dbpedia-pl:Turing completeness dbpedia-fr:Turing completeness dbpedia-da:Turing completeness dbpedia-ja:Turing completeness dbpedia-pt:Turing completeness dbpedia-ru:Turing completeness dbpedia-zh:Turing completeness dbpedia-sv:Turing completeness dbpedia-el:Turing completeness dbpedia-ko:Turing completeness dbpedia-ca:Turing completeness dbpedia-ar:Turing completeness dbpedia-bg:Turing completeness dbpedia-cs:Turing completeness dbpedia-eo:Turing completeness dbpedia-fa:Turing completeness dbpedia-fi:Turing completeness dbpedia-ia:Turing completeness dbpedia-nn:Turing completeness dbpedia-no:Turing completeness dbpedia-simple:Turing completeness dbpedia-sr:Turing completeness dbpedia-uk:Turing completeness dbpedia-global:Turing completeness
prov:wasDerivedFrom	wikipedia-en:Turing_completeness?oldid=1311572112&ns=0
foaf:homepage	http://wiki.c2.com http://wiki.c2.com
foaf:isPrimaryTopicOf	wikipedia-en:Turing_completeness
is dbo:wikiPageRedirects of	dbr:List_of_turing_complete_video_games dbr:Turing_equivalence_(theory_of_computation) dbr:Turing_complete dbr:Non-Turing-complete_programming_language dbr:Computational_universality dbr:Computationally_universal dbr:Minimum_capability dbr:Turing-Complete dbr:Turing-complete dbr:Turing-complete_device dbr:Turing-complete_language dbr:Turing-complete_programming_language dbr:Turing-completeness dbr:Turing-powerful dbr:Turing_Complete dbr:Turing_complete_language dbr:Turing_completion
is dbo:wikiPageWikiLink of	dbr:List_of_CIL_instructions dbr:Encryption dbr:Recursion_(computer_science) dbr:The_Cathedral_and_the_Bazaar dbr:List_of_atheists_in_science_and_technology dbr:Hardware_security dbr:Simple-As-Possible_computer dbr:Adaptive_grammar dbr:Church–Turing–Deutsch_principle dbr:Prolog dbr:Rhombille_tiling dbr:Minimum_message_length dbr:Matthew_Cook dbr:Cryptography dbr:Gottfried_Wilhelm_Leibniz dbr:Lisp_(programming_language) dbr:Programming_language dbr:TeX dbr:Turing_machine dbr:Turing_reduction dbr:Befunge dbr:Brainfuck dbr:Malbolge dbr:Wolfram's_2-state_3-symbol_Turing_machine dbr:XSLT dbr:John_Horton_Conway dbr:Konrad_Zuse dbr:Microsoft_Small_Basic dbr:Gisbert_Hasenjaeger dbr:Hans_Hermes dbr:Tiger_Electronics dbr:Hindley–Milner_type_system dbr:Crash_Bandicoot dbr:Manchester_Baby dbr:Potential_applications_of_carbon_nanotubes dbr:Prolog_syntax_and_semantics dbr:Type_system dbr:Decentralized_autonomous_organization dbr:Computer_program dbr:Datalog dbr:Interpreter_(computing) dbr:History_of_computing_hardware dbr:Natural_computing dbr:Mechanical_computer dbr:Timeline_of_scientific_discoveries dbr:Maximus_(BBS) dbr:HP_33s dbr:Inductive_programming dbr:StarkWare_Industries dbr:Register_machine dbr:Church–Turing_thesis dbr:Curry–Howard_correspondence dbr:History_of_computer_science dbr:Lambda_calculus dbr:Model_of_computation dbr:Paul_Graham_(programmer) dbr:Specification_and_Description_Language dbr:Device_independent_file_format dbr:Primitive_recursive_function dbr:Nervos_Network dbr:Universal_Turing_machine dbr:BlooP_and_FlooP dbr:Epsilon_(text_editor) dbr:Quine_(computing) dbr:Random-access_machine dbr:NP-completeness dbr:Cellular_automaton dbr:Programming_paradigm dbr:Cuneiform_(programming_language) dbr:Chinese_room dbr:Post–Turing_machine dbr:Structured_program_theorem dbr:Casio_FX-502P_series dbr:Casio_FX-602P_series dbr:Casio_FX-603P dbr:Complexity dbr:List_of_things_named_after_Alan_Turing dbr:Server_Side_Includes dbr:C_preprocessor dbr:List_of_unsolved_problems_in_mathematics dbr:1941_in_science dbr:One-instruction_set_computer dbr:Elementary_cellular_automaton dbr:Rule_110 dbr:General-purpose_macro_processor dbr:Norman_Margolus dbr:Reversible_cellular_automaton dbr:Ethereum dbr:MOEA_Framework dbr:Phyz dbr:Code_golf dbr:General-purpose_programming_language dbr:Carbon_nanotube_computer dbr:David_Morgan-Mar dbr:Legacy_of_Alan_Turing dbr:A_New_Kind_of_Science dbr:Binary_combinatory_logic dbr:Meson_(software) dbr:Ethereum_Classic dbr:Mobile_membranes dbr:Physical_symbol_system dbr:Turing_tarpit dbr:Read-only_Turing_machine dbr:Turing_equivalence dbr:Turing_machine_equivalents dbr:Counter_machine dbr:Src:Card dbr:Peptide_computing dbr:Cryptoeconomics dbr:Document_Structuring_Conventions dbr:List_of_programming_languages dbr:List_of_turing_complete_video_games dbr:Turing_equivalence_(theory_of_computation) dbr:Thue_(programming_language) dbr:Turing_complete dbr:MUD dbr:Analytical_Engine dbr:Non-Turing-complete_programming_language dbr:Computational_universality dbr:Computationally_universal dbr:Minimum_capability dbr:Turing-Complete dbr:Turing-complete dbr:Turing-complete_device dbr:Turing-complete_language dbr:Turing-complete_programming_language dbr:Turing-completeness dbr:Turing-powerful dbr:Turing_Complete dbr:Turing_complete_language dbr:Turing_completion
is rdfs:seeAlso of	dbr:Chinese_room
is foaf:primaryTopic of	wikipedia-en:Turing_completeness