SW wykład 4 - Slajd5
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ą.
