8299308017

8299308017



1.2.2.2 Maszyny Turinga jako akceptory

Automat skończony w każdym kroku pracy „zjada” jedną literę z wejścia, a gdy „zje” wszystkie, to się zatrzymuje. Natomiast krok pracy maszyny Turinga może zmniejszyć liczbę symboli na taśmie przez zamianę którejś na symbol pusty, ale może też ją powiększyć przez zamianę symbolu pustego na niepusty. W dodatku jej zatrzymywanie nie jest związane z wyczerpaniem liter — nawet po całkiem pustej taśmie1 maszyna może nadal się poruszać. Wobec tego maszynie Turinga może się przydarzyć, że sprawdzanie słowa nigdy się nie zakończy („ślepa pętla”). Ten fakt trzeba wziąć pod uwagę przy klasyfikowaniu języków ze względu na działania maszyn Turinga.

Definicja 1.10

Zbiór słów £CS* nazywamy językiem rekurencyjnie przeliczalnym, jeśli istnieje maszyna Turinga M taka, że £ = L(M). Zbiór słów £ C E* nazywamy językiem rekurencyjnym jeśli istnieją maszyny Turinga M+ i M~ takie, że

£ = L(M+) i E* \ £ = L(M~)

O różnicy między językami rekurencyjnymi i rekurencyjnie przeliczalnymi zostanie powiedziane niżej. Na razie wystarczy zauważyć, że każdy język rekurencyjny jest rekurencyjnie przeliczalny.

Zajmijmy się teraz związkami języków rekurencyjnych z językami regularnymi, czyli językami automatów. Poniższe twierdzenie i następujący po nim przykład pokazują, że maszyny Turinga są potężniejszym narzędziem do akceptowania języków niż automaty skończone:

Twierdzenie 1.11

Dla każdego automatu skończonego A istnieją maszyny Turinga M+ i M~ takie, że L(A) = L(M+) i E* \ L(A) = L(M~)

Przykład 1.12

Maszyna Turinga z przykładu 1.8 określa język

{o*6fc | fe > o}

o którego nieregularności już wiemy (por. przykład 1.5).

Nietrudno zmienić ją na maszynę akceptującą uzupełnienie tego języka (zamienić stany akceptujące na nieakceptujące i odwrotnie). Wobec tego ten język jest rekurencyjny.

Wniosek 1.13

Każdy język regularny jest rekurencyjny. Nie każdy język rekurencyjny jest regularny.

10

1

Czyli wypełnionej symbolami pustymi .



Wyszukiwarka

Podobne podstrony:
1.2.2.3    Maszyny Turinga jako generatory Ponieważ maszyny Turinga w trakcie swojej
Pamiętamy s0 1. W każdym podpisie obrazka pomylono jedną literę. Popraw podpisy, wpisując odpowiedni
Rys. 1.1: Maszyna Turinga akceptująca język
Definicja 1.3 Przez język automatu skończonego A rozumiemy zbiór L(A) wszystkich słów akceptowanych
Zadanie 107. Skanująca maszyna Turinga będzie dana przez piątkę (E, Q. go, qp,5), gdzie E jest skońc
automatu skończonego. Na początku wprowadzono definicję skończenie stanowej maszyny i wyjaśniono, w
Maszyna Turinga Maszyna Turinga składa sie, z naste, pujących elementów: skonczonegoalfabetu
Rysunek 3: Deterministyczny automat skończony akceptujący wyrazy zbudowane z parzystej liczby zer or
Maszyna Turinga Maszyna Turinga Przypomijmy sobie teorię autoamtów. Najwyżej w hierarchii stał tam a
Tak to one strony ciągle cierpiały od Tatara i Kozaka. Pozostały tam jako spuścizna na każdym kroku
img012 FUNKCJA PIERWOTNA. CAŁKA NIEOZNACZONA twierdzeniu, iż funkcja mająca pochodną (skończoną) w k
4.    Automaty skończone....... 5.    Elementy logiczne i pamięciowe w
ZADANIE PROJEKTOWE NR 3Modelowanie układu sekwencyjnego w postaci automatu skończonego typu Mealy’eg
I I IMaszyna Turinga Maszyna Turinga stanowi najprostszy, wyidealizowany matematyczny
1.2.2 Maszyny Turinga Jeśli język jest na tyle skomplikowany, że dla rozpoznania jego słów nie wysta

więcej podobnych podstron