SW wykład 2 - Slajd4: 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}} | {{Szablon:Semantyka i weryfikacja programów/Wykład 2}} | ||
[[Grafika:sw0203.png|frame|center|]] | [[Grafika:sw0203.png|frame|center|]] | ||
Na tych zajęciach problemy składni potraktujemy bardzo nieformalnie. | Na tych zajęciach problemy składni potraktujemy bardzo nieformalnie. | ||
Podając składnię poszczególnych kategorii składniowych języka i | Podając składnię poszczególnych kategorii składniowych języka i | ||
wykorzystując ją jako składnię konkretną do zapisu przykładów i | wykorzystując ją jako składnię konkretną do zapisu przykładów i | ||
konstrukcji językowych, jednocześnie traktować jej definicję | konstrukcji językowych, jednocześnie będziemy traktować jej definicję | ||
jako definicję składni abstrakcyjnej, przyjmując niejawnie, | jako definicję składni abstrakcyjnej, przyjmując niejawnie, że | ||
rozbicie programów na frazy zadane przez poszczególne konstrukcje | rozbicie programów na frazy zadane przez poszczególne konstrukcje | ||
językowe (produkcje gramatyki bezkontekstowej) jest jednoznaczne --- a | językowe (produkcje gramatyki bezkontekstowej) jest jednoznaczne --- a | ||
w razie wątpliwości, w tych materiałach wskazywać będziemy strukturę | w razie wątpliwości, w tych materiałach wskazywać będziemy strukturę | ||
fraz składniowych przez dodatkowe nawiasy lub czytelne wcięcia tekstu. | fraz składniowych przez dodatkowe nawiasy lub czytelne wcięcia tekstu. | ||
Aktualna wersja na dzień 10:30, 27 wrz 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
Na tych zajęciach problemy składni potraktujemy bardzo nieformalnie. Podając składnię poszczególnych kategorii składniowych języka i wykorzystując ją jako składnię konkretną do zapisu przykładów i konstrukcji językowych, jednocześnie będziemy traktować jej definicję jako definicję składni abstrakcyjnej, przyjmując niejawnie, że rozbicie programów na frazy zadane przez poszczególne konstrukcje językowe (produkcje gramatyki bezkontekstowej) jest jednoznaczne --- a w razie wątpliwości, w tych materiałach wskazywać będziemy strukturę fraz składniowych przez dodatkowe nawiasy lub czytelne wcięcia tekstu.
