Тьюринг машиналари

Загружено в:

12.09.2022

Скачано:

0

Размер:

47.5 KB

Скачать

Тьюринг машиналари Режа : 1. Тьюринг машинаси. 2. Тьюринг машинасининг характерли =исмлари. 3. Тьюринг машинасининг дастури. 4. Мисоллар. Адабиётлар : 1. [ 1 ], Y боб, 3,4 -§§. Тьюринг машинаси абстракт машина былиб унинг щисоблаш =обилияти шунчалик ю=орики, у ихтиёрий математик алгоритмни реализация =илиши мумкин. Тьюринг машинаси иккала томонга ихтиёрий давом эттириш мумкин былган ва тенг катакча (ячейка)ларга былинган лентадан щамда лента быйлаб дискрет харакат =иладиган каретка (щисобловчи =урилма)дан иборатдир. S  { s 1 , . . . , s m } , m  1 - таш=и алфавит , S ’  { s 0 , s 1 , . . . , s m } – кенгайтирилган таш=и алфавит. Бу ерда s 0 – быш катакни англатади. S тыплам элементлари таш=и алфавитнинг актив символлари дейилади. «Ички алфавит» - Q  { q 0 , . . . , q k }- чекли тыплам элементлари

$Тьюринг машинасининг ички щолатлари дейилади. Бунда q 1 - Тьюинг машинасининг бошлан\ич, q 0 - охирги щолати. q 1 , q 2 , . . . , q k – лар актив ички щолатлар дейилади. Тьюринг машинасининг q 0 - ички щолатда былиши унинг ишдан тыхтаганлигини билдиради. Q тыплам Тьюринг машинасининг «ички хотираси» деб щам юритилади. Иш жараёнида Тьюринг машинаси бир ички щолатдан бош=а ички щолатга ытиши ва лентага S ’ алфавит элементларини ёзиши мумкин. Тьюринг машинаси лентасининг щар бир катакчаси чекли щолатда былади, яъни катакча ёки быш ( s 0 ), ёки s i ( i  1, . . . , m ) ёзилган былиши мумкин. Тьюринг машинаси =уйидаги ишларни бажариши мумкин: 1. Каретка лента быйлаб щар бир ва=т давомида битта катак чапга ёки битта катак ынгга силжиши мумкин ёки ыз ырнида туриши мумкин. 2. Каретка лента устидаги символларни ызгартириши мумкин, яъни лентага ёзилган символни ычириши, унинг ырнига бош=а символни ёзиши мумкин, быш катакка актив символлардан ёзиши ва щоказо. Щар бир Тьюринг машинаси ыз дастурига эга былиб, у ана шу дастур асосида ишлайди. Дастур =уйидаги жадвалдан иборат : s 0 s 1 . . . s t . . . s m q 1 . . . . . . . . . . . . . . . . . . q j s j Rq i . . . . . . . . . . . q k . . . . . . Жадвални ташкил этган катакларда иш давомида бажариладиган командалар ёзилган былади, щар бир команда s j Rq i кыринишда былиб, бунда R билан П, Л, Н (мос равишда «ынг», «чап», «жойида» сызларини билдиради) белгиларнинг бири белгилангандир : П, Л белгилари мос равишда каретканинг ынгга ёки чапга сурилишини, Н эса каретка лента быйлаб ыз щолатини са=лаганини билдиради.$ $Тьюринг машинаси дискрет режимда (=адам-ба=адам) ишлайди: у щар бир ва=т моменти орали\ида фа=ат битта командани бажаради. Тьюринг машинасининг щар бир =адамда бажарган иши такт дейилади. Тьюринг машинасининг щар бир такти q r s t  s j Rq i кыринишда ифодалаш мумкин. Бу ифодани =уйидагича ы=иш керак : «Тьюринг машинаси q r ички щолатда лента устидаги s t символни кыриб туриб унинг ырнига ( s t ни ычириб) s j символни ёзади, сынгра R харакат =илиб ыз ички щолатини q i га ызгартиради» . Мисол.  (х)  х  1 функция =ийматларини щисобловчи Тьюринг машиналарини =уринг. Жавоб : s 0  q 1  Hq 0  П q 1 Мисол. Таш=и алфавити S  { 0,1,2,. . . , 9 } былган Тьюринг машинаси  (x)  x  1 функциянинг =ийматини =уйидаги дастур ор=али щисоблайди : s 0 0 1 2 3 4 5 6 7 8 9 q 1 1Пq 2 1Пq 2 2Пq 2 3Пq 2 4Пq 2 5Пq 2 6Пq 2 7Пq 2 8Пq 2 9Пq 2 0Лq 1 q 2 s 0 Лq 0 0Пq 2 1Пq 2 2Пq 2 3Пq 2 4Пq 2 5Пq 2 6Пq 2 7Пq 2 8Пq 2 9Пq 2 Адабиётлар :$ 1. Ё=убов Т.,Каллибеков С. Математик манти= элементлари.Т.,1996. 2. Новиков П.С. Элементы математической логики.М.1973. 3. Чёрч А. Введение в математическую логику.М.,1960. 4. Мальцев А.И. Алгоритмы и рекурсивные функции.М.,1965. 5. ЛавровИ.А., Максимова Л.Л. Задачи по теории множеств,математической логике и теории алгоритмов.М.,1975.

Тьюринг машиналари

12.09.2022

0

47.5 KB

Похожие