JĘZYKIFORMALNE IMETODYKOMPILACJI

Transkrypt

1 Stefan Sokołowski JĘZYKIFORMALNE IMETODYKOMPILACJI Inst. Informatyki Stosowanej, PWSZ Elbląg, 2009/2010

2 JĘZYKI FORMALNE reguły gry Wykład1,2X2009,str.1 Zasadnicze informacje: stefan/dydaktyka/jezform

3 JĘZYKI FORMALNE reguły gry Wykład1,2X2009,str.1 Zasadnicze informacje: stefan/dydaktyka/jezform slajdy do wykładów można(należy) robić notatki ale nie warto przepisywać slajdów z ekranu

4 JĘZYKI FORMALNE reguły gry Wykład1,2X2009,str.1 Zasadnicze informacje: stefan/dydaktyka/jezform slajdy do wykładów można(należy) robić notatki ale nie warto przepisywać slajdów z ekranu szkicowy program wykładu i laboratorium

5 JĘZYKI FORMALNE reguły gry Wykład1,2X2009,str.1 Zasadnicze informacje: stefan/dydaktyka/jezform slajdy do wykładów można(należy) robić notatki ale nie warto przepisywać slajdów z ekranu szkicowy program wykładu i laboratorium zadania z laboratorium w moich grupach

6 JĘZYKI FORMALNE reguły gry Wykład1,2X2009,str.1 Zasadnicze informacje: stefan/dydaktyka/jezform slajdy do wykładów można(należy) robić notatki ale nie warto przepisywać slajdów z ekranu szkicowy program wykładu i laboratorium zadania z laboratorium w moich grupach spis literatury itd.

7 JĘZYKI FORMALNE reguły gry Wykład1,2X2009,str.2 Kontakt ze mną: konsultacje: piątki, 18:00 19:30 w pok. 322

8 JĘZYKI FORMALNE reguły gry Wykład1,2X2009,str.2 Kontakt ze mną: konsultacje: piątki, 18:00 19:30 w pok s.sokolowski@inf.ug.edu.pl

9 JĘZYKI FORMALNE reguły gry Wykład1,2X2009,str.2 Kontakt ze mną: konsultacje: piątki, 18:00 19:30 w pok s.sokolowski@inf.ug.edu.pl antyspam: unikać frikoprowajderów: o2.pl wp.pl gazeta.pl

10 JĘZYKI FORMALNE reguły gry Wykład1,2X2009,str.2 Kontakt ze mną: konsultacje: piątki, 18:00 19:30 w pok s.sokolowski@inf.ug.edu.pl antyspam: unikać frikoprowajderów: o2.pl wp.pl gazeta.pl

11 JĘZYKI FORMALNE reguły gry Wykład1,2X2009,str.2 Kontakt ze mną: konsultacje: piątki, 18:00 19:30 w pok s.sokolowski@inf.ug.edu.pl antyspam: unikać frikoprowajderów: o2.pl wp.pl gazeta.pl najlepiej używać konta mailowego w IIS PWSZ

12 JĘZYKI FORMALNE reguły gry Wykład1,2X2009,str.3 Zaliczenie przedmiotu: laboratorium:min.56pkt.na100

13 JĘZYKI FORMALNE reguły gry Wykład1,2X2009,str.3 Zaliczenie przedmiotu: laboratorium:min.56pkt.na100 wykład:min.56pkt.na100(doliczamew.punktydodatkowezaaktywność w trakcie wykładu i za znalezienie błędów w slajdach) NIE MA ZWOLNIEŃ!

14 JĘZYKI FORMALNE reguły gry Wykład1,2X2009,str.3 Zaliczenie przedmiotu: laboratorium:min.56pkt.na100 wykład:min.56pkt.na100(doliczamew.punktydodatkowezaaktywność w trakcie wykładu i za znalezienie błędów w slajdach) NIE MA ZWOLNIEŃ! ocenaostateczna:0.4 laboratorium+0.6 wykład

15 JĘZYKI FORMALNE reguły gry Wykład1,2X2009,str.3 Zaliczenie przedmiotu: laboratorium:min.56pkt.na100 wykład:min.56pkt.na100(doliczamew.punktydodatkowezaaktywność w trakcie wykładu i za znalezienie błędów w slajdach) NIE MA ZWOLNIEŃ! ocenaostateczna:0.4 laboratorium+0.6 wykład Skala ocen:

16 Język formalny Wykład1,2X2009,str.4 Przykład: (nieformalny) M {a,aback,abandon,abase,...,zoom} język(skończony) składający się ze słów języka angielskiego

17 Język formalny Wykład1,2X2009,str.4 Przykład: (nieformalny) M {a,aback,abandon,abase,...,zoom} język(skończony) składający się ze słów języka angielskiego {0,1,10,11,100,101,...} język(nieskończony) składający się z liczb binarnych

18 Język formalny Wykład1,2X2009,str.4 Przykład: (nieformalny) M {a,aback,abandon,abase,...,zoom} język(skończony) składający się ze słów języka angielskiego {0,1,10,11,100,101,...} język(nieskończony) składający się z liczb binarnych { a n b n n 0 } ={λ,ab,aabb,aaabbb,...} język(nieskończony) składający się z takich słów, w których...

19 Język formalny Wykład1,2X2009,str.4 Przykład: (nieformalny) M {a,aback,abandon,abase,...,zoom} język(skończony) składający się ze słów języka angielskiego {0,1,10,11,100,101,...} język(nieskończony) składający się z liczb binarnych { a n b n n 0 } ={λ,ab,aabb,aaabbb,...} język(nieskończony) składający się z takich słów, w których występujątylkoliteryaib

20 Język formalny Wykład1,2X2009,str.4 Przykład: (nieformalny) M {a,aback,abandon,abase,...,zoom} język(skończony) składający się ze słów języka angielskiego {0,1,10,11,100,101,...} język(nieskończony) składający się z liczb binarnych { a n b n n 0 } ={λ,ab,aabb,aaabbb,...} język(nieskończony) składający się z takich słów, w których występujątylkoliteryaib, liczbaliterajestrównaliczbieliterb

21 Język formalny Wykład1,2X2009,str.4 Przykład: (nieformalny) M {a,aback,abandon,abase,...,zoom} język(skończony) składający się ze słów języka angielskiego {0,1,10,11,100,101,...} język(nieskończony) składający się z liczb binarnych { a n b n n 0 } ={λ,ab,aabb,aaabbb,...} język(nieskończony) składający się z takich słów, w których występujątylkoliteryaib, liczbaliterajestrównaliczbieliterb, wszystkie litery a poprzedzają wszystkie litery b.

22 Język formalny Wykład1,2X2009,str.5 DEFINICJA: MΣ skończony niepusty alfabet, czyli zbiór t.zw. liter

23 Język formalny Wykład1,2X2009,str.5 DEFINICJA: MΣ skończony niepusty alfabet, czyli zbiór t.zw. liter słowo dowolny ciąg skończonej długości o elementach z Σ

24 Język formalny Wykład1,2X2009,str.5 DEFINICJA: MΣ skończony niepusty alfabet, czyli zbiór t.zw. liter słowo dowolny ciąg skończonej długości o elementach z Σ Σ zbiórwszystkichsłów

25 Język formalny Wykład1,2X2009,str.5 DEFINICJA: MΣ skończony niepusty alfabet, czyli zbiór t.zw. liter słowo dowolny ciąg skończonej długości o elementach z Σ Σ zbiórwszystkichsłów język dowolnyzbiórsłówl Σ

26 Język formalny Wykład1,2X2009,str.5 DEFINICJA: MΣ skończony niepusty alfabet, czyli zbiór t.zw. liter słowo dowolny ciąg skończonej długości o elementach z Σ Σ zbiórwszystkichsłów język dowolnyzbiórsłówl Σ Przykład: Mλ słowopuste(ciągliterodługości0) Uwaga:toniejestlitera!

27 Język formalny Wykład1,2X2009,str.5 DEFINICJA: MΣ skończony niepusty alfabet, czyli zbiór t.zw. liter słowo dowolny ciąg skończonej długości o elementach z Σ Σ zbiórwszystkichsłów język dowolnyzbiórsłówl Σ Przykład: nie mylić! Mλ słowopuste(ciągliterodługości0) Uwaga:toniejestlitera! def ={} język pusty(nie zawierający żadnego słowa)

28 Język formalny Wykład1,2X2009,str.5 DEFINICJA: MΣ skończony niepusty alfabet, czyli zbiór t.zw. liter słowo dowolny ciąg skończonej długości o elementach z Σ Σ zbiórwszystkichsłów język dowolnyzbiórsłówl Σ Przykład: nie mylić! Mλ słowopuste(ciągliterodługości0) Uwaga:toniejestlitera! def ={} język pusty(nie zawierający żadnego słowa) Λ def ={λ} język zawierający wyłącznie słowo puste

29 Język formalny Wykład1,2X2009,str.5 DEFINICJA: MΣ skończony niepusty alfabet, czyli zbiór t.zw. liter słowo dowolny ciąg skończonej długości o elementach z Σ Σ zbiórwszystkichsłów język dowolnyzbiórsłówl Σ Przykład: nie mylić! Mλ słowopuste(ciągliterodługości0) Uwaga:toniejestlitera! def ={} język pusty(nie zawierający żadnego słowa) Λ def ={λ} język zawierający wyłącznie słowo puste Przykład: M1 (2 1) (1 (2 1)) słowonadalfabetemσ def ={(,),,,1,2}

30 Język formalny Wykład1,2X2009,str.5 DEFINICJA: MΣ skończony niepusty alfabet, czyli zbiór t.zw. liter słowo dowolny ciąg skończonej długości o elementach z Σ Σ zbiórwszystkichsłów język dowolnyzbiórsłówl Σ Przykład: nie mylić! Mλ słowopuste(ciągliterodługości0) Uwaga:toniejestlitera! def ={} język pusty(nie zawierający żadnego słowa) Λ def ={λ} język zawierający wyłącznie słowo puste Przykład: M1 (2 1) (1 (2 1)) słowonadalfabetemσ def ={(,),,,1,2} {λ,a,b,ab,ba} języknadalfabetemσ def ={a,b}zawierającypięćsłów

31 Język formalny Wykład1,2X2009,str.5 DEFINICJA: MΣ skończony niepusty alfabet, czyli zbiór t.zw. liter słowo dowolny ciąg skończonej długości o elementach z Σ Σ zbiórwszystkichsłów język dowolnyzbiórsłówl Σ Przykład: nie mylić! Mλ słowopuste(ciągliterodługości0) Uwaga:toniejestlitera! def ={} język pusty(nie zawierający żadnego słowa) Λ def ={λ} język zawierający wyłącznie słowo puste Przykład: M1 (2 1) (1 (2 1)) słowonadalfabetemσ def ={(,),,,1,2} {λ,a,b,ab,ba} języknadalfabetemσ def ={a,b}zawierającypięćsłów { } a n n 0 ={λ,a,aa,aaa,...} jęz.nieskończ.nadalf.σ def ={a}

32 Jak porządnie opisać język nieskończony? Wykład1,2X2009,str.6

33 Jak porządnie opisać język nieskończony? Wykład1,2X2009,str.6 {λ,ab,aabb,aaabbb,...} cooznaczająkropeczki?

34 Jak porządnie opisać język nieskończony? Wykład1,2X2009,str.6 {λ,ab,aabb,aaabbb,...} cooznaczająkropeczki? { a n b n n 0 } lepiej,alesąniepożądaneelementyobce (liczby,zmienne,relacje,...)

35 Jak porządnie opisać język nieskończony? Wykład1,2X2009,str.6 {λ,ab,aabb,aaabbb,...} cooznaczająkropeczki? { a n b n n 0 } lepiej,alesąniepożądaneelementyobce (liczby,zmienne,relacje,...) Język definiujemy na dwa sposoby. Przez generator cokolwiek wyprodukuje, uważamy za należące do języka

36 Jak porządnie opisać język nieskończony? Wykład1,2X2009,str.6 {λ,ab,aabb,aaabbb,...} cooznaczająkropeczki? { a n b n n 0 } lepiej,alesąniepożądaneelementyobce (liczby,zmienne,relacje,...) Język definiujemy na dwa sposoby. Przez generator cokolwiek wyprodukuje, uważamy za należące do języka akceptor cokolwiek zatwierdzi, uważamy za należące do języka

37 Jak porządnie opisać język nieskończony? Wykład1,2X2009,str.6 {λ,ab,aabb,aaabbb,...} cooznaczająkropeczki? { a n b n n 0 } lepiej,alesąniepożądaneelementyobce (liczby,zmienne,relacje,...) Język definiujemy na dwa sposoby. Przez generator cokolwiek wyprodukuje, uważamy za należące do języka akceptor cokolwiek zatwierdzi, uważamy za należące do języka Opis języka programowania przeznaczony dla programisty powinien być generatorem ma wyjaśniać, jak pisać poprawne programy.

38 Jak porządnie opisać język nieskończony? Wykład1,2X2009,str.6 {λ,ab,aabb,aaabbb,...} cooznaczająkropeczki? { a n b n n 0 } lepiej,alesąniepożądaneelementyobce (liczby,zmienne,relacje,...) Język definiujemy na dwa sposoby. Przez generator cokolwiek wyprodukuje, uważamy za należące do języka akceptor cokolwiek zatwierdzi, uważamy za należące do języka Opis języka programowania przeznaczony dla programisty powinien być generatorem ma wyjaśniać, jak pisać poprawne programy. Kompilator języka programowania powinien zawierać akceptor sprawdzający, czy program na jego wejściu należy do języka.

39 Generatory: gramatyki bezkontekstowe Wykład1,2X2009,str.7 DEFINICJA: Gramatyka bezkontekstowa G M

40 Generatory: gramatyki bezkontekstowe Wykład1,2X2009,str.7 DEFINICJA: Gramatyka bezkontekstowa G M alfabetterminalnyσ

41 Generatory: gramatyki bezkontekstowe Wykład1,2X2009,str.7 DEFINICJA: Gramatyka bezkontekstowa G M alfabetterminalnyσ; alfabet nieterminalny lub pomocniczy N(rozłączny z Σ)

42 Generatory: gramatyki bezkontekstowe Wykład1,2X2009,str.7 DEFINICJA: Gramatyka bezkontekstowa G M alfabetterminalnyσ; alfabet nieterminalny lub pomocniczy N(rozłączny z Σ); skończonyzbiórpprodukcjipostacia w gdziea Niw (N Σ)

43 Generatory: gramatyki bezkontekstowe Wykład1,2X2009,str.7 DEFINICJA: Gramatyka bezkontekstowa G M alfabetterminalnyσ; alfabet nieterminalny lub pomocniczy N(rozłączny z Σ); skończonyzbiórpprodukcjipostacia w, gdziea Niw (N Σ) ; wybrany nieterminal S N nazywany symbolem początkowym albo aksjomatem gramatyki.

44 Generatory: gramatyki bezkontekstowe Wykład1,2X2009,str.7 DEFINICJA: Gramatyka bezkontekstowa G M alfabetterminalnyσ; alfabet nieterminalny lub pomocniczy N(rozłączny z Σ); skończonyzbiórpprodukcjipostacia w, gdziea Niw (N Σ) ; wybrany nieterminal S N nazywany symbolem początkowym albo aksjomatem gramatyki. Przykład: MTerminale: a, b Nieterminale: A Produkcje: A λ A aaa A bab