SW wykład 4 - Slajd2: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 4: | Linia 4: | ||
Zaczynamy więc od dziedzin syntaktycznych. Definiować je będziemy jak | Zaczynamy więc od dziedzin syntaktycznych. Definiować je będziemy jak | ||
dotychczas, podając odpowiednią gramatykę bezkontekstową (w razie | dotychczas, podając odpowiednią gramatykę bezkontekstową (w razie | ||
potrzeby uzupełnioną dodatkowymi | potrzeby uzupełnioną dodatkowymi kontekstowymi ograniczeniami, które | ||
muszą spełniać napisy by być poprawnymi syntaktycznie frazami danej | muszą spełniać napisy by być poprawnymi syntaktycznie frazami danej | ||
kategorii składniowej języka (czyli elementami danej dziedziny | kategorii składniowej języka (czyli elementami danej dziedziny | ||
| Linia 11: | Linia 11: | ||
Dla każdej kategorii składniowej języka podajemy jej dziedzinę | Dla każdej kategorii składniowej języka podajemy jej dziedzinę | ||
semantyczną: zbiór obiektów, formalnie definiowanych z dziedzin | semantyczną: zbiór obiektów, formalnie definiowanych z dziedzin | ||
prostych (liczby całkowite, wartości logiczne, itp) przez stosowanie | prostych (liczby całkowite, wartości logiczne, itp.) przez stosowanie | ||
standardowych operacji na dziedzinach. Typowe przykłady takich | standardowych operacji na dziedzinach. Typowe przykłady takich | ||
operacji, służących budowaniu stopniowo coraz bardziej skomplikowanych | operacji, służących budowaniu stopniowo coraz bardziej skomplikowanych | ||
dziedzin semantycznych to iloczyn kartezjański, czy suma | dziedzin semantycznych, to iloczyn kartezjański, czy suma | ||
rozłączna. Najważniejszą jednak taką operacją jest tworzenie zbioru | rozłączna. Najważniejszą jednak taką operacją jest tworzenie zbioru | ||
funkcji pomiędzy danymi dziedzinami semantycznymi. Bardziej | funkcji pomiędzy danymi dziedzinami semantycznymi. Bardziej | ||
Aktualna wersja na dzień 12:21, 29 wrz 2006
Semantyka denotacyjna Dziedziny składniowe i semantyczne Funkcje semantyczne Kompozycjonalność Tiny. Semantyka denotacyjna Tiny. Semantyka denotacyjna, c.d. Pojęcia pomocnicze Pojęcia pomocnicze, c.d. |Tiny. Semantyka denotacyjna, c.d. Tiny. Semantyka denotacyjna, c.d. Problem z while Konstrukcje stałopunktowe Konstrukcje stałopunktowe, c.d. Konstrukcje stałopunktowe, c.d. Przykład Przykład, c.d. Dowód Dowód Zgodność semantyki denotacyjnej
Zaczynamy więc od dziedzin syntaktycznych. Definiować je będziemy jak dotychczas, podając odpowiednią gramatykę bezkontekstową (w razie potrzeby uzupełnioną dodatkowymi kontekstowymi ograniczeniami, które muszą spełniać napisy by być poprawnymi syntaktycznie frazami danej kategorii składniowej języka (czyli elementami danej dziedziny syntaktycznej).
Dla każdej kategorii składniowej języka podajemy jej dziedzinę semantyczną: zbiór obiektów, formalnie definiowanych z dziedzin prostych (liczby całkowite, wartości logiczne, itp.) przez stosowanie standardowych operacji na dziedzinach. Typowe przykłady takich operacji, służących budowaniu stopniowo coraz bardziej skomplikowanych dziedzin semantycznych, to iloczyn kartezjański, czy suma rozłączna. Najważniejszą jednak taką operacją jest tworzenie zbioru funkcji pomiędzy danymi dziedzinami semantycznymi. Bardziej szczegółowo pojęcie dziedziny semantycznej i metod budowania tych dziedzin będziemy jeszcze omawiać na tych zajęciach w jednym z kolejnych modułów.
Ten krok jest często kluczowy dla adekwatności definiowanej semantyki języka. Tu bowiem decydujemy, jakie potencjalne informacje mogą nieść znaczenia fraz języka, a jakie informacje nie będą mogły być w znaczeniach zawarte.
Dla niektórych prostych kategorii składniowych (np. zmiennych) opis ich semantyki wydaje się zbędny i będziemy go po prostu pomijać. Można wówczas przyjąć, że dziedzina semantyczna dla tej kategorii składniowej jest tożsama z dziedziną syntaktyczną, a odpowiadająca jej funkcja semantyczna to po prostu identyczność.
