Rozbiór wstępujący gramatyki z pierwszeństwem. Rozbiór wstępujący gramatyki z pierwszeństwem

Wielkość: px

Rozpocząć pokaz od strony:

Download "Rozbiór wstępujący gramatyki z pierwszeństwem. Rozbiór wstępujący gramatyki z pierwszeństwem"

Kajetan Borowski
7 lat temu
Przeglądów:

1 Rozbiór wstępujący grmtyki z pierwszeństwem Rozbiór wstępujący budujemy drzewo rozbioru od liści W ciągu symboli wejściowych musimy znleźć podstwę czyli uchwyt njbliższej redukcji, czyli podciąg który zostnie zredukowny w pierwszym kroku Nstępnie dokonujemy redukcji Znowu wyszukujemy podstwę ::=) podstw ) ) Wykłd10,4XII2009,str2 Rozbiór wstępujący grmtyki z pierwszeństwem Rozbiór wstępujący budujemy drzewo rozbioru od liści W ciągu symboli wejściowych musimy znleźć podstwę czyli uchwyt njbliższej redukcji, czyli podciąg który zostnie zredukowny w pierwszym kroku Nstępnie dokonujemy redukcji Znowu wyszukujemy podstwę I dokonujemy redukcji Te kroki powtrzmy ż do skonstruowni cłego drzew ::=) ) ) W jki sposób znjdujemy podstwę redukcji?

2 Rozbiór wstępujący grmtyki z pierwszeństwem W jki sposób znjdujemy podstwę redukcji? Relcje wpisne w tblicę związne są z kolejnością redukowni poszczególnych symboli: jeślix =ytosymbolexiybędąsięredukowć rzemjeślistojąkołosiebieijedennleżydo podstwy, to drugi też); jeślix ytosymbolxpowinienzczekć,ży zostnie zredukownyjeśli stoją koło siebie i y nleżydopodstwy,toxnienleżydopodstwy); jeślix ytosymbolypowinienzczekć,żx zostnie zredukownyjeśli stoją koło siebie i x nleżydopodstwy,toynienleżydopodstwy); jeśliniemmiędzynimiżdnejrelcji,tonie powinny stć obok siebiejeśli stoją koło siebie, tojesttobłąd) ::=) Tblic pierwszeństw redukcji: ) = = = Wykłd10,4XII2009,str4 Rozbiór wstępujący grmtyki z pierwszeństwem W jki sposób znjdujemy podstwę redukcji? ) ) = = = = ::=) Tblic pierwszeństw redukcji: ) = = =

3 Rozbiór wstępujący grmtyki z pierwszeństwem W jki sposób znjdujemy podstwę redukcji? ) ) ::= ) Tblic pierwszeństw redukcji: ) = = = Jk skonstruowć tblicę pierwszeństw? Dljkichgrmtykdsiętozrobić? Konstrukcj tblic pierwszeństw Wykłd10,4XII2009,str6 Niech G = Σ, N, P, S będzie grmtyką bezkontekstową DEFINICJ: MNiech N { fst = x Σ N istniejewpjkśprodukcj xv fst + = fst { fst + BB N&B fst { istniejewpjkśprodukcj wx lst = x Σ N lst + = lst { lst + BB N&B lst Przykłd: M::= ) fst={, Przykłd: M ::= Q ) Q ::= fst ={, Q fst + ={, Q fst + Q ={, Q,

4 Konstrukcj tblic pierwszeństw Niech G = Σ, N, P, S będzie grmtyką bezkontekstową DEFINICJ: MRelcje =,, wσ Nokreślonesąnstępująco: x =y wpistniejeprodukcj wxyv x y x y wpistniejeprodukcj wxbv tkżey fst + B wpistniejeprodukcj wbyv tkżex lst + B xb y By lub wpistniejeprodukcj wbcv tkżex lst + Biy fst + C B C xy x Konstrukcj tblic pierwszeństw Wykłd10,4XII2009,str8 Przykłd: M::= ) x =y x y istniejeprodukcj wxyv = = =) istniejeprodukcj wxbvtkżey fst + B bofst + ={,) x y istniejeprodukcj wbyvtkżex lst + B bolst + ={,)) lubistniejeprodukcj wbcvtkżex lst + Biy fst + C

5 Konstrukcj tblic pierwszeństw Uwg: ) = = = niejestprwdą,żezwsze x =x npniezchodzi =); niejestprwdą,żezwszez x =y wynik y =x npzchodzi =) leniezchodzi ) =); niejestprwdą,żezwszez x y wynik y x npzchodzi leniezchodzi ); niejestprwdą,żezwszez x y i y =z wynik x z npzchodzi i =) leniezchodzi )) Wykłd10,4XII2009,str10 Zkres stosowlności grmtyk z pierwszeństwem Przykłd: W + S Poniewżi W sąsidująwtejsmejprodukcji,więc = W M W ::= S W ) S ::= l Poniewż W fst + W,więc W Dl tej grmtyki nie d się więc skonstruowć tblicy pierwszeństw Przykłd: M ::= B B ::= Nie widomo, do jkiego nieterminlu redukowć smotne Dl tej grmtyki nie d się zstosowć nlizy z pierwszeństwem DEFINICJ: MGrmtyk bezkontekstow G = Σ, N, P, S jest grmtyką z pierwszeństwem jeśli dlkżdychdwóchsymbolix,y Σ N,zchodzinjwyżejjedenze związkówx =y,x y,x ymożeniezchodzićżden), nieistniejądwieróżneprodukcjeotejsmejprwejstronie,niprodukcjopustejprwejstronie: λ

Podobne dokumenty

Przekształcenia automatów skończonych

Przekształcenia automatów skończonych Przeksztłceni utomtów skończonych Teori utomtów i języków formlnych Dr inŝ. Jnusz Mjewski Ktedr Informtyki Konstrukcj utomtu skończonego n podstwie wyrŝeni regulrnego (lgorytm Thompson) Wejście: wyrŝenie