Главная » Просмотр файлов » 6. Проблема соответствий Поста. Алгоритмическая неразрешимость проблемы соответствий Поста. Многоголовочные конечные автоматы

6. Проблема соответствий Поста. Алгоритмическая неразрешимость проблемы соответствий Поста. Многоголовочные конечные автоматы (1162497)

Файл №1162497 6. Проблема соответствий Поста. Алгоритмическая неразрешимость проблемы соответствий Поста. Многоголовочные конечные автоматы (Курс лекций)6. Проблема соответствий Поста. Алгоритмическая неразрешимость проблемы соответствий Поста. Многоголовочные конечные автоматы (1162497)2019-09-19СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Ìîäåëè âû÷èñëåíèéÂ.À. Çàõàðîâ, Ð.È. Ïîäëîâ÷åíêîËåêöèÿ 6.1. Ïðîáëåìà ñîîòâåòñòâèé Ïîñòà2. Ìíîãîëîâî÷íûå êîíå÷íûå àâòîìàòû3. Àññîöèàòèâíûå èñ÷èñëåíèÿ. ÑèñòåìûÒóý4. Äðóãèå àëãîðèòìè÷åñêèíåðàçðåøèìûå ìàòåìàòè÷åñêèåïðîáëåìûÀËÃÎÐÈÒÌÈ×ÅÑÊÈ ÍÅÐÀÇÐÅØÈÌÛÅÌÀÒÅÌÀÒÈ×ÅÑÊÈÅ ÇÀÄÀ×ÈÌû ðàññìîòðèì íåñêîëüêî èçâåñòíûõìàòåìàòè÷åñêèõ çàäà÷ èç ðàçíûõ îáëàñòåé êîìáèíàòîðèêè, àëãåáðû, òåîðèè àâòîìàòîâ, èäîêàæåì èõ àëãîðèòìè÷åñêóþ íåðàçðåøèìîñòü.Äëÿ êàæäîé èç ýòèõ çàäà÷ åå àëãîðèòìè÷åñêàÿíåðàçðåøèìîñòü äîêàçûâàåòñÿ îäíèì è òåì æåñïîñîáîì: ñâåäåíèåì ê ýòîé çàäà÷å ïðîáëåìûîñòàíîâà ìàøèíû Òüþðèíãà íà ïóñòîé ëåíòå.Ïîñëå ýòîãî ñòàíîâèòñÿ ïîíÿòíî, êàêîå áîëüøîåçíà÷åíèå äëÿ ðàçâèòèÿ ìàòåìàòèêè èìååò òåîðåìàî íåðàçðåøèìîñòè ïðîáëåìû îñòàíîâà,óñòàíîâëåííàÿ Àëàíîì Òüþðèíãîì.ÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀÏóñòü èìååòñÿ íåêîòîðûé êîíå÷íûé àëôàâèò Σ èêîíå÷íîå ìíîæåñòâî ïàð ñëîâ â ýòîì àëôàâèòåP = {(u1 , v1 ), (u2 , v2 ), .

. . , (uk , vk )}.Ïðîáëåìà ñîîòâåòñòâèé Ïîñòà (ÏÑÏ) ñîñòîèò âòîì, ÷òîáû âûÿñíèòü, ñóùåñòâóåò ëè òàêàÿêîíå÷íàÿ ïîñëåäîâàòåëüíîñòü èíäåêñîâ i1, i2, . . . , in, äëÿ êîòîðîé âûïîëíÿåòñÿ ðàâåíñòâîui1 ui2 . . . uin = vi1 vi2 . . . vinÓêàçàííàÿ ïîñëåäîâàòåëüíîñòü èíäåêñîâi1 , i2 , . . . , in íàçûâàåòñÿ ðåøåíèåì ïðîáëåìûñîîòâåòñòâèé Ïîñòà äëÿ ñèñòåìû ïàð P .ÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀÏðèìåð 1.Ïðîáëåìà ñîîòâåòñòâèé Ïîñòà äëÿñèñòåìû ïàð P = {(b, babbb), (ab, abba), (abb, ε)}èìååò ðåøåíèå 3, 2, 3, 1 , ïîñêîëüêóabb ab abb b = ε abba εbabbbÏðèìåð 2.Ïðîáëåìà ñîîòâåòñòâèé Ïîñòà äëÿñèñòåìû ïàð P2 = {(b, bab), (ab, aba), (abb, bba)}íå èìååò ðåøåíèé.

(Ïî÷åìó? )Íàñ áóäåò èíòåðåñîâàòü âîïðîñ î ñóùåñòâîâàíèèàëãîðèòìà, êîòîðûé äëÿ ïðîèçâîëüíîé çàäàííîéñèñòåìû ïàð P óñòàíàâëèâàåò, èìååò ÏÑÏðåøåíèå èëè íåò.ÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀÑîäåðæàòåëüíûé ñìûñë ÏÑÏ òàêîâ.Ïðåäïîëîæèì, ÷òî åñòü äâà àëôàâèòíûõêîäèðîâàíèÿ îäíîãî è òîãî æå àëôàâèòàñîîáùåíèéϕ : 1 → u1 , .

. . k → uk ;ψ : 1 → v1 , . . . k → vk .Âîïðîñ: ñóùåñòâóåò ëè òàêîå ñîîáùåíèåi1 , i2 , . . . , in , êîòîðîå êîäèðóåòñÿ îäèíàêîâîñèñòåìàìè êîäèðîâàíèÿ ϕ è ψ , ò.å.ϕ(i1 i2 . . . in ) = ui1 ui2 . . . uin = vi1 vi2 . . . vin = ψ(i1 i2 . . . in )?ÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀÏðîáëåìà ñîîòâåòñòâèé Ïîñòà íàçûâàåòñÿèíèöèàëüíîé (ÈÏÑÏ) â òîì ñëó÷àå, åñëèäîïîëíèòåëüíî òðåáóåòñÿ, ÷òîáû åå ðåøåíèåíà÷èíàëîñü èíäåêñîì 1 .Óòâåðæäåíèå 6.1. ÈÏÑÏ àëãîðèòìè÷åñêèñâîäèìà ê ÏÑÏ.Äîêàçàòåëüñòâî. Ïîêàæåì, ÷òî äëÿ ëþáîéñèñòåìû ïàð P ìîæíî ïîñòðîèòü òàêóþ ñèñòåìóïàð Pb , ÷òî ÈÏÑÏ äëÿ P èìååò ðåøåíèå òîãäà èòîëüêî òîãäà, êîãäà ÏÑÏ äëÿ Pb èìååò ðåøåíèå.ÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀÏóñòü P = {(u1, v1), .

. . , (uk , vk )} . Ðàññìîòðèìäâå íîâûå áóêâû #,$ , è äëÿ êàæäîé ïàðû ñëîâui = x1 x2 . . . xp , vi = y1 y2 . . . yq ,îïðåäåëèì íîâóþ ïàðó ñëîâubi = x1#x2# . . . #xp#, vbi = #y1#y2# . . . #yq.Êðîìå òîãî, ïîñòðîèì åùå äâå ïàðû ñëîâub0 = #bu1, vb0 = vb1 ,ubk+1 = $, vbk+1 = #$,è ïîëîæèìb = {(bPu0 , vb0 ), (bu1 , vb1 ), . .

. , (buk , vbk ), (buk+1 , vbk+1 )} .ÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀÅñëè ïîñëåäîâàòåëüíîñòü èíäåêñîâ1, i2 , i3 , . . . , inÿâëÿåòñÿ ðåøåíèåì ÈÏÑÏ äëÿ P , ò.å.u1 ui1 ui2 . . . uin = v1 vi1 vi2 . . . vin ,òî ïîñëåäîâàòåëüíîñòü èíäåêñîâ0, i2 , i3 , . . . , in , k + 1ÿâëÿåòñÿ ðåøåíèåì ÏÑÏ äëÿ Pb , ò.å.#bu1 ubi1 ubi2 .

. . ubin$ = vb1 vbi1 vbi2 . . . vbin#$.ÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀÏóñòü ïîñëåäîâàòåëüíîñòü èíäåêñîâ j1, j2, . . . , jmÿâëÿåòñÿ êðàò÷àéøèì ðåøåíèåì ÏÑÏ äëÿ Pb , ò.å.ubj1 ubj2 . . . ubjm = vbj1 vbj2 . . . vbjm .Òîãäà j1 = 0 , ïîñêîëüêó òîëüêî ïàðà ñëîâ ub0, vb0íà÷èíàåòñÿ îäíîé è òîé æå áóêâîé # ,jm = k + 1 , ïîñêîëüêó òîëüêî ïàðà ñëîâ ubk+1 , vbk+1îêàí÷èâàåòñÿ îäíîé è òîé æå áóêâîé $ ,èíäåêñ k + 1 íå âñòðå÷àåòñÿ ñðåäè j2, .

. . , jm−1 ,ïîñêîëüêó ðàññìàòðèâàåìîå ðåøåíèå êðàò÷àéøåå,èíäåêñ 0 íå âñòðå÷àåòñÿ ñðåäè j2, . . . , jm−1 ,ïîñêîëüêó â ñëîâå vbj vbj . . . vbj íåò èäóùèõ ïîäðÿäáóêâ # .12mÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀÒàêèì îáðàçîì èç ðàâåíñòâàñëåäóåò, ÷òîubj1 ubj2 . . . ubjm = vbj1 vbj2 . . . vbjm#bu1 ubj2 . . . ubjm−1$ = vbj1 vbj2 . . . vbjm−1 #$à îòñþäà ñëåäóåò ðàâåíñòâîu1 uj2 . . .

ujm−1 = v1 vj2 . . . vjm−1 ,ò.å. ÈÏÑÏ äëÿ P èìååò ðåøåíèå j2, . . . , jm−1 .QEDÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀÏðîáëåìà îñòàíîâà ìàøèíÒüþðèíãà àëãîðèòìè÷åñêè ñâîäèìà ê ÈÏÑÏ.Äîêàçàòåëüñòâî. Ïîêàæåì, ÷òî äëÿ ëþáîé ÌÒM ìîæíî ïîñòðîèòü òàêóþ ñèñòåìó ïàð PM , ÷òîÈÏÑÏ äëÿ PM èìååò ðåøåíèå òîãäà è òîëüêîòîãäà, êîãäà M îñòàíàâëèâàåòñÿ íà ïóñòîé ëåíòå.Èäåÿ ñâåäåíèÿ òàêîâà .Óòâåðæäåíèå 6.2.ÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀÏðåäïîëîæèì, ÷òî ÌÒ M èìååò êîíå÷íîåâû÷èñëåíèå íà ïóñòîé ëåíòåα0 = q1 0 −→ α1 −→ · · · −→ αN = w 0 q1 w 00Ïîñòðîèì ÈÏÑÏ PM = P1 ∪ P2 , êîòîðàÿ èìååòðåøåíèå, ïîðîæäàþùåå ïàðó îäèíàêîâûõ ñëîââèäàñòèðàíèåðåçóëüòàòà{z}|$α| 0 $α1 ${z. .

. $αN $}ñèìóëÿöèÿ âû÷èñëåíèÿ. . . $q0 w 00 $ . . . $q0 $$ÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀÌíîæåñòâî P1 îáðàçóþò ñëåäóþùèå ïàðû ñëîâ, ïîçâîëÿþùèåìîäåëèðîâàòü âû÷èñëåíèå ÌÒ M :1. u1 = $ , v1 = $q00$ . Ýòà ïàðà âñåãäà áóäåò ïåðâîé â ëþáîìðåøåíèè;2. ui = c , vi = c äëÿ âñåõ áóêâ ëåíòî÷íîãî àëôàâèòà;3.

ui = $ , vi = $ ;4. ui = cq0a , vi = q00cb äëÿ êàæäîé êîìàíäû âèäàhq 0 a : bq 00 Li ÌÒ M è ëåíòî÷íîé áóêâû c ;5. ui = $q0a , vi = $q000b äëÿ êàæäîé êîìàíäû âèäàhq 0 a : bq 00 Li ÌÒ M ;6. ui = q0ac , vi = bq00c äëÿ êàæäîé êîìàíäû âèäàhq 0 a : bq 00 Ri ÌÒ M è ëåíòî÷íîé áóêâû c ;7. ui = q0a$ , vi = bq000$ äëÿ êàæäîé êîìàíäû âèäàhq 0 a : bq 00 Ri ÌÒ M .ÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀ$q1 0$α2 $α3 $ . . . . . . $αN−1 $$q1 0$α2 $α3 $α4 $ . .

. $αN−1 $w 0 q0 w 00 $Ïîñòðîåíèå ðåøåíèÿ ÈÏÑÏ íà÷èíàåòñÿ ñ ïàðû(u1 , v1 ) .À äàëüøå â ñòðåìëåíèè ñäåëàòü ïåðâóþ ñòðîêóðàâíîé âòîðîé ñòðîêå ìû âûíóæäåíû áóäåìâûáèðàòü ïàðû èç ìíîæåñòâà P1 îäíîçíà÷íî,ìîäåëèðóÿ òåì ñàìûì âû÷èñëåíèå ÌÒ M .È ïðîöåññ ýòîò ìîæåò îñòàíîâèòüñÿ òîãäà è òîëüêîòîãäà, êîãäà âî âòîðîé ñòðîêå áóäåò äîñòèãíóòàçàêëþ÷èòåëüíàÿ êîíôèãóðàöèÿ αN = w 0q0w 00.ÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀ$q1 0$α2 $α3 $ . . .

. . . $αN−1 $w 0 q0 w 00 $ . . . $q0 $$$q1 0$α2 $α3 $α4 $ . . . $αN−1 $w 0 q0 w 00 $ . . . $q0 $$Ïîñëå òîãî, êàê âî âòîðîé ñòðîêå áûëà äîñòèãíóòàçàêëþ÷èòåëüíàÿ êîíôèãóðàöèÿ, íóæíî ñóìåòüâûðîâíÿòü îáå ñòðîêè.È äëÿ ýòîãî äîñòàòî÷íî ¾ñòèðàòü¿ ïîî÷åðåäíîâñå ëåíòî÷íûå áóêâû ïðè ïîìîùè ñëåäóþùèõ ïàðñëîâ èç ìíîæåñòâà P28910,äëÿ êàæäîé ëåíòî÷íîé áóêâû a ;ui = $q0 a , vi = $q0 äëÿ êàæäîé ëåíòî÷íîé áóêâû a ;ui = q0 $$ , vi = $ .ui = aq0 vi = q0 ðåçóëüòàòå îáå ñòðîêè ñòàíîâÿòñÿ îäèíàêîâûìè.QEDÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀÏðîáëåìà ñîîòâåòñòâèé Ïîñòààëãîðèòìè÷åñêè íåðàçðåøèìà.Äîêàçàòåëüñòâî.

Èç Óòâåðæäåíèé 6.1, 6.2.ìîæíî ñäåëàòü âûâîä î òîì, ÷òî ñóùåñòâóåòàëãîðèòì, êîòîðûé äëÿ ëþáîé ÌÒ M ñòðîèòòàêóþ ñèñòåìó ïàð PbM , ÷òîM îñòàíàâëèâàåòñÿ íà ïóñòîé êîíôèãóðàöèè ⇔ÏÑÏ äëÿ PbM èìååò ðåøåíèå.Òàêèì îáðàçîì, èç àëãîðèòìè÷åñêîéíåðàçðåøèìîñòè ïðîáëåìû îñòàíîâà ìàøèíÒüþðèíãà ñëåäóåò íåðàçðåøèìîñòü ÏÑÏ. QEDÒåîðåìà 6.3.ÏÐÎÁËÅÌÀ ÑÎÎÒÂÅÒÑÒÂÈÉ ÏÎÑÒÀÁóäåò ïðîáëåìà ñîîòâåòñòâèé Ïîñòàîñòàâàòüñÿ àëãîðèòìè÷åñêè íåðàçðåøèìîé, åñëèàëôàâèò Σ , â êîòîðîì çàäàþòñÿ ñëîâà âñåõ ïàðñèñòåìû P , ñîñòîèò èç îäíîé áóêâû?À ÷òî áóäåò, åñëè ýòîò àëôàâèò ñîñòîèò èç äâóõáóêâ?Çàäà÷à 1.ÌÍÎÃÎÃÎËÎÂÎ×ÍÛÅ ÊÎÍÅ×ÍÛÅÀÂÒÎÌÀÒÛÊîíå÷íûé àâòîìàò ïðåäñòàâëÿåò ñîáîéóñòðîéñòâî, ïðî÷èòûâàþùåå ñëîâî, çàïèñàííîå íàëåíòå.Îáû÷íûé êîíå÷íûé àâòîìàò èìååò òîëüêî îäíóñ÷èòûâàþùóþ ãîëîâêó, êîòîðàÿ äâèæåòñÿ ïî ëåíòåâ îäíó ñòîðîíó.x1 x2 x3 · · ·⇑q0· · · xN a-ÌÍÎÃÎÃÎËÎÂÎ×ÍÛÅ ÊÎÍÅ×ÍÛÅÀÂÒÎÌÀÒÛÅñëè àâòîìàòó ðàçðåøèòü ñäâèãàòü ñ÷èòûâàþùóþãîëîâêó â îáå ñòîðîíû...x1 x2 x3 · · ·⇑q0· · · xN aòî, êàê ýòî íè óäèâèòåëüíî, åãî âû÷èñëèòåëüíûåâîçìîæíîñòè íå âîçðàñòóò.ÌÍÎÃÎÃÎËÎÂÎ×ÍÛÅ ÊÎÍÅ×ÍÛÅÀÂÒÎÌÀÒÛÀ ÷òî ïðîèçîéäåò, åñëè àâòîìàò áóäåò èìåòü ÄÂÅñ÷èòûâàþùèå ãîëîâêè, êîòîðûå ìîãóòïåðåìåùàòüñÿ òîëüêî â îäíó ñòîðîíó, íî ïðè ýòîìíåçàâèñèìî äðóã îò äðóãà?x1 x2 x3 · · ·⇑⇑qi2· · · xN a-Îêàçûâàåòñÿ, ÷òî âû÷èñëèòåëüíûå âîçìîæíîñòèòàêîãî àâòîìàòà óñèëèâàþòñÿ íàñòîëüêî, ÷òî îíñïîñîáåí ìîäåëèðîâàòü ìàøèíû Òüþðèíãà!ÌÍÎÃÎÃÎËÎÂÎ×ÍÛÅ ÊÎÍÅ×ÍÛÅÀÂÒÎÌÀÒÛÏîêàæèòå ñàìîñòîÿòåëüíî, ÷òî äâóõãîëîâî÷íûéàâòîìàò ñïîñîáåí ðàñïîçíàâàòü ñëåäóþùèå ÿçûêè,íå ÿâëÿþùèåñÿ ðåãóëÿðíûìè:1.

L1 = {an bn : n ≥ 0} ;2. L2 = {an bn c n : n ≥ 0} ;3. L3 = {ww : w ∈ {a, b}∗} ;À ñïîñîáåí ëè äâóõãîëîâî÷íûé àâòîìàòðàñïîçíàâàòü ÿçûê L4 = {ww − : w ∈ {a, b}∗} ?Îêàçûâàåòñÿ, ÷òî íåò!Çàäà÷à 2. Äîêàçàòü, ÷òî ÿçûê L4 íåðàñïîçíàåòñÿ äâóõãîëîâî÷íûìè àâòîìàòàìè.ÌÍÎÃÎÃÎËÎÂÎ×ÍÛÅ ÊÎÍÅ×ÍÛÅÀÂÒÎÌÀÒÛÏî÷åìó æå äâóõãîëîâî÷íûé àâòîìàò ñïîñîáåíìîäåëèðîâàòü ìàøèíû Òüþðèíãà?Ïîòîìó ÷òî âåðíàÒåîðåìà 6.4. Ïðîáëåìà ïóñòîòû ÿçûêîâ,ðàñïîçíàâàåìûõ äâóõãîëîâî÷íûìè àâòîìàòàìè,àëãîðèòìè÷åñêè íåðàçðåøèìà.Íî ïðåæäå ÷åì åå äîêàçûâàòü, äàäèì ôîðìàëüíûåîïðåäåëåíèÿ äâóõãîëîâî÷íûõ àâòîìàòîâ è èõâû÷èñëåíèé.ÌÍÎÃÎÃÎËÎÂÎ×ÍÛÅ ÊÎÍÅ×ÍÛÅÀÂÒÎÌÀÒÛÄâóõãîëîâî÷íûé äåòåðìèíèðîâàííûé êîíå÷íûé àâòîìàò ýòîñèñòåìà D = (Σ, S, s0, F , T ) , ãäåI Σ ëåíòî÷íûé àëôàâèò,I S êîíå÷íîå ìíîæåñòâî ñîñòîÿíèé,I s0 íà÷àëüíîå ñîñòîÿíèå,I F ïîäìíîæåñòâî ôèíàëüíûõ ñîñòîÿíèé,I T : S × (Σ ∪ {a}) × (Σ ∪ {a}) → S × {0, 1} × {0, 1} ôóíêöèÿ ïåðåõîäîâ.Çäåñü T (s, x1, x2) = (s 0, δ1, δ2) îçíà÷àåò, ÷òî åñëè àâòîìàòïðåáûâàåò â ñîñòîÿíèè s , è åãî ñ÷èòûâàþùèå ãîëîâêèîáîçðåâàþò íà ëåíòå áóêâû èëè ãðàíè÷íûé ìàðêåð x1 è x2 , òîíà ñëåäóþùåì òàêòå âû÷èñëåíèÿ îí ïåðåõîäèò â ñîñòîÿíèå s , èåãî ñ÷èòûâàþùèå ãîëîâêè ñäâèãàþòñÿ âïðàâî íà δ1 è δ2 ÿ÷ååê.ÌÍÎÃÎÃÎËÎÂÎ×ÍÛÅ ÊÎÍÅ×ÍÛÅÀÂÒÎÌÀÒÛ-êîíôèãóðàöèåé äâóõãîëîâî÷íîãî àâòîìàòàíàçûâàåòñÿ íàáîð âèäà (w a, s, i1, i2) , ãäåw = x1 x2 .

. . xn ∈ Σ∗ ñëîâî, çàïèñàííîå íàëåíòå;s ∈ S òåêóùåå ñîñòîÿíèå àâòîìàòà,i1 , i2 íîìåðà áóêâ (ÿ÷ååê ëåíòû),îáîçðåâàåìûõ ñ÷èòûâàþùèìè ãîëîâêàìèàâòîìàòà, 1 ≤ i1, i2 ≤ n + 1 .Êîíôèãóðàöèÿ (w a, s0, 1, 1) ñ÷èòàåòñÿ íà÷àëüíîé.Âñÿêàÿ êîíôèãóðàöèÿ âèäà (w a, s, n + 1, n + 1) ,ãäå s ∈ F , ñ÷èòàåòñÿ ôèíàëüíîéwIIIÌÍÎÃÎÃÎËÎÂÎ×ÍÛÅ ÊÎÍÅ×ÍÛÅÀÂÒÎÌÀÒÛÏðåîáðàçîâàíèå êîíôèãóðàöèé (w a, s, i1, i2) −→ (w a, s 0, j1, j2)àâòîìàòîì D âûïîëíÿåòñÿ â òîì è òîëüêî òîì ñëó÷àå, åñëèI w = x1 x2 . .

. xn ,I T (s, xi , xi ) = (s 0 , δ1 , δ2 ) ,I j1 = i1 + δ1 , j2 = i2 + δ2 .Âû÷èñëåíèåì conf1 −→∗ confN äâóõãîëîâî÷íîãî êîíå÷íîãîàâòîìàòà D íà ñëîâå w íàçûâàåòñÿ âñÿêàÿ ïîñëåäîâàòåëüíîñòüïðåîáðàçîâàíèé w -êîíôèãóðàöèé12conf1 −→ conf2 −→ · · · −→ confN .Ýòî âû÷èñëåíèå ñ÷èòàåòñÿ óñïåøíûì , åñëè conf0 íà÷àëüíàÿ, à confN ôèíàëüíàÿ êîíôèãóðàöèè.ßçûê äâóõãîëîâî÷íîãî àâòîìàòà D ýòî ìíîæåñòâî ñëîâL(D) = {w : ñóùåñòâóåò óñïåøíîå w − âû÷èñëåíèå àâòîìàòà D}.ÌÍÎÃÎÃÎËÎÂÎ×ÍÛÅ ÊÎÍÅ×ÍÛÅÀÂÒÎÌÀÒÛÏðîáëåìà îñòàíîâà ìàøèíÒüþðèíãà àëãîðèòìè÷åñêè ñâîäèìà ê ïðîáëåìåïóñòîòû äâóõãîëîâî÷íûõ äåòåðìèíèðîâàííûõêîíå÷íûõ àâòîìàòîâ.Äîêàçàòåëüñòâî. Ïîêàæåì, ÷òî äëÿ ëþáîé ÌÒM ìîæíî ïîñòðîèòü òàêîé äâóõãîëîâî÷íûéàâòîìàò DM , ÷òîL(PM ) 6= ∅ ⇔ M îñòàíàâëèâàåòñÿ íà ïóñòîéëåíòå.Èäåÿ ñâåäåíèÿ òàêîâà .Óòâåðæäåíèå 6.5.ÌÍÎÃÎÃÎËÎÂÎ×ÍÛÅ ÊÎÍÅ×ÍÛÅÀÂÒÎÌÀÒÛÏðåäïîëîæèì, ÷òî ÌÒ M èìååò âû÷èñëåíèå íàïóñòîé ëåíòåα0 = q1 0 −→ α1 −→ α2 −→ · · · · · ·Ïîñòðîèì äâóõãîëîâî÷íûé àâòîìàò DM , ÿçûêL(PM ) êîòîðîãî ëèáî ñîäåðæèò òîëüêî îäíî ñëîâîw = $α0 $α1 $ .

. . $αN ,åñëè óêàçàííîå âû÷èñëåíèå ÌÒ M çàâåðøàåòñÿñïóñòÿ N òàêòîâ, ëèáî ÿâëÿåòñÿ ïóñòûì, åñëèóêàçàííîå âû÷èñëåíèå ÌÒ M áåñêîíå÷íî.ÌÍÎÃÎÃÎËÎÂÎ×ÍÛÅ ÊÎÍÅ×ÍÛÅÀÂÒÎÌÀÒÛÑöåíàðèé ðàáîòû àâòîìàòà DM òàêîâ.1. Íà÷àâ ðàáîòàòü ñ w -êîíôèãóðàöèè$ α0 $ α1 $ . . . $ αN−1 $ αN a,⇑ 1 ⇑2àâòîìàòà DM ïðîäâèãàåò ñ÷èòûâàþùóþ ãîëîâêó⇑1 äî ñëåäóþùåãî ðàçäåëèòåëÿ $ è ïðè ýòîìïðîâåðÿåò, ÷òî ñëîâî α0, ðàñïîëîæåííîå ìåæäóýòèìè ðàçäåëèòåëÿìè ýòî íà÷àëüíàÿêîíôèãóðàöèÿ α0 = q10 ÌÒ:$ α0 $ α1 $ . . . $ αi−1 $ αi $ .

Характеристики

Тип файла
PDF-файл
Размер
752,87 Kb
Материал
Тип материала
Высшее учебное заведение

Тип файла PDF

PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

Список файлов лекций

Курс лекций
1. Формальные языки. Операции над языками.Разнообразие моделей вычислений. Конечные автоматы Рабина-Скотта. Автоматные языки. Упрощение конечных автоматов.pdf
2. Алгоритм преобразования конечного автомата к детерминированному виду. Замкнутость класса автоматных языков относительно операций над языками.pdf
7. Формальные грамматики. Классификация формальных грамматик. Иерархия Хомского формальных языков. Неограниченные грамматики и рекурсивно перечислимые языки.pdf
8. Деревья синтаксического разбора. Теорема о разрастании для контекстно-свободных языков. Примеры языков, не являющихся контекстно-свободными.pdf
9. Свойства замкнутости контекстно-свободных языков. Алгоритмические проблемы для КС-языков. Неразрешимость проблемы эквивалентности для контекстно-свободных грамматик.pdf
11. Реагирующие системы вычислений. Автоматы Бюхи. ω-регулярные языки. Свойства замкнутости класса ω-регулярных языков. Алгоритмические проблемы для автоматов Бюхи.pdf
12. Логический способ описания языков. Монадическая предикатов логика второго порядка S1S. Взаимосвязь логики S1S и ω-автоматов. Другие логики предикатов второго порядка.pdf
Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6508
Авторов
на СтудИзбе
302
Средний доход
с одного платного файла
Обучение Подробнее