SW wykład 4 - Slajd5: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 7: | Linia 7: | ||
Zaczynamy od definicji dziedzin syntaktycznych: jak zapowiadaliśmy, | Zaczynamy od definicji dziedzin syntaktycznych: jak zapowiadaliśmy, | ||
zadajemy je tu po prostu gramatyką bezkontekstową, | zadajemy je tu po prostu gramatyką bezkontekstową, tą samą, którą już | ||
podaliśmy przedstawiając semantykę operacyjną. | podaliśmy przedstawiając semantykę operacyjną. | ||
Aktualna wersja na dzień 12:29, 29 wrz 2006
Semantyka denotacyjna Dziedziny składniowe i semantyczne Funkcje semantyczne Kompozycjonalność Tiny. Semantyka denotacyjna Tiny. Semantyka denotacyjna, c.d. Pojęcia pomocnicze Pojęcia pomocnicze, c.d. |Tiny. Semantyka denotacyjna, c.d. Tiny. Semantyka denotacyjna, c.d. Problem z while Konstrukcje stałopunktowe Konstrukcje stałopunktowe, c.d. Konstrukcje stałopunktowe, c.d. Przykład Przykład, c.d. Dowód Dowód Zgodność semantyki denotacyjnej
Jak poprzednio dla semantyki operacyjnej, tak i semantykę denotacyjną przedstawimy na przykładzie semantyki naszego prościutkiego języka TINY.
Zaczynamy od definicji dziedzin syntaktycznych: jak zapowiadaliśmy, zadajemy je tu po prostu gramatyką bezkontekstową, tą samą, którą już podaliśmy przedstawiając semantykę operacyjną.
