3813100526
2. A2 = (S2, h,T2) gdzie
• ^2 = {so,Sl, S2>S3,S4};
• h = {«o};
• funkcję przejścia T2 opisuje diagram zilustrowany na poniższym rysunku.
W tym przypadku niedeterminizm objawia się tym, że dla pewnych stanów oraz symboli alfabetu istnieje więcej niż jeden stan w który maszyna A2 może wejść.
Przykład 1.4.
Niech teraz E = {0,1}. Rozważmy maszynę ^3 = (5, {so}, T), gdzie:
• S = {so,si};
• funkcję T zilustrowano przy pomocy diagramu przedstawionego na rysunku:
0 1 0
1
Maszyna ^3 jest przykładem maszyny deterministycznej.
1.1.2. Obliczenia skończenie stanowej maszyny na skończonych słowach
Niech A — (S, I, T) będzie niedeterministyczną skończenie stanową maszyną nad alfabetem E oraz niech u = ctq<ti ... crm € E* będzie skończonym słowem. Takie słowo, gdy poddane zostaje maszynie A do odczytania, nazywamy też „wejściem” (ang. input).
9
Wyszukiwarka
Podobne podstrony:
Slajd8 (124) MC68ooo SO S1 S2 S3 S4 S5 S6 S7 SO S1 S2 S3 S4 S5 S6 S7 SO S1 S2 S3 S4 S5 S6 S7 CLK FC2
10691 skanuj0144 (10) 268 B. Cieślar Pierwiastki równania wiekowego: a3 — Si a2 + S2 <j - S3 = 0,
WiL WdfMlfr Ł f£ Hi, U+ 10 G Si S2 S3 S4
23218 Slajd7 (122) MC68ooo SO S1 S2 S3 S4 S5 S6 S7 SO S1 S2 S3 S4 S5 S6 S7 SO S1 S2 S3 S4 w // w w
schemat ster S1 ,S2,S3,S4 -Styki przekaźników k1 ,k2,k3,k4 - Cewki przekaźników CZ1 ,CZ2 - Sty
Zagadnienia egzamnacyjne i odpowiedzi0006 Si : S2 : S3 : S4= 1: 3: 5: 7 - w jednak
Zdjęcie132 Mm x-a<0-J0>. Jk* -0.1 .»■«! (0:10}. Ay • 0.1 1 ru I SI S2 S3 S4 A. 1 HI
Componenls Symbols and compositions of dr) mL1ures, (1 by weight) SI S2 S3 S4 S5 S6 Portland
53122 przebieg ALE XTAL2 i S1 i S2 i S3 i S4 i S5 i S6 i S1 i S2 i S3 i S4 i S5 i S6 i
A B C D E F G H 1 Wypłaty Firma B strategie 2 S1 S2 S3 S4 min max 3 <
00182 ?b6a31b3875c47f70269f033b3de6a1 Economic Control Chart Models with Cycle Duration Constraints
PB030161 * Granica *,=1/2 s2= *4+1/4 _ s3= l /2-+-1 /4-»-1 /8 So= 1/2-+-1 /4-ł-1 /8-ł-...
mechanika1 (podrecznik)7 76 k Y Pxi = Ax + S2 + SL cos 60° = 0, i — 1 Jfc £ Pw = Ay + SL sin 60° =
więcej podobnych podstron