Hello!
Wednesday, January 5, 2005, 9:45:29 AM-kor írtad:
PP> Szia!
PP> Mi a különbség a 120-as fólián az X in \{Y}, és az X in \dom(Y)
PP> indexikális között? Miért van egyáltalán szükség arra, hogy a
PP> változókat dom-ba ágyazzuk be?
PP> Előre is köszönöm a válaszokat.
PP> Üdv: Peti
Az a különbség, hogy a "pucér" változókat tartalmazó kifejezéseket
csak akkor tudja kiértékelni, ha az behelyettesítődött, tehát
nem egy halmazról van szó, hanem 1 értékről (ezért teszi {}-be, hogy
halmaz legyen belőle). dom(Y) a pillanatnyilag lehetséges értékek
halmazát adja, mindig kiértékelhető.
Üdv.:
Laci