vasakul - 1, pole - 0 Vahepealsed liikumised ei olegi olekud; olekud ainult siis, kui paat ühele kaldale randunud. Nt Algus (1, 2, 1) - isa vasakul kaldal, 2 poega vasakul kaldal, paat vasakul kaldal Lõpp (0, 0, 0) - kedagi vasakul kaldal ei ole. Produktsioonide esitamine? (lisatingimusi arvestades välja kirjutada probleemid) nt üks grupp produktsioone vasak kallas -> parem kallas ja teine parem kallas -> vasak kallas Laiutiotsing - algolek on algtipp, variandid järgmised olekud (puu läbi vaatamine, kus tipud läbitakse tasehaaval) Semantilised võrgud Koostada semantiline võrk (väh 5 tippu), mis esitab ametialaseid vm suhteid inimeste vahel (valdkonna võib vabalt valida). Harjutusülesanded predikaatarvutuses ------------------------------------- E - keegi (olemasolukvantor) A - iga (üldisuskvantor) ½ - eitus & - konjuktsioon V - disjunktsioon ------------------------------------- 2 - Vanakraamikaupmees
See järjestusseos on esitatav nii: Lõpliku osaliselt järjestatud hulga Hasse diagrammi leidmise algoritm: 1. Esita järjestusseos (R , ) suunatud graafina 2. Kuna järjestusseos on refleksiivne, siis igas punktis (a , a) esineb silmus. Eemalda need silmused. 3. Järgmisena eemalda kõik servad, mis peavad seal olema transitiivsuse tõttu. Ehk eemalda kõik servad (a , c ) , mille korral leidub b R nii, et a b ja b c . 4. Säti servad nii, et graafi algtipp oleks allpool lõpptippu. 5. Eemalda kõik suunad, sest kõik servad on nüüdseks juba suunatud üles. Vähim ja suurim element Definitsioon A a0 a0 a Osaliselt järjestatud hulga elementi nimetatakse vähimaks, kui iga a P a a0 korral