Universal Turing machine (original) (raw)
في علوم الحاسوب، تعد آلة تورينج العالمية ((بالإنجليزية: Universal Turing machine)، وتختصر إلى UTM) هي آلة تورنغ تحاكي آلة تورنغ فرضية عند الإدخال الفرضي. تقوم الآلة العالمية بتحقيق ذلك بشكل أساسي من خلال قراءة كُل من وصف الجهاز المراد محاكاته بالإضافة إلى الإدخال إلى ذلك الجهاز من الشريط الخاص به. قدم آلان تورينج فكرة مثل هذه الآلة في 1936-1937. يعتبر هذا المبدأ أصل فكرة حاسوب البرنامج المخزن الذي إستخدمه جون فون نيومان في عام 1946 لـ «أداة الحوسبة الإلكترونية» التي تحمل الآن اسم معمارية فون نيومان.
| Property | Value |
|---|---|
| dbo:abstract | Una màquina universal de Turing (o també màquina de Turing universal) és una màquina de Turing que pot simular qualsevol màquina de Turing amb una entrada arbitrària. La màquina universal ho aconsegueix llegint una descripció de la màquina a simular i l'entrada a computar des de la seva pròpia cinta. Va ser el propi Alan Turing qui va introduir aquesta idea, i es considera que és l'origen de la idea d'un computador amb el programa emmagatzemat desenvolupat per John von Newmann en el "Electronic Computing Instrument" i que s'ha consolidat amb el nom d'arquitectura de von Newmann. En termes de complexitat computacional, una màquina universal de Turing amb multicinta és només un factor logarítmic més lenta que la màquina que simula. (ca) في علوم الحاسوب، تعد آلة تورينج العالمية ((بالإنجليزية: Universal Turing machine)، وتختصر إلى UTM) هي آلة تورنغ تحاكي آلة تورنغ فرضية عند الإدخال الفرضي. تقوم الآلة العالمية بتحقيق ذلك بشكل أساسي من خلال قراءة كُل من وصف الجهاز المراد محاكاته بالإضافة إلى الإدخال إلى ذلك الجهاز من الشريط الخاص به. قدم آلان تورينج فكرة مثل هذه الآلة في 1936-1937. يعتبر هذا المبدأ أصل فكرة حاسوب البرنامج المخزن الذي إستخدمه جون فون نيومان في عام 1946 لـ «أداة الحوسبة الإلكترونية» التي تحمل الآن اسم معمارية فون نيومان. (ar) Στην επιστήμη των υπολογιστών, μια καθολική μηχανή Τούρινγκ είναι η μηχανή Τούρινγκ που μπορεί να προσομοιώσει μια αυθαίρετη μηχανή Τούρινγκ σε αυθαίρετη εισαγωγή. Η ιδέα εισήχθη από τον μαθηματικό Άλαν Τούρινγκ. Ο Τούρινγκ επινόησε την ιδέα της καθολικής μηχανής το 1936-1937. Αυτή η αρχή θεωρείται ότι είναι η προέλευση της ιδέας του υπολογιστή αποθηκευμένου προγράμματος, η οποία διατυπώθηκε για πρώτη φορά από τον Τζον φον Νόιμαν το 1946 για το "Όργανο ηλεκτρονικής υπολογιστικής" (δες επίσης αρχιτεκτονική φον Νόιμαν). (el) Eine universelle Turingmaschine (UTM) ist in der Informatik eine Turingmaschine, die eine beliebige Turingmaschine auf beliebiger Eingabe simuliert. Die universelle Maschine erreicht dies im Wesentlichen dadurch, dass sie sowohl die Beschreibung der zu simulierenden Maschine als auch die Eingabe an diese Maschine von ihrem eigenen Band liest. Alan Turing stellte die Idee einer solchen Maschine in den Jahren 1936 bis 1937 vor. Dieses Prinzip gilt als Ursprung der Idee eines speicherprogrammierten Computers, den John von Neumann 1946 für das "Electronic Computing Instrument" verwendete, das heute von Neumanns Namen trägt: die von-Neumann-Architektur. In Bezug auf die Rechenkomplexität muss eine universelle Turingmaschine mit mehreren Bändern nur um einen logarithmischen Faktor langsamer sein als die Maschinen, die sie simuliert. (de) En ciencias de la computación, una máquina universal de Turing (UTM) es una máquina de Turing que puede simular una máquina de Turing arbitraria en la entrada arbitraria. La máquina universal esencialmente logra esto mediante la lectura de tanto la descripción de la máquina a ser simulada como también la entrada misma de su propia cinta. Alan Turing introdujo esta máquina en 1936-1937. Este modelo es considerado por algunos (por ejemplo, ) el origen del computador de programa almacenado — usado por John von Neumann (1946) para el "instrumento de computación electrónica" que ahora lleva el nombre de von Neumann: la arquitectura de von Neumann. Es también conocida como una máquina de computación universal, máquina universal. En términos de complejidad computacional, una máquina universal de Turing de múltiple cinta sólo necesita ser más lenta por un factor logarítmico, comparada con las máquinas que simula. (es) En informatique, plus précisément en informatique théorique, une machine de Turing universelle est une machine de Turing qui peut simuler n'importe quelle machine de Turing sur n'importe quelle entrée. Une machine universelle prend en entrée la description de la machine à simuler et l'entrée de cette dernière. Alan Turing a imaginé une telle machine en 1936. Cette machine est considérée par certains (par exemple, Martin Davis) comme l'origine de l'ordinateur à programme enregistré conçu par John von Neumann (1946) qui porte maintenant son nom : l'architecture de von Neumann. (fr) In computer science, a universal Turing machine (UTM) is a Turing machine that can simulate an arbitrary Turing machine on arbitrary input. The universal machine essentially achieves this by reading both the description of the machine to be simulated as well as the input to that machine from its own tape. Alan Turing introduced the idea of such a machine in 1936–1937. This principle is considered to be the origin of the idea of a stored-program computer used by John von Neumann in 1946 for the "Electronic Computing Instrument" that now bears von Neumann's name: the von Neumann architecture. In terms of computational complexity, a multi-tape universal Turing machine need only be slower by logarithmic factor compared to the machines it simulates. (en) In de wiskunde en de theoretische informatica, is een universele Turing-machine (UTM) (ook bekend als de universele rekenmachine, universele machine (UM), U-machine, U en ATM) een Turing-machine die elke willekeurige Turing-machine op elke willekeurige input kan simuleren. De universele Turing-machine slaagt hier in essentie in door zowel de beschrijving van de te simuleren machine als de input daarvan van haar eigen tape te lezen. Een universele Turing-machine is een Turing-machine die als input neemt, en deze input accepteert wanneer: * een correcte is van een Turing-machine, * een woord is in het alfabet van de door gecodeerde Turing-machine, en * voor het woord stopt in de accepterende toestand Pas wanneer aan al deze voorwaarden voldoet stopt de universele Turingmachine in de accepterende toestand. Een formele notatie is: . Een belangrijke observatie is dat de universele Turingmachine een herkenner is van , en dus geen beslisser. Dit is het geval omdat het mogelijk is dat M oneindig doorrekent bij input en dus nooit de afwijzende toestand bereikt. De universele Turing-machine zou dan ook nooit de afwijzende toestand berkeiken. We hebben hier te maken met het stopprobleem. Het idee van een universele Turing-machine werd in 1936 geïntroduceerd door Alan Turing. Dit model wordt door sommigen (bijvoorbeeld Martin Davis (2000)) beschouwd als de oorsprong van de stored program-computer - door John von Neumann (1946) gebruikt voor zijn "Electronic Computing Instrument" dat nu zijn naam draagt: de von Neumann-architectuur. (nl) In teoria della computazione, si dice macchina di Turing universale (talvolta abbreviato in MTU) una macchina di Turing capace di simulare le evoluzioni di ogni macchina di Turing. Tale macchina è stata proposta da Turing nel suo fondamentale lavoro del 1936 e gli ha consentito di dare una risposta negativa al problema della decidibilità, il cosiddetto "Entscheidungsproblem", posto da David Hilbert nel 1928. Di questa macchina, come delle macchine di Turing in grado di effettuare elaborazioni particolari, si possono individuare versioni diverse caratterizzate dalla disponibilità di risorse diverse. I moderni interpreti svolgono il ruolo teorizzato dal teorema dell'esistenza della macchina di Turing universale. (it) Em ciência da computação, uma máquina de Turing universal (MTU) é uma máquina de Turing que consegue simular outra máquina de Turing arbitrária com uma entrada arbitrária. Essencialmente, essa máquina universal realiza a simulação lendo tanto a descrição da máquina a ser simulada quanto sua respectiva entrada representada pelo conteúdo de sua fita. Alan Turing apresentou essa máquina em 1936–1937. Este modelo é considerado por alguns (por exemplo, Martin Davis (2000)), como a origem do computador com programa armazenado —usado por John von Neumann (1946), que atualmente leva seu nome: a Arquitetura de von Neumann. Esta máquina também é conhecida como máquina de computação universal, máquina universal, máquina U ou simplesmente U.Em termos de complexidade computacional, uma máquina de Turing universal multi-fita é mais lenta apenas por um fator logarítmico comparada às máquinas que ela simula. (pt) Універсальна машина Тюрінга(УМТ) це така машина Тюрінга(МТ) яка може замінити собою будь-яку машину Тюрінга. Отримавши на вхід програму машини Тюрінга і вхідні дані, вона вирахує результат, який вирахувала б МТ програма якої була подана на вхід. Концепція даної машини була запропонована Аланом Тюрінгом у 1936. У 1937 році Алан Тюрінг довів, що за допомогою УМТ можна розв'язувати практично необмежену кількість задач. УМТ на відміну від МТ на стрічці зберігає не лише дані для опрацювання але зберігає і алгоритми обробки даних (програми для МТ). УМТ має свою таблицю переходів згідно котрої вона може зчитувати зі стрічки алгоритм для МТ і виконувати його згідно своїх внутрішніх правил. (uk) Универсальной машиной Тью́ринга называют машину Тьюринга, которая может заменить собой любую машину Тьюринга. Получив на вход программу и входные данные, она вычисляет ответ, который вычислила бы по входным данным машина Тьюринга, чья программа была дана на вход. (ru) 通用图灵机（Universal Turing Machine，又称UTM或Machine U）是一种图灵机，由艾伦·图灵在1936年发明。这种多用途單機器（計算機器）模型可以「運行」任何任意（但well-formed）指令序列（稱為 "quintuples"）。這模型被一些人例如Davis (2000) 認為是「存儲程序電腦」的原點。存儲程序電腦一詞由约翰·冯·诺伊曼使用在他的《電子計算裝置》（"Electronic Computing Instrument"）。這種電腦現在使用冯·诺伊曼的名字稱為冯·诺伊曼结构。 這機器作為計算模型現在稱為「通用圖靈機」。 (zh) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Universal_Turing_machine.svg?width=300 |
| dbo:wikiPageExternalLink | http://www.cs.princeton.edu/theory/complexity/ https://www.pure.ed.ac.uk/ws/files/23785532/turing_final_1.pdf http://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf http://mural.maynoothuniversity.ie/12416/1/Woods_FourSmall_2009.pdf http://alvyray.com/CreativeCommons/BizCardUniversalTuringMachine_v2.3.pdf https://archive.org/details/computerstructur00bell/page/92 https://archive.org/details/mathematicstoday00stee http://web.mit.edu/manoli/turing/www/turing.html |
| dbo:wikiPageID | 71435 (xsd:integer) |
| dbo:wikiPageLength | 26915 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1120439657 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Algorithm dbr:John_von_Neumann dbr:Richard_E._Stearns dbr:Μ-recursive_function dbr:EDVAC dbr:Computable_function dbr:Computers dbr:Rewriting dbr:Turing_machine_equivalents dbr:Church–Turing_thesis dbr:Claude_Shannon dbc:Turing_machine dbr:Rule_110 dbr:Logarithm dbr:Computational_complexity_theory dbr:Computer_science dbr:Overhead_(computing) dbr:Partial_function dbr:Tag_system dbr:Turing_complete dbr:Matita dbr:Microcode dbr:Recursively_enumerable_language dbr:Alan_Turing dbr:Alphabet_(formal_languages) dbr:Alternating_Turing_machine dbr:Halting_problem dbr:Hao_Wang_(academic) dbr:Counter_machine dbr:The_Emperor's_New_Mind dbr:Big_O_notation dbr:Recursive_language dbr:Register_machine dbr:Donald_Knuth dbr:Automatic_Computing_Engine dbr:Martin_Davis_(mathematician) dbr:Marvin_Minsky dbr:Post–Turing_machine dbr:Institute_for_Advanced_Study dbr:Kleene's_T_predicate dbr:Turing_machine dbr:Undecidable_problem dbr:Von_Neumann_architecture dbr:Von_Neumann_universal_constructor dbr:Utm_theorem dbr:Stored-program_computer dbr:Multitape_Turing_machine dbr:UTM_theorem dbr:Rice's_theorem dbr:Turing_machine_examples dbr:Wolfram's_2-state_3-symbol_Turing_machine dbr:Turing_completeness dbr:RISC dbr:Finite_automaton dbr:Gödel_number dbr:File:Universal_Turing_machine.svg dbr:Laconic_(programming_language) dbr:Yurii_Rogozhin |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Block_indent dbt:CNone dbt:Citation dbt:Cite_book dbt:Cite_journal dbt:Cite_web dbt:Quote dbt:Redirect dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Nbh dbt:Turing |
| dcterms:subject | dbc:Turing_machine |
| gold:hypernym | dbr:Machine |
| rdf:type | owl:Thing dbo:Software |
| rdfs:comment | في علوم الحاسوب، تعد آلة تورينج العالمية ((بالإنجليزية: Universal Turing machine)، وتختصر إلى UTM) هي آلة تورنغ تحاكي آلة تورنغ فرضية عند الإدخال الفرضي. تقوم الآلة العالمية بتحقيق ذلك بشكل أساسي من خلال قراءة كُل من وصف الجهاز المراد محاكاته بالإضافة إلى الإدخال إلى ذلك الجهاز من الشريط الخاص به. قدم آلان تورينج فكرة مثل هذه الآلة في 1936-1937. يعتبر هذا المبدأ أصل فكرة حاسوب البرنامج المخزن الذي إستخدمه جون فون نيومان في عام 1946 لـ «أداة الحوسبة الإلكترونية» التي تحمل الآن اسم معمارية فون نيومان. (ar) Στην επιστήμη των υπολογιστών, μια καθολική μηχανή Τούρινγκ είναι η μηχανή Τούρινγκ που μπορεί να προσομοιώσει μια αυθαίρετη μηχανή Τούρινγκ σε αυθαίρετη εισαγωγή. Η ιδέα εισήχθη από τον μαθηματικό Άλαν Τούρινγκ. Ο Τούρινγκ επινόησε την ιδέα της καθολικής μηχανής το 1936-1937. Αυτή η αρχή θεωρείται ότι είναι η προέλευση της ιδέας του υπολογιστή αποθηκευμένου προγράμματος, η οποία διατυπώθηκε για πρώτη φορά από τον Τζον φον Νόιμαν το 1946 για το "Όργανο ηλεκτρονικής υπολογιστικής" (δες επίσης αρχιτεκτονική φον Νόιμαν). (el) En informatique, plus précisément en informatique théorique, une machine de Turing universelle est une machine de Turing qui peut simuler n'importe quelle machine de Turing sur n'importe quelle entrée. Une machine universelle prend en entrée la description de la machine à simuler et l'entrée de cette dernière. Alan Turing a imaginé une telle machine en 1936. Cette machine est considérée par certains (par exemple, Martin Davis) comme l'origine de l'ordinateur à programme enregistré conçu par John von Neumann (1946) qui porte maintenant son nom : l'architecture de von Neumann. (fr) Универсальной машиной Тью́ринга называют машину Тьюринга, которая может заменить собой любую машину Тьюринга. Получив на вход программу и входные данные, она вычисляет ответ, который вычислила бы по входным данным машина Тьюринга, чья программа была дана на вход. (ru) 通用图灵机（Universal Turing Machine，又称UTM或Machine U）是一种图灵机，由艾伦·图灵在1936年发明。这种多用途單機器（計算機器）模型可以「運行」任何任意（但well-formed）指令序列（稱為 "quintuples"）。這模型被一些人例如Davis (2000) 認為是「存儲程序電腦」的原點。存儲程序電腦一詞由约翰·冯·诺伊曼使用在他的《電子計算裝置》（"Electronic Computing Instrument"）。這種電腦現在使用冯·诺伊曼的名字稱為冯·诺伊曼结构。 這機器作為計算模型現在稱為「通用圖靈機」。 (zh) Una màquina universal de Turing (o també màquina de Turing universal) és una màquina de Turing que pot simular qualsevol màquina de Turing amb una entrada arbitrària. La màquina universal ho aconsegueix llegint una descripció de la màquina a simular i l'entrada a computar des de la seva pròpia cinta. Va ser el propi Alan Turing qui va introduir aquesta idea, i es considera que és l'origen de la idea d'un computador amb el programa emmagatzemat desenvolupat per John von Newmann en el "Electronic Computing Instrument" i que s'ha consolidat amb el nom d'arquitectura de von Newmann. (ca) Eine universelle Turingmaschine (UTM) ist in der Informatik eine Turingmaschine, die eine beliebige Turingmaschine auf beliebiger Eingabe simuliert. Die universelle Maschine erreicht dies im Wesentlichen dadurch, dass sie sowohl die Beschreibung der zu simulierenden Maschine als auch die Eingabe an diese Maschine von ihrem eigenen Band liest. Alan Turing stellte die Idee einer solchen Maschine in den Jahren 1936 bis 1937 vor. Dieses Prinzip gilt als Ursprung der Idee eines speicherprogrammierten Computers, den John von Neumann 1946 für das "Electronic Computing Instrument" verwendete, das heute von Neumanns Namen trägt: die von-Neumann-Architektur. (de) En ciencias de la computación, una máquina universal de Turing (UTM) es una máquina de Turing que puede simular una máquina de Turing arbitraria en la entrada arbitraria. La máquina universal esencialmente logra esto mediante la lectura de tanto la descripción de la máquina a ser simulada como también la entrada misma de su propia cinta. Alan Turing introdujo esta máquina en 1936-1937. Este modelo es considerado por algunos (por ejemplo, ) el origen del computador de programa almacenado — usado por John von Neumann (1946) para el "instrumento de computación electrónica" que ahora lleva el nombre de von Neumann: la arquitectura de von Neumann. Es también conocida como una máquina de computación universal, máquina universal. (es) In computer science, a universal Turing machine (UTM) is a Turing machine that can simulate an arbitrary Turing machine on arbitrary input. The universal machine essentially achieves this by reading both the description of the machine to be simulated as well as the input to that machine from its own tape. Alan Turing introduced the idea of such a machine in 1936–1937. This principle is considered to be the origin of the idea of a stored-program computer used by John von Neumann in 1946 for the "Electronic Computing Instrument" that now bears von Neumann's name: the von Neumann architecture. (en) In teoria della computazione, si dice macchina di Turing universale (talvolta abbreviato in MTU) una macchina di Turing capace di simulare le evoluzioni di ogni macchina di Turing. Tale macchina è stata proposta da Turing nel suo fondamentale lavoro del 1936 e gli ha consentito di dare una risposta negativa al problema della decidibilità, il cosiddetto "Entscheidungsproblem", posto da David Hilbert nel 1928. (it) In de wiskunde en de theoretische informatica, is een universele Turing-machine (UTM) (ook bekend als de universele rekenmachine, universele machine (UM), U-machine, U en ATM) een Turing-machine die elke willekeurige Turing-machine op elke willekeurige input kan simuleren. De universele Turing-machine slaagt hier in essentie in door zowel de beschrijving van de te simuleren machine als de input daarvan van haar eigen tape te lezen. Een universele Turing-machine is een Turing-machine die als input neemt, en deze input accepteert wanneer: (nl) Em ciência da computação, uma máquina de Turing universal (MTU) é uma máquina de Turing que consegue simular outra máquina de Turing arbitrária com uma entrada arbitrária. Essencialmente, essa máquina universal realiza a simulação lendo tanto a descrição da máquina a ser simulada quanto sua respectiva entrada representada pelo conteúdo de sua fita. Alan Turing apresentou essa máquina em 1936–1937. Este modelo é considerado por alguns (por exemplo, Martin Davis (2000)), como a origem do computador com programa armazenado —usado por John von Neumann (1946), que atualmente leva seu nome: a Arquitetura de von Neumann. Esta máquina também é conhecida como máquina de computação universal, máquina universal, máquina U ou simplesmente U.Em termos de complexidade computacional, uma máquina de Turin (pt) Універсальна машина Тюрінга(УМТ) це така машина Тюрінга(МТ) яка може замінити собою будь-яку машину Тюрінга. Отримавши на вхід програму машини Тюрінга і вхідні дані, вона вирахує результат, який вирахувала б МТ програма якої була подана на вхід. Концепція даної машини була запропонована Аланом Тюрінгом у 1936. У 1937 році Алан Тюрінг довів, що за допомогою УМТ можна розв'язувати практично необмежену кількість задач. (uk) |
| rdfs:label | آلة تورينج العالمية (ar) Màquina universal de Turing (ca) Universelle Turingmaschine (de) Καθολική Μηχανή Τούρινγκ (el) Máquina de Turing universal (es) Machine de Turing universelle (fr) Macchina di Turing universale (it) Universele Turing-machine (nl) Máquina de Turing universal (pt) Универсальная машина Тьюринга (ru) Universal Turing machine (en) Універсальна машина Тюрінга (uk) 通用圖靈機 (zh) |
| owl:sameAs | freebase:Universal Turing machine http://d-nb.info/gnd/4203523-5 wikidata:Universal Turing machine dbpedia-ar:Universal Turing machine dbpedia-bg:Universal Turing machine dbpedia-ca:Universal Turing machine dbpedia-de:Universal Turing machine dbpedia-el:Universal Turing machine dbpedia-es:Universal Turing machine dbpedia-fa:Universal Turing machine dbpedia-fr:Universal Turing machine dbpedia-hr:Universal Turing machine dbpedia-it:Universal Turing machine dbpedia-nl:Universal Turing machine dbpedia-pt:Universal Turing machine dbpedia-ru:Universal Turing machine dbpedia-sr:Universal Turing machine dbpedia-uk:Universal Turing machine dbpedia-zh:Universal Turing machine https://global.dbpedia.org/id/2XPxk |
| prov:wasDerivedFrom | wikipedia-en:Universal_Turing_machine?oldid=1120439657&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Universal_Turing_machine.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Universal_Turing_machine |
| is dbo:wikiPageDisambiguates of | dbr:UTM dbr:U_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Universal_Turing_Machine dbr:Universal_Machine dbr:Universal_computing dbr:Universal_machine dbr:Universal_turing_machines dbr:Universal_turing_machine dbr:Machine_U dbr:Discrete-symbol_computer dbr:U-machine |
| is dbo:wikiPageWikiLink of | dbr:Epiphenomenalism dbr:Bell_Labs dbr:David_Deutsch dbr:Algorithmic_information_theory dbr:Algorithmic_probability dbr:History_of_computing_hardware dbr:Universal_Turing_Machine dbr:Universality_probability dbr:Description_number dbr:Dovetailing_(computer_science) dbr:Numbering_(computability_theory) dbr:Timeline_of_quantum_computing_and_communication dbr:Colossus_computer dbr:Computability_theory dbr:Computer dbr:Timeline_of_mathematical_logic dbr:Church–Turing_thesis dbr:Claude_Shannon dbr:Codebreaker_(film) dbr:General_recursive_function dbr:Gisbert_Hasenjaeger dbr:Golly_(program) dbr:Gottfried_Wilhelm_Leibniz dbr:Computing_Machinery_and_Intelligence dbr:Conway's_Game_of_Life dbr:Lenore_Blum dbr:Computable_number dbr:Computer_program dbr:Hardware_security dbr:Horn_clause dbr:Overhead_(computing) dbr:Tag_system dbr:Many-one_reduction dbr:Turing's_proof dbr:Distributed_computing dbr:Langton's_ant dbr:List_of_British_innovations_and_discoveries dbr:Alan_Turing dbr:Algorithm_characterizations dbr:Algorithmically_random_sequence dbr:Cellular_neural_network dbr:Glider_(Conway's_Life) dbr:History_of_computer_science dbr:History_of_computing dbr:Kolmogorov_complexity dbr:List_of_English_inventions_and_discoveries dbr:The_Fabric_of_Reality dbr:HP-41C dbr:HP-42S dbr:Halting_problem dbr:Hava_Siegelmann dbr:Hilary_Putnam dbr:Counter_machine dbr:Hypercomputation dbr:AIXI dbr:A_New_Kind_of_Science dbr:Chinese_room dbr:Lambda_calculus dbr:Economic_calculation_problem dbr:Programmable_matter dbr:Ray_Solomonoff dbr:Read-only_Turing_machine dbr:Register_machine dbr:Donald_Davies dbr:Automatic_Computing_Engine dbr:Marvin_Minsky dbr:Operating_system dbr:Random-access_machine dbr:Random-access_stored-program_machine dbr:Raphael_M._Robinson dbr:Turing_machine dbr:Virtual_machine dbr:Simulation dbr:UTM dbr:U_(disambiguation) dbr:Universal_machine_(disambiguation) dbr:Von_Neumann_architecture dbr:INTERCAL dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:List_of_things_named_after_Alan_Turing dbr:Occam's_razor dbr:Stored-program_computer dbr:Pointer_machine dbr:NP-completeness dbr:System_virtual_machine dbr:Simulated_reality dbr:Multiple_realizability dbr:Multitape_Turing_machine dbr:Super-recursive_algorithm dbr:Time_hierarchy_theorem dbr:Turing_reduction dbr:UTM_theorem dbr:Random_sequence dbr:Wolfram's_2-state_3-symbol_Turing_machine dbr:Turing_completeness dbr:Universal_Machine dbr:Universal_computing dbr:Universal_machine dbr:Universal_turing_machines dbr:Universal_turing_machine dbr:Machine_U dbr:Discrete-symbol_computer dbr:U-machine |
| is rdfs:seeAlso of | dbr:Stored-program_computer dbr:Wolfram's_2-state_3-symbol_Turing_machine |
| is foaf:primaryTopic of | wikipedia-en:Universal_Turing_machine |
