SW wykład 2 - Slajd4

<<powrót do strony wykładu

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.