Dyskusja:Semantyka i weryfikacja programów/Ćwiczenia 1

Czy nie lepiej pierwsze cwiczenia zrobic o skladni abstrakcyjnej i opisywaniu semantyki w jezyku naturalnym? Bo te tutaj cwiczenia nr 1 mozna zrobic dopiero po wykladzie nr 2... A nim sie pokaze pierwsza gramatyke (i to w notacji BNF, i z indeksami w nieterminalach, i z metanotacja na dziedzine syntaktyczna liczb, indentyfikatorow, etc.) dobrze sie wczesniej z tych notacji wytlumaczyc. To jest omowione na wykladzie 2 na slajdzie 8, ale takie szczegoly chyba lepiej wyjasnic na cwiczeniach, wczesniej niz na wykladzie i na konkretnych przykladach robionych przez studentow.

Ja przy okazji opowiadam im wtedy o lekserze (identyfikatory i liczby), parserze (dzieki ktoremu mozemy ignorowac skladnie konkretna), pytam czy Pascal jest bezkontekstowy, a skoro nie, to widac dlaczego kompilator sklada sie z wiecej niz tylko parsera i generatora kodu maszynowego i wszystko powyzej parsera wymaga zdefiniowanej semantyki, etc.). Dobrze tez napisac jakich zamotany program i poprosic studentow, zeby po kawalki nasmarowali na tablicy drzewo rozbioru gramatycznego --- juz tutaj indeksy przy nieterminalach sie przydaja.

--MKonarski 15:12, 18 paź 2006 (CEST)

Zdadzam sie. Chyba po prostu wydawalo nam sie, ze szkoda czasu na takie rzeczy.

--SL