3813100543

3813100543



1.1.1. Pojęcie skończenie stanowej maszyny

Niech E będzie alfabetem.

Definicja 1.1. Niedeterministyczną skończenie stanową maszyną nad alfabetem E nazywamy trójkę uporządkowaną A = (S,I,T), gdzie

1.    S jest niepustym, skończonym zbiorem,

2.    ICS,

3.    T : 5 x E —» V(S).

W dalszym ciągu niniejszej pracy magisterskiej „niedeterministyczną skończenie stanową maszynę” będziemy nazywać krótko „maszyną”.

Zgodnie z definicją, maszyna jest układem złożonym z trzech elementów: skończonego zbioru 5 - zwanego zbiorem stanów maszyny, jego podzbioru I - tzw. zbioru stanów początkowych - tzn. takich stanów, od których maszyna rozpoczyna działanie. Ostatnim elementem układu jest funkcja przejścia T. Można ją traktować jako zbiór reguł przechodzenia od stanu do stanu. Przejścia te zachodzą w warunkach, gdy maszyna znajduje się w konkretnym stanie si czyta konkretny symbol a € E. Istotą niedeterminizmu jest to, że dla dowolnego symbolu wejściowego a czytanego w danym stanie s, może być wiele - albo i żaden — dopuszczalnych stanów, do których maszyna czytając ten symbol może przejść. Stanowią one zbiór T(s, er). Tak więc informację „T(s, er) = S'”, gdzie s € 5, er € E, S'V(S) interpretuje się następująco: jeśli maszyna A znajduje się w stanie s i czyta symbol er, to może ona przejść do jednego ze stanów należących do S'.

Szczególnym przypadkiem niedeterministycznej skończenie stanowej maszyny jest tzw. deterministyczna skończenie stanowa maszyna.

Definicja 1.2. Deterministyczną skończenie stanową maszyną nazywamy trójkę uporządkowaną A = (S, (so},T) taką, że

1.    S jest skończonym, niepustym zbiorem,

2.    s0S,

3.    f : S x E -► 5.

Maszyna deterministyczna składa się ze skończonego, niepustego zbioru stanów S, jednego stanu początkowego so oraz funkcji przejścia T. Tym razem dla dowolnego symbolu wejściowego istnieje dokładnie jedno przejście z każdego stanu odpowiadające temu symbolowi. Zatem T(s,a) = s', gdzie s,s' G S, a € E, interpretujemy następująco: jeśli maszyna deterministyczna A znajduje się w stanie s i czyta symbol a to wchodzi w stan s'.

Z każdą maszyną wiążemy diagram przejść. Diagram przejść to graf skierowany zdefiniowany w następujący sposób: wierzchołki grafu odpowiadają stanom

7



Wyszukiwarka

Podobne podstrony:
1.2.1. Definicja automatu skończonego Niech E będzie alfabetem. Definicja 1.10. Niedeterministycznym
automatu skończonego. Na początku wprowadzono definicję skończenie stanowej maszyny i wyjaśniono, w
Aksjomatyczna definicja prawdopodobieństwa Niech Q będzie daną skończoną przestrzenią zdarzeń
lista15 RACHUNEK PRAWDOPODOBIEŃSTWA • Klasyczna definicja prawdopodobieństwa Niech będzie skończony
img206 206 D4. Wybrane pojęcia teorii języków drzewowych i grafowych Niech H = (V, E, E, T, <j>
kodowanie: Sprawność kodowania Niech alfabet kodu składa się z q symboli i niech będzie to kod nieos
Zadanie 107. Skanująca maszyna Turinga będzie dana przez piątkę (E, Q. go, qp,5), gdzie E jest skońc
P051111 28 Definicja (minor macierzy) Niech A będzie dowolną macierzą wymiaru mxn oraz niech l<A
73847 Str106 20# A Kr*v« i eliptyczne Definicja. Niech K będzie krzywą eliptyczną nad ciałem liczb r
zdjecie0018 § 3. cuc hisscotczobt Niech X będzie dowolnym zbiorem, definicja I.H. Funkcję f określon
025 9 DEFINICJA Niech / będzie funkcją określoną, w przedziale (aąg b). Funkcja / ma w punkcie xq gr
029 DEFINICJA Niech f będzie funkcją określoną w przedziale (a;oc). Funkcja / ma w oc granicę niewł

więcej podobnych podstron