SW wykład 2 - Slajd11: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| (Nie pokazano 1 wersji utworzonej przez jednego użytkownika) | |||
| Linia 1: | Linia 1: | ||
{{Szablon:Semantyka i weryfikacja programów/Wykład 2}} | |||
[[Grafika:sw0210.png|frame|center|]] | [[Grafika:sw0210.png|frame|center|]] | ||
Definicję semantyki poszczególnych kategorii składniowych języka | |||
rozpoczynamy od określenia odpowiadających im kategorii semantycznych, | |||
rozumianych (na razie) jako zbiory potencjalnych znaczeń dla fraz | |||
języka. | |||
Dwie podstawowe kategorie semantyczne to (dwuelementowy) zbiór | |||
wartości logicznych i zbiór liczb całkowitych. | |||
Możemy już określić oczywistą funkcję semantyczną dla stałych | |||
arytmetycznych, która przypisuje każdej stałej numerycznej jej wartość | |||
(liczbę całkowitą). Zwróćmy przy okazji uwagę na konwencje używania w | |||
tych materiałach koloru brązowego dla obiektów syntaktycznych, a | |||
zielonego dla obiektów semantycznych. Wart podkreślenia jest też | |||
(standardowy w literaturze) zwyczaj używania podwójnych nawiasów | |||
kwadratowych dla aplikacji funkcji semantycznych do ich argumentów | |||
(obiektów syntaktycznych). | |||
Aktualna wersja na dzień 11:03, 22 sie 2006
Składnia Składnia konkretna Składnia abstrakcyjna Przyjmowane założenia Przykład wiodący Kategorie składniowe Kategorie składniowe, c.d. Uwagi Indukcja strukturalna Definicje indukcyjne Kategorie semantyczne Wartościowanie zmiennych Semantyka wyrażeń Semantyka wyrażeń logicznych Semantyka instrukcji Prosty fakt Dowód Przezroczystość odwołań Semantyka operacyjna Obliczenia Semantyka operacyjna Tiny Własności Własności, c.d. Warianty definicji
Definicję semantyki poszczególnych kategorii składniowych języka rozpoczynamy od określenia odpowiadających im kategorii semantycznych, rozumianych (na razie) jako zbiory potencjalnych znaczeń dla fraz języka.
Dwie podstawowe kategorie semantyczne to (dwuelementowy) zbiór wartości logicznych i zbiór liczb całkowitych.
Możemy już określić oczywistą funkcję semantyczną dla stałych arytmetycznych, która przypisuje każdej stałej numerycznej jej wartość (liczbę całkowitą). Zwróćmy przy okazji uwagę na konwencje używania w tych materiałach koloru brązowego dla obiektów syntaktycznych, a zielonego dla obiektów semantycznych. Wart podkreślenia jest też (standardowy w literaturze) zwyczaj używania podwójnych nawiasów kwadratowych dla aplikacji funkcji semantycznych do ich argumentów (obiektów syntaktycznych).
