Vaatame regulaaravaldist (ab)*aba*. Märgi järgnevate väidete hulgast kõik tõesed. (Üleminekud peaksid käima tähthaaval nagu loengus, s.t. terve sõnega üleminekud ei ole lubatud.)

Märgi ära kõik automaadid, mis on järgmise automaadi eitusega samaväärsed. Automaadi eitus on selline automaat, mis tunneb ära täpselt need sõnad üle tähestiku {0,1}, mis etteantud automaat tagasi lükkab.

Selles ülesandes tuleb seada vastavusse automaat ja tema poolt defineeritud keele sõnaline kirjeldus.

Tähestik on kõigil keeltel {a,b}, seega kui kirjelduses on öeldud midagi ainult ühe tähe kohta, siis see tähendab, et antud keel ei sea mingeid piiranguid teise tähe esinemise kohta.

Näiteks kirjeldus "sõnad, mis sisaldavad täpselt kahte a-d" tähistab keelt, mis moodustub kõikidest sõnadest üle tähestiku {a,b}, milles esineb täpselt kaks a-d: {aa, aab, aba, baa, aabb, abab, abba, baab, baba, bbaa, aabbb, ababb, ...}

Pane tähele, et igale automaadile tuleb valida selline kirjeldus, mis kirjeldab täpselt sama keelt nagu automaat -- kui automaat aktsepteerib mõnda sõna mida keele kirjeldus ei luba või vastupidi, siis vastavus ei kehti.

Märgige ära need regulaaravaldised, mille kõik sõned on ülaloleva mitte-deterministliku automaadi poolt aktsepteeritud.

(Automaat võib rohkem sõnesid aktsepteerida, aga regulaaravaldise keel peab olema automaadi keele alamhulk. Näiteks regulaaravaldis "aa" genereerib ühesõnelise keele { "aa" }, mille kõik sõned kuuluvad automaadi keelde.)

Märkige need regulaaravaldised, mille kõik sõned on ülaloleva automaadi poolt aktsepteeritud.

(Automaat võib rohkem sõnesid aktsepteerida, aga regulaaravaldise keel peab olema automaadi keele alamhulk. Näiteks regulaaravaldis "ab" genereerib ühesõnelise keele { "ab" }, mille kõik sõned kuuluvad automaadi keelde.)

Märgige ära need regulaaravaldised, mille kõik sõned on ülaloleva automaadi poolt aktsepteeritud.

(Automaat võib rohkem sõnesid aktsepteerida, aga regulaaravaldise keel peab olema automaadi keele alamhulk. Näiteks regulaaravaldis "ab" genereerib ühesõnelise keele { "ab" }, mille kõik sõned kuuluvad automaadi keelde.)

Märkige need regulaaravaldised, mille kõik sõned on ülaloleva automaadi poolt aktsepteeritud.

(Automaat võib rohkem sõnesid aktsepteerida, aga regulaaravaldise keel peab olema automaadi keele alamhulk. Näiteks regulaaravaldis "ab" genereerib ühesõnelise keele { "ab" }, mille kõik sõned kuuluvad automaadi keelde.)

Märgi kõik väited, mis kehtivad järgneva skeemi kohta:

See on tegelikult täiesti hämmastav, et peaaegu kahe kolmandiku 2016. aastal leitud turvanõrkuste taga oli lihtsalt kehv programmeerimine. See aga tähendab, et maailma saaks väga palju turvalisemaks teha ainuüksi sellega, kui me lihtsalt tarkvara paremini arendaksime. Nad kirjutavad:

Võta kõigepealt oma sõnadega kokku, mis nad ütlevad! Ei pea väga sõna-sõnalt tõlkima: võid isegi minu tõlgendust kasutada ja kirjutada lihtsalt "Parim küberkaitse on AKT". Ma siis muidugi eeldan, et Sa siiralt usud ka seda!   Igatahes, vähemalt ühe lause peab selle kohta kirjutama. Seejärel võid lisaks kirjutada ka oma mured/kommentaarid aine kohta.

Eesmärk oli siis harjutada seda, et igal olekul on oma tähendus. Praktikumis oli selline ülesanne, kus pidi joonistama automaat, mis tunneks ära sõnu üle tähestiku {a,b,x}, kus iga 'b' kõrval on 'a', s.t. kas vahetult enne või järel. Kas lahendasite seda nii, et iga oleku tähendus oli selge? Proovi järgmise lahenduse juures valida iga oleku juures tema tähendus.