"earley-algoritm" - 1 õppematerjal

Teoreetilibe informaatika kordamisküsimused

Teoreetiline informaatika Kordamisküsimuste vastused Eero Ringmäe 1. Hulkade spetsifitseerimine, tehted hulkadega, hulgateooria paradoksid. Hulk: Korteezh ­ järjestatud lõplik hulk. Hulk ­ mingi arv elemente, mille vahel on leitav seos ­ klassifitseeritud elementide kogum. Hulk ­ samalaadsete objektide järjestamata kogum. Hulga esitamine: elementide loeteluna A = {2;3;4} predikaadi abil A = {x | P(x)} Tühihulk on iga hulga osahulk. Iga hulk on iseenda osahulk. Hulga boleaan ­ kõigi osahulkade hulk. H boleaan on 2H. 2H = {x | x on osahulgaks H-le}. Boleaani võimsus |2H| = 2|H| Tühja hulga boleaani võimsus on 1. Tehted: Hulkade võrdsus = A on B osahulk AND B on A osahulk. Ekvivalentsiseose definitsioon ((A => B) && (B => A)) ­ hulgas sisaldavad samu elemente. Hulga osahulk ­ võib võrduda hulgaga. Hulga pärisosahulk ­ ei või võrduda. Hulkade ühend ­...