Pobieranie prezentacji. Proszę czekać

Pobieranie prezentacji. Proszę czekać

Lingwistyka Matematyczna Mgr inż. Michał Jaros Lingwistyka Matematyczna wykład 3.

Podobne prezentacje


Prezentacja na temat: "Lingwistyka Matematyczna Mgr inż. Michał Jaros Lingwistyka Matematyczna wykład 3."— Zapis prezentacji:

1 Lingwistyka Matematyczna Mgr inż. Michał Jaros Lingwistyka Matematyczna wykład 3

2 Lingwistyka Matematyczna Agenda Wyprowadzanie zdań Analiza zdań Gramatyki klasy LL(1) Podsumowanie Q&A Mgr inż. Michał Jaros2

3 Lingwistyka Matematyczna Wyprowadzanie zdań W gramatyce Chomskyego: Matematyczna definicja języka; Wyprowadzanie ciągów symboli; Bezpośrednie wyprowadzanie ciągów symboli; Mgr inż. Michał Jaros3

4 Lingwistyka Matematyczna Wyprowadzanie zdań Praktyka Przykładowa gramatyka: S ::= A B A ::= a | b B ::= c | d Mgr inż. Michał Jaros4 Symbol początkowy: S Symbole pomocnicze: N = {S, A, B} Symbole końcowe (słownik): T = {a, b, c, d}

5 Lingwistyka Matematyczna Wyprowadzanie zdań Gramatyka: S ::= A B A ::= a | b B ::= c | d Mgr inż. Michał Jaros5 Zdania z gramatyki: ac ad bc bd Wyprowadzanie zdań S AB aB ac S AB aB ad S AB bB bc S AB bB bd

6 Lingwistyka Matematyczna Wyprowadzanie zdań Wyprowadzenie zdania: dc Ciąg wyprowadzeń: S AB Błąd ! Wyprowadzanie zdań – sprawdzanie poprawności Mgr inż. Michał Jaros6 S ::= A B A ::= a | b B ::= c | d

7 Lingwistyka Matematyczna Analiza zdań Analiza polega na rozbiorze struktur zdaniowych i zdań; Celem rozbioru zdania jest sprawdzenie poprawności zdania; Zadaniem teorii analizy składniowej jest opracowywanie algorytmów rozbioru języka; Mgr inż. Michał Jaros7

8 Lingwistyka Matematyczna Analiza zdań Rozbiór zdania Rozbiór zstępujący (ang. Top-down); Rozbiór wstępujący (ang. Bottom-up); Mgr inż. Michał Jaros8

9 Lingwistyka Matematyczna Analiza zdań Rozbiór zstępujący (Top-down): Wyjście z symbolu początkowego; Dopasowywanie do symbolu z lewej strony zdania; Rozbiór z powrotami lub bez powrotów; Mgr inż. Michał Jaros9

10 Lingwistyka Matematyczna Analiza zdań Rozbiór wstępujący (Bottom-up) (Shift-Reduce): Wychodzimy ze zdania i próbujemy otrzymać symbol początkowy; Odnajdywanie i zastępowanie najbardziej podstawowych elementów w zdaniu; Mgr inż. Michał Jaros10

11 Lingwistyka Matematyczna Analiza zdań – Top-down Mgr inż. Michał Jaros11 Gramatyka: S ::= A B A ::= a | b B ::= c | d Czy zdanie ac należy do języka ? Rozbiór S A B a B B c -- a c c --

12 Lingwistyka Matematyczna Rekurencja Rekurencja (rekursja) – symbol pomocniczy powtarza się z lewej i prawej strony produkcji S::=xA A::=z|yA Zdania należące do gramatyki: xz xyz xyyz xyyyz … Mgr inż. Michał Jaros12

13 Lingwistyka Matematyczna Rekurencja Gramatyka dla liczb naturalnych: S::=N N::=C|NC C::=0|1|2|3|4|5|6|7|8|9 Przykładowe zdanie: S N C 5 S N NC 15 S N NC NCC NCCC CCCC Mgr inż. Michał Jaros13

14 Lingwistyka Matematyczna Analiza zdań – Top-down Gramatyka: S::=N N::=C|NC C::=0|1|2|3|4|5|6|7|8|9 Czy zdanie 15 należy do języka ? Mgr inż. Michał Jaros14 Rozbiór S N C Błąd ?

15 Lingwistyka Matematyczna Gramatyki klasy LL(1) Podzbiór gramatyk bezkontekstowych; Rozbieralne analizatorami zstępującymi; Dwie reguły gramatyczne dla gramatyk klasy LL(1) Mgr inż. Michał Jaros15

16 Lingwistyka Matematyczna Gramatyki klasy LL(1) – Reguła 1 Dla zadanej gramatyki zawierającej produkcję postaci zbiory symboli pierwszych które mogą być wyprowadzone z A muszą być rozłączne Mgr inż. Michał Jaros16

17 Lingwistyka Matematyczna Gramatyki klasy LL(1) – Reguła 2 Dla każdego symbolu A N, z którego można wyprowadzić pusty ciąg symboli zbiór jego pierwszych symboli musi być rozłączny ze zbiorem symboli, które mogą następować po dowolnym ciągu wyprowadzonym z A, tzn Mgr inż. Michał Jaros17

18 Lingwistyka Matematyczna Gramatyki klasy LL(1) Zbiór symboli pierwszych pierw( ξ ) – zbiór wszystkich symboli końcowych, które mogą wystąpić na pierwszej pozycji w zdaniach wyprowadzonych z ξ. 1.Pierwszy symbol argumentu to symbol końcowy: pierw(aξ) = {a} 2.Pierwszy symbol argumentu to symbol pomocniczy: A ::= α 1 | α 2 | α 3 | … | α n pierw(Aξ) = pierw(α 1 ) pierw(α 2 ) pierw(α 3 ) … pierw(α n ) Mgr inż. Michał Jaros18

19 Lingwistyka Matematyczna Gramatyki klasy LL(1) Zbiór symboli następnych nast(A) – dla każdej produkcji postaci X ::= ξAη do zbioru nast(A) dołączamy zbiór pierw(η). Jeżeli z η można wyprowadzić pusty ciąg symboli to do nast(A) musimy dołączyć również nast(X) Mgr inż. Michał Jaros19

20 Lingwistyka Matematyczna Gramatyki klasy LL(1) Lewostronna faktoryzacja Produkcję postaci: A ::= αξ 1 | αξ 2 | αξ 3 | … | αξ n | β 1 | β 2 | β 3 | … | β n Należy zastąpić produkcjami: A ::= αA | β 1 | β 2 | β 3 | … | β n A ::= ξ 1 | ξ 2 | ξ 3 | … | ξ n Mgr inż. Michał Jaros20

21 Lingwistyka Matematyczna Gramatyki klasy LL(1) Przed poprawieniem S::=A+A|A-A|A|x A::=y|z Po poprawieniu S ::=AS|x S::=+A|-A|ε A ::=y|z Mgr inż. Michał Jaros21

22 Lingwistyka Matematyczna Gramatyki klasy LL(1) Eliminacja lewostronnej rekurencji Produkcję postaci: A ::= Aα 1 | Aα 2 | Aα 3 | … | Aα n | β 1 | β 2 | β 3 | … | β n Należy zastąpić produkcjami: A ::= β 1 A | β 2 A | β 3 A | … | β n A A ::= α 1 A | α 2 A | α 3 A | … | α n A | ε Mgr inż. Michał Jaros22

23 Lingwistyka Matematyczna Gramatyki klasy LL(1) Przed poprawieniem S::=N N::=C|NC C::=0|1|2|3|4|5|6|7|8|9 Po poprawieniu S ::=N N ::=CN N::=CN|ε C ::=0|1|2|3|4|5|6|7|8| Mgr inż. Michał Jaros23

24 Lingwistyka Matematyczna Podsumowanie Wyprowadzanie zdań Analiza zdań Gramatyki klasy LL(1) Mgr inż. Michał Jaros24

25 Lingwistyka Matematyczna Q&A Mgr inż. Michał Jaros25

26 Lingwistyka Matematyczna KONIEC Mgr inż. Michał Jaros26


Pobierz ppt "Lingwistyka Matematyczna Mgr inż. Michał Jaros Lingwistyka Matematyczna wykład 3."

Podobne prezentacje


Reklamy Google