Тексерген: Рысжанова Айжан Сайлаухановна Орындаған: Оралғазин Бекнар Болатқазыұлы

Transcript

1 Тақырыбы: Тьюринг машинасы. Тьюринг тезисі және оның негіздемесі. Марковтың нормальды алгоритмы. Нормальдау принциптері және оның негіздемесі. Марковтың нормальды алгоритмі және Тьюринг машинасының композициясы. Тексерген: Рысжанова Айжан Сайлаухановна Орындаған: Оралғазин Бекнар Болатқазыұлы

2 Жоспар 1.Кіріспе 2.Негізгі Бөлім А) Тьюринг машинасы. Ә) Тьюринг тезисі және оның негіздемесі. Б) Марковтың нормальды алгоритмы. В) Нормальдау принциптері және оның негіздемесі. Г) Марковтың нормальды алгоритмі және Тьюринг машинасының композициясы. 3.Пайдаланған әдебиеттер

3 Кіріспе Тьюринг машинасы туралы, б ә лкім, мен ба ғ дарламашы болуды армандайды, кез келген студент білуі тиіс. Ө йткені, ол алгоритмдер теориясыны ң негізі болып саналады. Б ұ л инженерлік құ рыл ғ ы емес, емес, бір қ осу машинасы сия қ ты ө нертабысы, ж ә не Максвелл жын сия қ ты н ә рсе Ә рине,: реферат ой бастап қ ыда ө нім ө те а қ ылды адам, оны ойлап Алан Тьюринг, 1936 жылы болып саналады. Ө те к ү рделі ресми аны қ тау қ арамастан, негізінен, идея қ арапайым Тьюринг машинасы (TM) - математикалы қ абстракция, орта қ т ү рлерді ң компьютерлер білдіретін. Б ұ л алгоритм ұғ ымын т ү сулері 1936 жылы Алан Тюринг ұ сын ғ ан болатын. А Тьюринг машинасы а қ ыр ғ ы мемлекеттік машина моделін ұ зарту болып табылады, ж ә не Шіркеуі диссертация бойынша - Тьюринг, (егер болса) бір дискретті мемлекеттен жылжыту болып табылатын ә серін кез келген машинаны модельдеуге алады.

4 Тьюринг машиналары құ рылымы жасушаларыны ң б ө лінеді екі ба ғ ытта шексіз белдеуін, ж ә не мемлекеттерді ң а қ ыр ғ ы саны бар ба қ ылау құ рыл ғ ыны қ амтиды. Блок бас қ ару сол ғ а ж ә не о ңғ а таспа ғ а кейбір т ү пкі алфавитіні ң ұ яшы қ та та ң баларды о қ у ғ а ж ә не жазу ғ а жылжыту ғ а болады. К ө зделген арнайы Ол қ ылы қ ты ң т ү ртіндісі деректерді ң жазыл ғ ан сол (со ңғ ы саны) қ оспа ғ анда жасушалар таспалар толтырады. Блок бас қ ару Берілген Тьюринг машинасы ар қ ылы ж ү зеге алгоритм болып табылатын, ауысулар кестені қ амтиды. Кестеде Ә рбір ереже а ғ ымда ғ ы жа ғ дайына байланысты, автомобильді талап етеді ж ә не ұ яшы ққ а жа ң а символы жазбаша та ң балар назарда ғ ы ұ яшы қ ты ң бай қ алады, жа ң а мемлекет ө ту ж ә не сол жа қ немесе о ң жа ққ а бір ұ яшы қ ты жылжыты ң ыз. Кейбір мемлекеттік Тьюринг машиналары терминал ретінде та ң балан ғ ан, ж ә не оларды ң кез бару ғ а болады ж ұ мысты ң ая қ талуын білдіреді, алгоритм то қ тату. Тьюринг машинасы ә йтпесе кестеде мемлекеттік ж ә не таспа символы ә р комбинациясы бір жылдан аспайтын ережеге с ә йкес келетіндігін детерминделген деп аталады, ж ә не м ө лшерсіз.

5 Негізгі бөлім Сондықтан Тьюринг машинасы - математикалық абстракция, адам ақыл-сыбыс: ол табиғатта жоқ. Немесе бар? Бірден қалай тірі жасуша, ақыл келеді. Кем дегенде екі мысал. РНК полимеразы - -, ДНК ақпарат таспа машиналар Тьюринга түрін ақпаратты оқып қатты ұйымдастырды ферментінің көмегімен ұяшықта белоктар өндіру үшін 1.. Мұнда, алайда, таспа өзі жасушаларының ешқандай қайта жазу бар, бірақ басқа тәсілмен процесс өте ұқсас: ДНҚ-ның РНК-полимераза және ол РНҚ тұтамын синтездейді, ал ол, бір бағытта жылжиды сидит - ДНК ұқсас нуклеин қышқылы. Дайын РНК протеин өндіруге ұялы органеллалар ақпаратты асырады ферментінің ажыратылған. Оның жөндеу - Тіпті көп ұқсас ДНК Тьюринга машина қатесі түзету процесіне 2.. Мұнда, басқа да белоктар ДНҚ полимераза, таспа бойымен ДНҚ жылжытылады және оның екі жартыға делінген (белгілі, геномдық ДНҚ, бірдей ақпаратты асыратын, екі өзара жіп тұрады). Таймнан ақпарат сәйкес келмесе, ДНҚ-полимераза моделіне және басқа үшін «құқығын» ретінде олардың бірін алады. Бұл ұқсастығы жаңа емес, сондай-ақ мақала «молекулалық

6 Молекулалы қ компьютерлік Тіпті Биомолекулярных есептеулер немесе молекулярлы қ компьютерлер немесе ДН Қ немесе РН Қ есептеу - б ұ л терминдерді ң барлы қ осындай молекулалы қ генетика ж ә не компьютерлік ғ ылым ретінде т ү рлі ғ ылымдарды ң то ғ ысында пайда. Биомолекулярных Есептеу - ә р т ү рлі техникада, бір жолмен немесе ДНК немесе РНК байланысты бас қ а арнал ғ ан ұ жымды қ атауы болып табылады. ДНК есептеу деректер бірлік ж ә не н ө л т ү рінде емес ұ сыныл ғ ан, біра қ молекулалы қ құ рылымын т ү рінде, ДНК спираль негізінде құ рылады болса. о қ у, к ө шіру ж ә не деректерді бас қ ару ү шін ба ғ дарламалы қ қ амтамасыз р ө лі ерекше ферменттер орындайды.

7 Бүкіл биологиялық ақпаратты сақтау жүйесін, және, демек, ДНК компьютерлер негізі сутегі атомдарының қабілеті азоттық қосылыстар (аденин, тимин, цитозин және гуанин) енгізілген, белгілі бір жағдайларда, қосылған емес кеден жұбын қалыптастыру, бір-біріне тартылады. Екінші жағынан, бұл заттар ковалентті деп аталатын нуклеотидтер қалыптастыру, қант молекуласының (дезоксирибоза) тіркесімдері мен фосфаттар байланыстыруға болады. Нуклеотидтердің, өз кезегінде, оңай ондаған негіздер миллион полимерлер ұзындығы қалыптастырады. Осы supermolecule фосфаты және дезоксирибоза ақпаратты кодтау үшін құрылымдарды (олар тізбекте кезекпен), және азот қосылыстары қолдау рөл атқарады. Молекуласы бағыттарын алынған: фосфат топтары мен дезоксирибоза ұштарында басталады. ДНК жіп ұзын бұрымды қысқа деп аталады - олигонуклеотиды. Деп аталатын қосымша Уотсон - - алақайлап Әрбір ДНК молекуласы басқа ДНҚ сәйкес келеді. Ол бастапқы молекуласының қарағанда қарама-қарсы бағытта бар.

8 Нәтижесінде, гуанин үшін тимин және цитозин тарту аденин ұялы молайту кезінде ДНК еселеу мүмкіндігін қамтамасыз ететін, белгілі қос спираль алынған. полимераздық - екі есе мақсаты арнайы ақуыз ферментінің көмегімен қол жеткізіледі. Синтез ДНҚ оның толықтырулар бөлігін қоса берілген кезде ғана басталады, Бұл сипат кеңінен молекулярлық биология және молекулалық есептеу қолданылады. Мәні полимеразы жылы - машиналар Тьюринга іске асыру екі таспалар және бағдарламаланатын қашықтан басқару тұрады. Бақылау, бір таспа деректерді оқиды белгілі бір алгоритм бойынша оларды өңдейді, және басқа таспа жазады. Полимеразды-ақ дәйекті бір таспа (ДНҚ) шикізат деректерді оқиды және олардың негізінде есептеулер (Уотсон қосу - алақайлап) нәтижелері бар таспаны жасайды. Кішкентай фантастикалық болашағы тек біздің қызығушылығымен жылытылған. Сонымен қатар, біз әлі Тьюринг машинасы қатысты бәрін түсіндік жоқ. Естеріңізде болса, Уикипедия мақала бұл мемлекеттік машинаның кеңейту деп аталды. Бұл мемлекеттік машина қандай? Ол үшін, бақытымызға, сілтемені берілген. Оған жандандыру, біз білеміз, бұл:

9 Мемлекеттік аппарат Мемлекеттік (алгоритмдер теориясы) машина - объектінің мәртебесі өзгерту жолдарын сипаттауға мүмкіндік береді математикалық қоймаларынан, оның ағымдағы жағдайына байланысты және кіріс деректер, мүмкін мемлекеттердің жалпы саны ақырлы екенін көрсетті. Мемлекеттік аппарат дерексіз машиналары арнайы жағдай. Мемлекеттік аппарат, оның мінез-бір немесе бірнеше нұсқалары кейбір сатысында бар ма байланысты, белгілі немесе анықталмаған болуы мүмкін. Ресми, мемлекеттік машина бестігі ретінде анықталады М = (K, \ Sigma, \ пи, с, F) K қайда - тек рұқсат етілген бастапқы қалпы, F \ подмножество K - - рұқсат етілген F = Ø, және F = K, Σ бар соңғы мемлекеттердің жиынтығы, - сызықты қалыптасқан оның жарамды енгізу әліпбиі, ақырлы автоматтың мемлекеттердің орнату, К \ с машина оқитын, \ Pi: К \ есе \ Sigma \ rightarrow К - өтпелі функция. автоматты машина енгізу жолдың бір таңбаны оқып, мемлекеттік с басталады. Машинаның символы болып саналады өтпелі функциясы сәйкес, К жаңа мемлекет аударылады. ол мемлекет Ф бірін толғанға дейін процесі жалғасуда

10 Ақырлы мемлекеттік машиналар кеңінен осындай парсерін және олардың арасындағы нысан мемлекеттер мен Шарлау саны салыстырмалы түрде аз болып табылады, басқа жағдайларда, өйткені іс жүзінде қолданылады. Дерексіз машина Дерексіз машина (алгоритмдер теориясы) - математикалық абстракция бір кіріс ұясы бар дискретті құрылғының моделі, бір шығыс және бірнеше ықтимал бірдей күйіне әр уақытта. осы құрылғыға кіріс ол (жалпы алғанда) шығыс рәміздер түрлі тілдік өндіреді, тіл кодын алады. Ресми, дерексіз машина бестігі ретінде анықталады ~ A = (S, X, Y, \ Delta, \ Lambda) Қайда S - автоматтың мемлекеттердің ақырғы жиынтығы, X, Y - соңғы кіріс және шығыс алфавиттер, тиісінше, сызықты қалыптасқан, оның оқу және тапанша, \ Delta берілген: S \ есе X \ rightarrow S - өтпелі функциясын, \ лямбда: S \ есе X \ rightarrow Y - шығу функциясы. Құрметті бастапқы мемлекетпен Abstract Machine бастапқы автоматқа деп аталады. Осылайша бағзы машина бастапқы автоматтары отбасын анықтайды S жылы ~ (s_i, A), s_i \ Дерексіз машиналар енгізілді жіктеу сипаттарын анықтау үшін. Аннотация машиналар жеке үлгісі ретінде, және ірі Тьюринг машиналары компоненті, өңдеу беру автоматтары, ақырғы автомат және басқа да деректер түрлендіргіштер ретінде дискретті модельдер іргелі класс құрайды. Дерексіз машиналары моделі кеңінен, тану дискретті модельдерін құру генерациялау және таңбалардың ретін айырбастау үшін негіз ретінде пайдаланылады.

11 Алан Тьюринг Тьюринг, Алан Mathison (23 маусым маусым, 1954) - а ғ ылшын математигі, Логиком, шифрлаушы, Тьюринг машиналары ө нертап қ ыш. Тым Funny, б ұ л д ұ рыс емес Компьютерлер бол ғ ан жо қ, ж ә не Windows жылы (біз ә рі қ арай ол: «Ажырату м ә селесіне» бойынша ж ұ мыс деп айтып беретін, Тьюринг машинасы туралы м ә тіннен б ө лек, мен:? Сол ма қ алада Тьюринге ж ұ мыстарыны ң туралы к ө бірек м ә селе қ азірді ң ө зінде ө зі ң із туралы м ә лімдеді.); Тьюринг Екінші д ү ниеж ү зілік со ғ ыс кезінде коды «Enigma» Жарыл ғ ан ж ә не осылайша Ұ лыбритания са қ тал ғ ан қ алай ерлік әң гіме; ол жасанды интеллект теориясы негізін қ алаушы, сондай-а қ ата қ ты Тьюринг тест ескертпені фактісі. Енді сына қ жиі те ң фантастикалы қ әң гіме ретінде пайдаланылмайды, біра қ автомобильде адам проблемасы ә р қ ашан классикалы қ, сондай-а қ Айзек Азимов ж ә не Станислав ды қ тарды романдары болады. Оны ң ескірген қ арамастан, Тьюринг сына қ Интернетте байланыс қ азіргі ә лемде к ү тпеген беті. Ол қ андай болды аны қ тау ү шін - мысалы, сіз «бот» ж ә не міндеті болып табылады біреуі екі пайдаланушылар ICQ, арасында ғ ы ү н қ атысуды м ә тінін таба аласыз. Немесе сіз бейтаныс пайдаланушы ғ а м ү мкін, ICQ-робот қ а ғ ып алады. Сіз оны мойындайды ма? Теориясын зерттеу, сіз жай ғ ана Тьюринг тест пайдалана алуы ң ыз м ү мкін ж ә не ұ тыл ғ ан қ алдыру ғ а болмайды. Сіз тиісті Уикипедия ма қ аланы о қ ыту басталады, содан кейін ма қ ала со ң ында келтірді ә дебиеттер ар қ ылы бару ғ а болады:

12 Тьюринг Test Тьюринг тест - компьютерлік сөздің адам мағынасында негізділігін тексеру үшін бапта «Есептеу техникасы және барлау» (Есептеу техникасы мен барлау) 1950 жылы Алан Тюринг ұсынған сынақ. адам, басқа - - компьютерлік судья (адам) екі серіктері, солардың бірі табиғи тілде жазып мүмкін. Судья сенімді, компьютерлік тест кім өткен кім анықтау мүмкін болмаса. Ол тараптар әрқайсысы оны танылған адам ұстанады деп болжанып отыр. Сынақ қарапайым және әмбебап ету үшін, хат-хабарламалардың азаяды. Сырттай уақыт бақыланатын кезең арқылы жүзеге асырылуы тиіс, судья жауап бағамы негізінде қорытынды жасау мүмкін емес. (Тьюринг компьютерлер барысында баяу адамды үн. Олар әлдеқайда тез адамдарға қарағанда жауап өйткені Қазір бұл әдетте қажет). Тест қонақтар сұрақтар жазу арқылы, басқа бөлмеде адамның жыныстық қатынасқа сұраса және жауаптар оқып тырысты онда салоны ойын рухтың жетелеуімен жазылған болатын. Тьюринге түпнұсқасы әзірлеу кезінде, адам қарсы жынысты адам болып көрінуге мәжбүр болды, және сынақ 5 минутқа созылды. Енді осы ережелер қажет деп емес, және сынау нақтылау енгізілген жоқ. Тьюринг мағынасыз орнына тест ұсынды, оның пікірінше, мәселе «машиналар ойлауға болады?» Толығырақ белгілі.

13 Тьюринг компьютерлер, сайып келгенде, оның тест тапсырады деп болжануда. Ол 2000 жылы 5-минуттық тест кезінде 1 млрд бит (шамамен 119 МБ) жады бар компьютерлік жағдайларды 30% судьяларын алдауға қабілетті болады деп сенген. Бұл болжау шындыққа жоқ. (Алайда, IBM PC 386 бірінші байқауы Lebnera компьютерлік бағдарламалық қамтамасыз ету «PC терапевт» 10 5 судьяларын адастыруы мүмкін, бірақ ол нәтиже есептеуге болады, ал 1994 жылы бәсекелестік күрделі.) Тьюринг, сондай-ақ, «ойлау машина» комбинациясы деп болжаған Бұл оксюморон, қарастырылмайды, және компьютерлік оқыту (ең заманауи ғалымдар келісесіз қарағанда) қуатты құру маңызды рөл атқаратын болады. Әзірге, бағдарламалардың бірде-бір дерлік тест тапсыру келді емес. Мұндай Elisa (ELIZA) сияқты бағдарламалар, кейде адамдар осындай AOLiza деп аталатын бейресми эксперимент ретінде, адамның сөйлесіп деп санайды құрайды. Бірақ мұндай «табыстары» Туринг тест тапсыру жоқ. Осы жылы Тьюринг сынақ адам белсенді ол сөйлесіп кім анықтау тырысады, ал бірінші, осы әңгімелер адамдар, ол бағдарламасымен дейді деп ұйғаруға негіз жоқ еді.

14 Екіншіден, істерді құжаттандыру әдетте көптеген әңгімелер және толымсыз мағынасыз АРО, сондай-ақ осы чаттарға қараңыз. Үшіншіден, көптеген IRC пайдаланушылар екінші немесе үшінші тілі ретінде ағылшын пайдаланыңыз, мағынасыз жауап бағдарлама бәлкім тілдік тосқауыл есептен болады. Төртіншіден, көптеген пайдаланушылар Элиза туралы ештеңе және ұқсас бағдарламаларды білмейді және бұл бағдарламалар мүмкіндік беретін толық адамгершілікке жатпайтын қателіктерін анықтай алмайды. Жыл сайын бағдарламалар арасында бәсекелестікті сөйлесіп, және ең адам сияқты, судьялардың сәйкес жүлдені Lebnera (Loebner) марапатталды. Судьялардың пікірінше, Тьюринг тест тапсырады, бағдарлама, үшін қосымша жүлде бар. Бұл жүлде әлі марапатталды жоқ. Тьюринг сынақ бағдарламасы үздік нәтиже Алиса көрсетті (2000, 2001 және 2004 жылы) тест 3 есе жеңіп алды.

15 Пайдаланған әдебиеттер Жақыпбекова Г.Т Информатика оқыту әдістемесі.-шымкент, 2011,646 О. Камардинова «Есептеуіштер техника және программалау» Алматы, 2010ж А.Бочкин. Методика преподавания информатики. Минск, Вышэйшая школа,