Information | |
---|---|
has gloss | (noun) a hypothetical computer with an infinitely long memory tape Turing machine |
has gloss | eng: A Turing machine is a theoretical device that manipulates symbols contained on a strip of tape. Despite its simplicity, a Turing machine can be adapted to simulate the logic of any computer algorithm, and is particularly useful in explaining the functions of a CPU inside of a computer. The "Turing" machine was described by Alan Turing in 1937, who called it an "a(utomatic)-machine". Turing machines are not intended as a practical computing technology, but rather as a thought experiment representing a computing machine. They help computer scientists understand the limits of mechanical computation. |
has gloss | eng: Turing machine is a term from computer science. A Turing machine is a system of rules, states and transitions rather than a real machine. It was first described by Alan Turing. There are two purposes of a Turing machine. Either it can be used to decide a formal language or it solves mathematical functions. Turing machines are one of the most important formal models in the study of computer science. |
lexicalization | eng: Turing Machines |
lexicalization | eng: Turing machine |
subclass of | (noun) a machine for performing calculations automatically computing device, data processor, information processing system, computing machine, computer, electronic computer |
Meaning | |
---|---|
Arabic | |
has gloss | ara: آلة تورنج هي عبارة عن نموذج نظري بسيط يحاكي طريقة عمل الحاسوب. سميت بهذا الاسم نسبة لعالم الرياضيات الإنجليزي الآن تورنج الذي أوجد هذا النموذج سنة 1936م. هذا النموذج يعطي تعريف رياضي دقيق للمصطلح خوارزم, حيث أنه قادر على تنفيذ أي خوارزم. |
lexicalization | ara: آلة تورنج |
Belarusian | |
has gloss | bel: Машына Т'юрынга - мадэль матэматычнай машыны, створаная для вызначэння паняцця алгарытму. |
lexicalization | bel: машына Т'юрынга |
Bosnian | |
has gloss | bos: Turingova mašina je matematički model izumljen od strane britanskog matematičara Alan Turinga, za stvaranje klase od predvidljivih funkcija. Ona je predstavljena od strane David Hilberta 1920, specijalno za rješavanje problema u odlučivanju, u djelu On Computable Numbers, with an Application to the Entscheidungsproblem. Alan Turing je namjeravao stvoriti jedan model matematički radećeg čovjeka. |
lexicalization | bos: Turingova mašina |
Bulgarian | |
has gloss | bul: Машина на Тюринг е абстрактно изчислително устройство, описано от английския математик Алън Тюринг през 1936 г. |
lexicalization | bul: машина на Тюринг |
Catalan | |
has gloss | cat: La màquina de Turing és un model computacional introduït per Alan Turing en el treball "On computable numbers, with an application to the Entscheidungsproblem", publicat per la Societat Matemàtica de Londres, en el qual sestudiava la qüestió plantejada per David Hilbert sobre si les matemàtiques són decidibles, és a dir, si hi ha un mètode definit que pugui aplicar-se a qualsevol sentència matemàtica i que ens digui si és certa o no. Turing va construir un model formal de computador, la màquina de Turing, i va demostrar que existien problemes que una màquina no podia resoldre. La màquina de Turing és un model matemàtic abstracte que formalitza el concepte dalgorisme. |
lexicalization | cat: màquina de Turing |
lexicalization | cat: Màquines de Turing |
Czech | |
has gloss | ces: Turingův stroj (TS) je teoretický model počítače popsaný matematikem Alanem Turingem. Skládá se z procesorové jednotky, tvořené konečným automatem, programu ve tvaru pravidel přechodové funkce a pravostranně nekonečné pásky pro zápis mezivýsledků. Využívá se pro modelování algoritmů v teorii vyčíslitelnosti. |
lexicalization | ces: Turingův stroj |
Danish | |
has gloss | dan: En Turingmaskine er en matematisk model for en simpel symbolmanipulerende maskine som trods sin enkle opbygning kan udføre ikke-trivielle beregninger og simulere logikken i enhver computer. Turingmaskiner blev først beskrevet af Alan Turing i 1936. De spiller en central rolle inden for datalogien i teorierne vedrørende beregnelighed og beregningers kompleksitet og generelt i matematisk logik. |
lexicalization | dan: Turingmaskine |
German | |
has gloss | deu: Die Turingmaschine ist ein von dem britischen Mathematiker Alan Turing 1936 entwickeltes Modell, um eine Klasse von berechenbaren Funktionen zu bilden. Sie gehört zu den grundlegenden Konzepten der Informatik. |
lexicalization | deu: Turing-Maschine |
lexicalization | deu: Turingmaschine |
Modern Greek (1453-) | |
has gloss | ell: Η μηχανή Τούρινγκ (Turing machine) είναι μια βασική αφηρημένη μηχανή που μεταχειρίζεται σύμβολα, η οποία, παρ' όλη την απλότητά της, μπορεί να προσαρμοστεί έτσι ώστε να προσομοιώσει τη λογική οποιουδήποτε υπολογιστή που μπορεί να κατασκευασθεί ποτέ. Οι μηχανές Τούρινγκ περιγράφηκαν το 1936 από τον Άλαν Τούρινγκ. Ενώ σχεδιάστηκαν για να είναι τεχνικά εφικτές, οι μηχανές Τούρινγκ δεν προορίζονταν να είναι πρακτική υπολογιστική τεχνολογία, αλλά ένα νοητό πείραμα για τα όρια των μηχανικών υπολογισμών. Έτσι, δεν κατασκευάστηκαν στην πραγματικότητα. Η μελέτη των αφηρημένων τους ιδιοτήτων φανερώνει πολλές αρχές της επιστήμης υπολογιστών και της θεωρίας πολυπλοκότητας. |
lexicalization | ell: μηχανή Τούρινγκ |
Esperanto | |
has gloss | epo: Maŝinoj de Turing estas ekstreme simplaj simbol-manipulantaj aparatoj, kiuj — malgraŭ sia simpleco — povas esti adaptitaj por simuli la logikon de ajna komputilo, kiu eble povus esti foje konstruata (kvankam eble tre malefike). Ili estis priskribitaj en 1936 fare de Alan Turing. Maŝino de Turing, kiu kapablas simulacii ajnan alian maŝinon de Turing, estas nomata universala maŝino de Turing (aŭ simple universala maŝino). |
lexicalization | epo: maŝino de Turing |
Estonian | |
has gloss | est: Turingi masin on Alan Turingi 1937. aastal kirjeldatud lihtne abstraktne arvuti, mida kasutatakse arvutatavuse ja selle piiride uurimiseks. |
lexicalization | est: Turingi masin |
Persian | |
has gloss | fas: در تئوری محاسبات ماشین تورینگ (Turing machine) به یک ماشین حالات متناهی اطلاق میشود که درآن با وقوع هر عبور یک نماد برروی نوار چاپ میشود. با وجود اینکه مکانیزم ماشین تورینگ مقدماتی است مفهومش برای پوشش عملکردهای بسیار پیچیده کافی و گستردهاست. حافظه این ماشین ساختاری بسیار ساده دارد. یعنی میتواند بصورت یک آرایه یک بعدی از عناصر (سلولها) که هر یک میتوانند حافظ تنها یک نماد باشند، باشد. این آرایه از هر دو طرف باز و نامحدود است (حافظه بینهایت) است و اطلاعات آن میتوانند به هر ترتیبی فراخوانی شوند. |
lexicalization | fas: ماشین تورینگ |
Finnish | |
has gloss | fin: Turingin kone on teoreettinen malli sille miten tietokone toimii. Mallin kehitti matemaatikko Alan Turing vuonna 1936 määritelläkseen tarkasti käsitteen algoritmi. Turingin kone muistuttaa varhaista mekaanista tietokonetta, vaikkakaan yhtään ohjelmoitavaa tietokonetta ei vielä ollut sen keksimishetkellä rakennettu. Turingin kone on tarkoitettu algoritmisen ratkaisun mahdollisuuksien rajojen tarkkailuun. |
lexicalization | fin: Turingin kone |
French | |
has gloss | fra: Une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur et sa mémoire, créé par Alan Turing en vue de donner une définition précise au concept d'algorithme ou « procédure mécanique ». Ce modèle est toujours largement utilisé en informatique théorique, en particulier pour résoudre les problèmes de complexité algorithmique et de calculabilité, on lui adjoint pour cela un oracle. |
lexicalization | fra: Machine De Turing |
Friulian | |
has gloss | fur: La machine di Turing e je un model astrat di machine calcolatrice, inventât tal 1936 di Alan Turing par dâ une definizion precise di algoritmi, o procedure mecaniche. Come model e je usade ancjemò un grum inte informatiche teoriche, specialmentri inte teorie de complessitât e inte teorie de calcolabilitât. La tesi che e dîs che une machine di Turing e je efetivamentri un model precîs di procedure mecaniche in matematiche e logjiche e je clamade tesi di Church-Turing. |
lexicalization | fur: machine di Turing |
Alemannic | |
has gloss | gsw: D Turingmaschine isch e Modäll, wo dr britisch Mathematiker Alan Turing 1936 entwigglet het, für zum e Klass vo berächebare Funktione zu bilde. S ghört zu de grundlegende Konzept vo dr Informatik. |
lexicalization | gsw: Turing-Maschine |
lexicalization | gsw: Turingmaschine |
Serbo-Croatian | |
has gloss | hbs: Turingovi strojevi su iznimno jednostavni apstraktni uređaji za manipulaciju znakovima (simbolima) koji - unatoč jednostavnosti dizajna - mogu biti prilagođeni da simuliraju logiku bilo kojeg računalnog algoritma (uz sadašnje poimanje algoritma). Opisao ih je 1936. Alan Turing. Turingovi strojevi ne koriste se u praktične svrhe, već u misaonim eksperimentima, gdje najvažniju primjenu nalaze u istraživanju granica mogućnosti izračunavanja računalnim algoritmima. Proučavanje njihovih svojstava pruža dalekosežne uvide u pitanja računarske znanosti i teorije složenosti. |
lexicalization | hbs: Turingov stroj |
Hebrew | |
has gloss | heb: מכונת טיורינג (באנגלית: Turing machine) היא מודל מופשט לאופן פעולתו של מחשב. רעיון זה נוצר בשנת 1936 על ידי אלן טיורינג, כדי ליצור הגדרה מתמטית מדויקת של אלגוריתם, או "תהליך מכני". עוצמתו של הרעיון נעוצה בפשטות הקיצונית של המודל (בהשוואה למורכבותם של מחשבים אמיתיים). תזת צרץ-טיורינג קובעת שמכונת טיורינג, חרף פשטותה, מסוגלת לבצע כל חישוב או אלגוריתם שהוא בר-ביצוע במחשב כלשהו. מבחינה זו, מכונת טיורינג שקולה לכל מחשב, ולכן משמשת עד היום במדעי המחשב, בעיקר בתורת הסיבוכיות ובתורת החישוביות, כבסיס לחקר יכולותיו ומגבלותיו של המחשב (מחשב כלשהו, תוך התעלמות מתכונותיו של מחשב מסוים זה או אחר). |
lexicalization | heb: מכונת טיורינג |
Croatian | |
has gloss | hrv: Turingovi strojevi su iznimno jednostavni apstraktni uređaji za manipulaciju znakovima (simbolima) koji - unatoč jednostavnosti dizajna - mogu biti prilagođeni da simuliraju logiku bilo kojeg računalnog algoritma (uz sadašnje poimanje algoritma). Opisao ih je 1936. Alan Turing. Turingovi strojevi ne koriste se u praktične svrhe, već u misaonim eksperimentima, gdje najvažniju primjenu nalaze u istraživanju granica mogućnosti izračunavanja računalnim algoritmima. Proučavanje njihovih svojstava pruža dalekosežne uvide u pitanja računarske znanosti i teorije složenosti. |
lexicalization | hrv: Turingov stroj |
Hungarian | |
has gloss | hun: A Turing-gép fogalmát Alan Turing angol matematikus dolgozta ki 1936-ban megjelent cikkében a matematikai számítási eljárások, algoritmusok precíz leírására, tágabb értelemben pedig mindenfajta „gépies” problémamegoldó folyamat, például az akkoriban még nem létező számítógépek működésének modellezésére. Erre az időszakra, a II. világháború környékére tehető az ilyesfajta, a számítási eljárásokat azok különféle modelljein keresztül vizsgáló kutatások fellendülése, melyek végül a valódi számítógépek építésébe torkollottak (Turing maga is részt vett egy valódi gép, a Colossus megépítésében). |
lexicalization | hun: Turing-gép |
lexicalization | hun: Turinggép |
Indonesian | |
has gloss | ind: Mesin Turing adalah model komputasi teoritis yang ditemukan oleh Alan Turing, berfungsi sebagai model ideal untuk melakukan perhitungan matematis. Walaupun model ideal ini diperkenalkan sebelum komputer nyata dibangun, model ini tetap diterima kalangan ilmu komputer sebagai model komputer yang sesuai untuk menentukan apakah suatu fungsi dapat selesaikan oleh komputer atau tidak (menentukan computable function). Mesin Turing terkenal dengan ungkapan " Apapun yang bisa dilakukan oleh Mesin Turing pasti bisa dilakukan oleh komputer." |
lexicalization | ind: Mesin Turing |
Italian | |
has gloss | ita: Una macchina di Turing (termine spesso abbreviato con MdT) è una macchina formale, cioè un sistema formale che può descriversi come un meccanismo ideale, ma in linea di principio realizzabile concretamente, che può trovarsi in stati ben determinati (macchina a stati), opera su stringhe in base a regole ben precise e costituisce un modello di calcolo. Essa ha la particolarità di essere retta da regole di natura molto semplice, ovvero di potersi descrivere come costituita da meccanismi elementari molto semplici; inoltre è possibile presentare a livello sintetico le sue evoluzioni mediante descrizioni meccanicistiche piuttosto intuitive. Daltra parte essa ha la portata computazionale (potere computazionale) che si presume essere la massima: si dimostra infatti che essa è equivalente, ossia in grado di effettuare le stesse elaborazioni di tutti gli altri modelli di calcolo di più ampia portata. |
lexicalization | ita: macchina di Turing |
Japanese | |
has gloss | jpn: チューリングマシン は計算模型のひとつで計算機を数学的に議論するための、単純化・理想化された仮想機械である。 |
lexicalization | jpn: チューリングマシン |
Korean | |
has gloss | kor: 튜링 기계 (Turing machine)란 컴퓨터의 실행과 저장에 관한 추상적인 모델로서 1936년에 앨런 튜링이 알고리즘에 대한 엄밀한 수학적 정의를 위해 도입한 개념이다. 이 개념은 컴퓨터 과학 이론에서 널리 사용되고 있는데, 특히 계산 복잡도 이론과 계산이론에서 아직도 널리 사용되고 있다. 튜링 기계가 논리나 수학에서 사용될 수 있는 체계의 뭉뚱그려진 개념까지도 모두 온전히 묘사할 수 있다는 명제는 처치-튜링 명제로 알려져 있다. |
lexicalization | kor: 튜링 기계 |
Latvian | |
has gloss | lav: Tjūringa mašīna ir 1936 g. angļu matemātiķa Alana Tjūringa piedāvāts matemātisks datora modelis. Tas ir visnozīmīgākais no teorētiskajā datorzinātnē izmantotajiem skaitļošanas modeļiem, jo precīzi raksturo to, ko iespējams aprēķināt ar mūsdienās izmantotajiem datoriem. Tjūringa mašīna ir abstrakts modelis - tā nav paredzēta izgatavošanai un praktiskai lietošanai. |
lexicalization | lav: Tjūringa mašīna |
Lithuanian | |
has gloss | lit: Turingo mašina – abstraktus kompiuterio vykdymo modelis, kurį 1936 metais sukūrė Alanas Tiuringas, norėdamas matematiškai apibrėžti algoritmus. |
lexicalization | lit: Tiuringo mašina |
Letzeburgesch | |
has gloss | ltz: D'Turingmaschinn ass een einfacht mathematescht Modell vun engem Rechenautomat, dat 1936 vum briteschem Mathematiker, Kryptoanalytiker a Computerkonstrukteur Alan Turing definéiert ginn ass. Church-Turing Thees beseet, dat all déi am intuitive Sënn berechebar Funktioune mat enger Turingmaschinn léisbar sinn. |
lexicalization | ltz: Turingmaschinn |
Macedonian | |
has gloss | mkd: Тјуринговите машини се апстрактни машини кои покрај нивната едноставност можат да бидат приспособени да ја симулираат логичката улога на секој можен компјутер. Тјуринговите машини се опишани во 1936 од страна на Алан Тјуринг. Иако биле наменети за технички изводлива работа, Тјуринговите машини немале улога во практичната компјутерска технологија, но со истражување за границите на механичкото пресметување; тие всушност никогаш не биле направени (конструирани). |
lexicalization | mkd: Тјурингова машина |
Dutch | |
has gloss | nld: In de informatica is de Turingmachine een model van berekening en berekenbaarheid, ontwikkeld door de wiskundige Alan M. Turing in zijn beroemde artikel "On computable numbers, with an application to the Entscheidungsproblem" uit 1936-37. |
lexicalization | nld: Turing machine |
lexicalization | nld: Turing-machine |
lexicalization | nld: Turingmachine |
Norwegian | |
has gloss | nor: En turingmaskin er en tenkt, formelt beskrevet maskin som utfører ordre etter en helt bestemt oppskrift eller en tabell. Maskinen er en idealisert og formell beskrivelse av en datamaskin, og hvilke beregninger eller oppgaver en datamaskin kan utføre. Maskinen er idealisert i den forstand at den har uendelig stor lagringsplass (hukommelse), og den gjør aldri feil på grunn av sine fysiske mekanismer. Det var Alan Turing som først beskrev en slik maskin i sin avhandling On Computable Numbers i 1936. |
lexicalization | nor: Turing maskin |
lexicalization | nor: Turing-maskin |
lexicalization | nor: turingmaskin |
Polish | |
has gloss | pol: Maszyna Turinga - stworzony przez Alana Turinga abstrakcyjny model komputera służący do wykonywania algorytmów. Każdy algorytm wyrażalny na maszynie Turinga można wyrazić w rachunku lambda i odwrotnie. Ponieważ jednak maszyny Turinga rozszerza się bardzo trudno, zaś rachunek lambda bardzo łatwo, w praktyce są one o wiele mniej popularne jako rzeczywiste modele obliczeń. Są za to używane często do udowadniania nierozstrzygalności różnych problemów. |
lexicalization | pol: maszyna Turinga |
Portuguese | |
has gloss | por: A máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936). Num sentido preciso, é um modelo abstrato de um computador, que se restringe apenas aos aspectos lógicos do seu funcionamento (memória, estados e transições) e não à sua implementação física. Numa máquina de Turing pode-se modelar qualquer computador digital. |
lexicalization | por: Máquina de turing |
Moldavian | |
has gloss | ron: Maşinile Turing sunt nişte mecanisme extrem de elementare de dispozitive de prelucrare a simbolurilor care — în ciuda simplităţii lor — pot fi adaptate pentru a simula logica oricărui calculator ce poate fi construit. Modelele au fost descrise în 1936 de către Alan Turing. Deşi modelele erau proiectate iniţial pentru a fi fezabile din punct de vedere tehnic, maşinile Turing nu au fost gândite pentru a fi tehnologii practice de calcul, ci un experiment mental despre limitele calculului mecanic; astfel, ele nu a fost niciodată construite. Studiul proprietăţilor lor abstracte este util în informatică şi teoria complexităţii. |
lexicalization | ron: Maşina Turing |
lexicalization | ron: Maşină turing |
lexicalization | ron: Mașină Turing |
Russian | |
has gloss | rus: Маши́на Тью́ринга (МТ) — абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма. |
lexicalization | rus: Машина тьюринга |
Slovak | |
has gloss | slk: Turingov stroj (TS) je jeden z najdôležitejších modelov na opis formálnych jazykov. |
lexicalization | slk: Turingov stroj |
Slovenian | |
has gloss | slv: Turingov stroj je algoritemski sistem, miselni stroj (abstrakten model), ki stvarno ne obstaja. Zamislil si ga je angleški matematik Alan Mathison Turing leta 1936, da bi z njim matematično opredelil določitev algoritma, oziroma »mehanskega postopka/programa«. Delo Turingovega stroja le oponaša človeško delo in računa po strogem predpisu. Od računalnika se razlikuje v dveh pogledih: |
lexicalization | slv: Turingov stroj |
Castilian | |
has gloss | spa: La máquina de Turing es un modelo computacional introducido por Alan Turing en el trabajo , publicado por la Sociedad Matemática de Londres en 1936, en el cual se estudiaba la cuestión planteada por David Hilbert sobre si las matemáticas son decidibles, es decir, si hay un método definido que pueda aplicarse a cualquier sentencia matemática y que nos diga si esa sentencia es cierta o no. Turing construyó un modelo formal de computador, la máquina de Turing, y demostró que existían problemas que una máquina no podía resolver. La máquina de Turing es un modelo matemático abstracto que formaliza el concepto de algoritmo. |
lexicalization | spa: Maquina de Turing |
lexicalization | spa: máquina de Turing |
lexicalization | spa: Máquinas de Turing |
Serbian | |
has gloss | srp: Тјурингове машине су изузетно једноставни уређаји за манипулисање симболима, који, упркос својој једноставности, могу да буду прилагођени да симулирају логику било ког рачунара који би могао да се конструише. Тјурингове машине је 1936. године описао Алан Тјуринг. Мада су смишљене да буду технички могуће, Тјурингове машине нису смишљене као практична рачунарска технологија, већ као мисаони експеримент о границама механичког рачунања; стога се у пракси ове машине не конструишу. Проучавање њихових апстрактних својстава доноси значајне увиде у рачунарску науку, и теорију комплексности. |
lexicalization | srp: Тјурингова машина |
Swedish | |
has gloss | swe: En Turingmaskin är en abstrakt mekanism, en teoretisk modell, för att utföra beräkningar, som utvecklades av Alan Turing år 1936. Turingmaskinen konstruerades till den enklast möjliga mekanismen som är kapabel att utföra icke-triviala beräkningar, och spelar en central roll i teorierna för beräkningsbarhet och beräkningskomplexitet, samt allmänt inom den matematiska logiken. |
lexicalization | swe: turingmaskin |
Thai | |
has gloss | tha: เครื่องจักรทัวริง (the Turing machine) คือเครื่องจักรนามธรรมที่แอลัน ทัวริงได้คิดค้นขึ้นใน ค.ศ. 1936 (พ.ศ. 2479) เพื่อการนิยามอัลกอริทึมหรือ กระบวนการเชิงกล อย่างชัดเจนแบบคณิตศาสตร์ เครื่องจักรทัวริงได้ถูกใช้อย่างแพร่หลายในการศึกษาวิทยาการคอมพิวเตอร์เชิงทฤษฎี โดยเฉพาะในทฤษฎีความซับซ้อนในการคำนวณและทฤษฎีการคำนวณ ข้อปัญหา (thesis) ที่ว่าโมเดลของเครื่องจักรทัวริงนั้นครอบคลุมกระบวนการเชิงกลทั้งหมด ในการคำนวณทางตรรกศาสตร์และคณิตศาสตร์ เป็นที่รู้จักกันในชื่อข้อปัญหาของเชิร์ช-ทัวริง |
lexicalization | tha: เครื่องจักรทัวริง |
Turkish | |
has gloss | tur: Turing makinesi, Karmaşık matematiksel hesapların belirli bir düzenek tarafından yapılmasını sağlayan hesap makinesi. Karmaşık hesapların belirli bir düzenek tarafından yapılıp yapılanamayacağı 20.yy’ın başlarında büyük bir tartışma konusu olmuştu. Öteden beri el ile veya zihinden yapılan hesaplamalar çok zaman almakla birlikte, birçok hatayı da beraberinde getiriyordu. Tüm bu tartışmalar sürerken, 1936 yılında, ünlü matematikçi Alan M. Turing "Saptama Problemi Hakkında Bir Uygulamayla Birlikte Hesaplanabilir Sayılar" (İngilizce On computable numbers, with an application to the Entscheidungsproblem) isimli bir makalesini yayınladı. Makalesinde teorik ve matematiksel temellere dayalı sanal bir makineden bahseden Turing, her türlü matematiksel hesabın bu sanal makineyle yapılabileceğini iddia ediyordu. Turing’in 1950 yılında yayınlanan "Hesaplama Mekanizması ve Zeka" (İngilizce Computing Machinery and Intelligence) isimli ikinci makalesi ise, makineler ve zekayla ilgili birçok tartışmalı konuya cevap niteliğindeydi. İşte bu makalelerde sözü geçen sanal makine daha sonraları Turing Makinesi (İngilizce The Turing Machine) olarak isimlendirildi. |
lexicalization | tur: Turing makinesi |
Ukrainian | |
has gloss | ukr: Маши́на Тю́ринга — математичне поняття, введене для формального уточнення інтуітивного поняття алгоритму. Названа на честь англійського математика Алана Тюринга, який запропонував це поняття у 1936. Аналогічну конструкцію машини згодом і незалежно від Тюринга ввів американський математик Еміль Пост. |
lexicalization | ukr: машина Тюринга |
Vietnamese | |
has gloss | vie: Máy Turing là một mô hình về thiết bị xử lý các ký tự, tuy đơn giản, nhưng có thể thực hiện được tất cả các thuật toán máy tính. Các máy Turing đã được Alan Turing trình bày vào năm 1936. Các máy Turing được xây dựng không dành cho việc trực tiếp chế tạo ra máy tính, mà là dành cho các thí nghiệm tưởng tượng để tìm hiểu về các giới hạn của việc tính toán trên máy móc. Việc nghiên cứu các tính chất của máy Turing cho biết nhiều kiến thức quan trọng trong lĩnh vực khoa học máy tính và lý thuyết về độ phức tạp tính toán. |
lexicalization | vie: máy Turing |
Chinese | |
has gloss | zho: 图灵机(英语:Turing Machine,又称确定型图灵机)是英国数学家阿兰·图灵于1936年提出的一种抽象计算模型,其更抽象的意义为一种数学逻辑机,可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。 |
lexicalization | zho: 图灵机 |
lexicalization | zho: 圖靈機 |
lexicalization | zho: 确定型图灵机 |
lexicalization | zho: 確定型圖靈機 |
Links | |
---|---|
similar | c/Turing machine |
similar | e/Turing machine |
Show unreliable ▼ | |
similar | e/Turing machines |
similar | e/simple/Turing machine |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint