Dyskusja:Semantyka i weryfikacja programów/Ćwiczenia 1: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 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. --[[Użytkownik:MKonarski|MKonarski]] 15:12, 18 paź 2006 (CEST) | 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. | |||
--[[Użytkownik:MKonarski|MKonarski]] 15:12, 18 paź 2006 (CEST) | |||
Wersja z 13:51, 18 paź 2006
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)
