Wykład5,str.1. Maszyny ze stosem ... 1,0 λ r. λ,z λ

Transkrypt

1 Wykład5,str1 p 0,Z 0Z 0,0 00 q λ,z λ r

2 Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana Z p 0,Z 0Z 0,0 00 q λ,z λ r

3 Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana 0 Z p 0,Z 0Z 0,0 00 q λ,z λ r

4 Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana 0 0 Z p 0,Z 0Z 0,0 00 q λ,z λ r

5 Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana 0 Z p 0,Z 0Z 0,0 00 q λ,z λ r

6 Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana Z p 0,Z 0Z 0,0 00 q λ,z λ r

7 Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana p 0,Z 0Z 0,0 00 q λ,z λ r

8 Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana p 0,Z 0Z 0,0 00 q λ,z λ r Kiedy wędrówka po maszynie się zatnie, czyli nie ma już żadnej możliwości pójścia dalej, sprawdzamy, czy słowo zostało zaakceptowane; tzn, czy spełnione są następujące warunki:

9 Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana p 0,Z 0Z 0,0 00 q λ,z λ r Kiedy wędrówka po maszynie się zatnie, czyli nie ma już żadnej możliwości pójścia dalej, sprawdzamy, czy słowo zostało zaakceptowane; tzn, czy spełnione są następujące warunki: na wejściu jest słowo puste(wszystko już przeczytane)

10 Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana p 0,Z 0Z 0,0 00 q λ,z λ r Kiedy wędrówka po maszynie się zatnie, czyli nie ma już żadnej możliwości pójścia dalej, sprawdzamy, czy słowo zostało zaakceptowane; tzn, czy spełnione są następujące warunki: na wejściu jest słowo puste(wszystko już przeczytane); nastosiejestsłowopuste

11 Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana p 0,Z 0Z 0,0 00 q λ,z λ r Kiedy wędrówka po maszynie się zatnie, czyli nie ma już żadnej możliwości pójścia dalej, sprawdzamy, czy słowo zostało zaakceptowane; tzn, czy spełnione są następujące warunki: na wejściu jest słowo puste(wszystko już przeczytane); nastosiejestsłowopuste; sprawdzanie zakończyło się w stanie końcowym(akceptującym)

12 Wykład5,str2 Język akceptowany: { 0 n 1 n n 1 } p 0,Z 0Z 0,0 00 q λ,z λ r

13 Wykład5,str2 Język akceptowany: { 0 n 1 n n 1 } p 0,Z 0Z 0,0 00 q λ,z λ r stan wejście 0 1 λ stos Z 0 Z 0 Z 0 p q, 0Z q q, 00 r, λ r r,λ p,λ

14 Wykład5,str3 DEFINICJA: Maszyna ze stosem M M

15 Wykład5,str3 DEFINICJA: Maszyna ze stosem M M skończonyzbiórqstanów

16 Wykład5,str3 DEFINICJA: Maszyna ze stosem M M skończonyzbiórqstanów, skończony zbiór Σ liter wejściowych

17 Wykład5,str3 DEFINICJA: Maszyna ze stosem M M skończonyzbiórqstanów, skończony zbiór Σ liter wejściowych, skończony zbiór Γ symboli stosowych

18 Wykład5,str3 DEFINICJA: Maszyna ze stosem M M skończonyzbiórqstanów, skończony zbiór Σ liter wejściowych, skończony zbiór Γ symboli stosowych, Z Γ wyróżnionysymbolstosowyoznaczającydnostosu

19 Wykład5,str3 DEFINICJA: Maszyna ze stosem M M skończonyzbiórqstanów, skończony zbiór Σ liter wejściowych, skończony zbiór Γ symboli stosowych, Z Γ wyróżnionysymbolstosowyoznaczającydnostosu, częściowafunkcjaprzejściaδ:q (Σ {λ}) Γ Q Γ (częściowa tzn może być nieokreślona dla niektórych argumentów)

20 Wykład5,str3 DEFINICJA: Maszyna ze stosem M M skończonyzbiórqstanów, skończony zbiór Σ liter wejściowych, skończony zbiór Γ symboli stosowych, Z Γ wyróżnionysymbolstosowyoznaczającydnostosu, częściowafunkcjaprzejściaδ:q (Σ {λ}) Γ Q Γ (częściowa tzn może być nieokreślona dla niektórych argumentów), wyróżnionystanpoczątkowyq 0 Q

21 Wykład5,str3 DEFINICJA: Maszyna ze stosem M M skończonyzbiórqstanów, skończony zbiór Σ liter wejściowych, skończony zbiór Γ symboli stosowych, Z Γ wyróżnionysymbolstosowyoznaczającydnostosu, częściowafunkcjaprzejściaδ:q (Σ {λ}) Γ Q Γ (częściowa tzn może być nieokreślona dla niektórych argumentów), wyróżnionystanpoczątkowyq 0 Q, wyróżniony zbiór stanów końcowych(akceptujących) F Q

22 Wykład5,str3 DEFINICJA: Maszyna ze stosem M M skończonyzbiórqstanów, skończony zbiór Σ liter wejściowych, skończony zbiór Γ symboli stosowych, Z Γ wyróżnionysymbolstosowyoznaczającydnostosu, częściowafunkcjaprzejściaδ:q (Σ {λ}) Γ Q Γ (częściowa tzn może być nieokreślona dla niektórych argumentów), wyróżnionystanpoczątkowyq 0 Q, wyróżniony zbiór stanów końcowych(akceptujących) F Q DEFINICJA: Język akceptowany przez M { M L(M) def = w Σ δ q0,w,z = q,λ,λ dlapewnegoq F } gdzieδ jestuogólnionąfunkcjąprzejścia

23 a języki bezkontekstowe Wykład5,str4 TWIERDZENIE: MJęzyk akceptowany przez dowolną maszynę stosową jest bezkontekstowy

24 a języki bezkontekstowe Wykład5,str4 TWIERDZENIE: MJęzyk akceptowany przez dowolną maszynę stosową jest bezkontekstowy Uwaga: Nie każdy język bezkontekstowy jest akceptowany przez jakąś maszynę stosową; ale każdy jest akceptowany przez jakąś niedeterministyczną maszynę stosową(nierozpatrywane na tym wykładzie)

25 a języki bezkontekstowe Wykład5,str4 TWIERDZENIE: MJęzyk akceptowany przez dowolną maszynę stosową jest bezkontekstowy Uwaga: Nie każdy język bezkontekstowy jest akceptowany przez jakąś maszynę stosową; ale każdy jest akceptowany przez jakąś niedeterministyczną maszynę stosową(nierozpatrywane na tym wykładzie) Prawie każdy praktyczny język bezkontekstowy jest akceptowany przez jakąś maszynę stosową, co umożliwia kompilowanie programów komputerowych

26 Gramatyki, języki, maszyny Wykład5,str5

27 Gramatyki, języki, maszyny Wykład5,str5 gramatyki prawoliniowe bezkontekstowe języki regularne bezkontekstowe akceptory automaty maszynyzestosem

28 Gramatyki, języki, maszyny Wykład5,str5 gramatyki prawoliniowe bezkontekstowe języki regularne bezkontekstowe akceptory automaty maszynyzestosem

29 Gramatyki, języki, maszyny Wykład5,str5 gramatyki prawoliniowe bezkontekstowe języki regularne bezkontekstowe akceptory automaty maszynyzestosem