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. --MKonarski 15:12, 18 paź 2006 (CEST)