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
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 26915 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
gold:hypernym
| |
rdf:type
| |
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
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is rdfs:seeAlso
of | |
is foaf:primaryTopic
of | |