Универсална машина на Тюринг: Разлика между версии

от Уикипедия, свободната енциклопедия
Изтрито е съдържание Добавено е съдържание
BotNinja (беседа | приноси)
{{xxx-мъниче}} → {{мъниче|xxx}}
м Bot: Automated text replacement (-език\=bg +език=)
Ред 1: Ред 1:
'''Универсална машина на Тюринг''' в [[Теоретична информатика|теоретичната информатика]] е [[машина на Тюринг]], която може да симулира произволна друга машина на Тюринг при случайни входни данни<ref>{{Цитат уеб| уеб_адрес=http://www.math.bas.bg/smb/2012_PK/tom_2012/pdf/045-050.pdf | заглавие=Алан Тюринг – енигматичният тений на информационната ера |достъп_дата = 7 ноември 2016|фамилно_име= Павлов|първо_име=Радослав |дата=2012 |труд=Математика и математическо образование |издател=Съюз на българските математици |език=bg }}</ref>. Универсалната машина го постига, като прочита както описанието на симулираната машина, така и входните данни от собствената си лента. Понятието е въведено от [[Алън Тюринг]] през 1936 – 1937 и заляга в основата на понятието за [[компютър със запаметена програма]], като имплицитно е заложена възможността машината да може да модифицира програмата<ref name="SEP">{{Цитат уеб| уеб_адрес=http://plato.stanford.edu/entries/computing-history/ | заглавие= The Modern History of Computing|достъп_дата = 31 октомври 2016|труд= [[Станфордска философска енциклопедия]]}}</ref>.
'''Универсална машина на Тюринг''' в [[Теоретична информатика|теоретичната информатика]] е [[машина на Тюринг]], която може да симулира произволна друга машина на Тюринг при случайни входни данни<ref>{{Цитат уеб| уеб_адрес=http://www.math.bas.bg/smb/2012_PK/tom_2012/pdf/045-050.pdf | заглавие=Алан Тюринг – енигматичният тений на информационната ера |достъп_дата = 7 ноември 2016|фамилно_име= Павлов|първо_име=Радослав |дата=2012 |труд=Математика и математическо образование |издател=Съюз на българските математици |език= }}</ref>. Универсалната машина го постига, като прочита както описанието на симулираната машина, така и входните данни от собствената си лента. Понятието е въведено от [[Алън Тюринг]] през 1936 – 1937 и заляга в основата на понятието за [[компютър със запаметена програма]], като имплицитно е заложена възможността машината да може да модифицира програмата<ref name="SEP">{{Цитат уеб| уеб_адрес=http://plato.stanford.edu/entries/computing-history/ | заглавие= The Modern History of Computing|достъп_дата = 31 октомври 2016|труд= [[Станфордска философска енциклопедия]]}}</ref>.


Универсалната машина на Тюринг може да се разглежда като предшественик и идеализиран [[математически модел]] на всеки универсален [[компютър]]. Подобно на нея компютърът започва работа с [[компютърна програма|програма]], написана на някакъв [[език за програмиране]], и необходимите входни [[данни]], преработва ги на [[машинен език]] и след това изпълнява инструкциите.
Универсалната машина на Тюринг може да се разглежда като предшественик и идеализиран [[математически модел]] на всеки универсален [[компютър]]. Подобно на нея компютърът започва работа с [[компютърна програма|програма]], написана на някакъв [[език за програмиране]], и необходимите входни [[данни]], преработва ги на [[машинен език]] и след това изпълнява инструкциите.

Версия от 19:33, 28 април 2021

Универсална машина на Тюринг в теоретичната информатика е машина на Тюринг, която може да симулира произволна друга машина на Тюринг при случайни входни данни[1]. Универсалната машина го постига, като прочита както описанието на симулираната машина, така и входните данни от собствената си лента. Понятието е въведено от Алън Тюринг през 1936 – 1937 и заляга в основата на понятието за компютър със запаметена програма, като имплицитно е заложена възможността машината да може да модифицира програмата[2].

Универсалната машина на Тюринг може да се разглежда като предшественик и идеализиран математически модел на всеки универсален компютър. Подобно на нея компютърът започва работа с програма, написана на някакъв език за програмиране, и необходимите входни данни, преработва ги на машинен език и след това изпълнява инструкциите.

Източници

  1. Павлов, Радослав. Алан Тюринг – енигматичният тений на информационната ера // Математика и математическо образование. Съюз на българските математици, 2012. Посетен на 7 ноември 2016.
  2. The Modern History of Computing // Станфордска философска енциклопедия. Посетен на 31 октомври 2016.