Wykład5,str1 p 0,Z 0Z 0,0 00 q λ,z λ r
Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana Z p 0,Z 0Z 0,0 00 q λ,z λ r
Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana 0 Z p 0,Z 0Z 0,0 00 q λ,z λ r
Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana 0 0 Z p 0,Z 0Z 0,0 00 q λ,z λ r
Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana 0 Z p 0,Z 0Z 0,0 00 q λ,z λ r
Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana Z p 0,Z 0Z 0,0 00 q λ,z λ r
Wykład5,str1 Słowo na wejściu: 0011 część nieprzeczytana p 0,Z 0Z 0,0 00 q λ,z λ r
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:
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)
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
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)
Wykład5,str2 Język akceptowany: { 0 n 1 n n 1 } p 0,Z 0Z 0,0 00 q λ,z λ r
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,λ
Wykład5,str3 DEFINICJA: Maszyna ze stosem M M
Wykład5,str3 DEFINICJA: Maszyna ze stosem M M skończonyzbiórqstanów
Wykład5,str3 DEFINICJA: Maszyna ze stosem M M skończonyzbiórqstanów, skończony zbiór Σ liter wejściowych
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
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
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)
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
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
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
a języki bezkontekstowe Wykład5,str4 TWIERDZENIE: MJęzyk akceptowany przez dowolną maszynę stosową jest bezkontekstowy
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)
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
Gramatyki, języki, maszyny Wykład5,str5
Gramatyki, języki, maszyny Wykład5,str5 gramatyki prawoliniowe bezkontekstowe języki regularne bezkontekstowe akceptory automaty maszynyzestosem
Gramatyki, języki, maszyny Wykład5,str5 gramatyki prawoliniowe bezkontekstowe języki regularne bezkontekstowe akceptory automaty maszynyzestosem
Gramatyki, języki, maszyny Wykład5,str5 gramatyki prawoliniowe bezkontekstowe języki regularne bezkontekstowe akceptory automaty maszynyzestosem