Mis on Vesali loengu järgi programmeerimises kõige fundamentaalsem oskus?

ACM kutse-eetika dokumendis (ethics.acm.org) on üheks keskseks teemaks kahju vähendamine kõrge kvaliteediga tarkvara arendamise poole püüeldes.

Selle kursuse eesmärk oli tõsta teie kompetentsi, et te tahtmatult teistele oma ebausaldusväärse koodiga haiget ei teeks, aga kui headeks inimesteks tahame teid täpselt kasvatada? Mis on kõrgeim selle kursuse lõpuks saavutatav informaatika-alane eetikatase?

(Kui te just ise vabal ajal eetilise arenguga ei tegele...)

Millised järgmistest automaatidest on minimaalsed determineeritud automaadid? (Vaadake lõpus igaks juhuks hoolega üle, et olete ristiga märkinud just need automaadid, mis on minimaalsed, mitte need, mis ei ole.)

Valige iga automaadi kohta, milline regulaaravaldis võiks olla selle genereerinud. (Küsimus ei ole siin ainult samaväärsuses, vaid tuleb valida selline regulaaravaldis, mille struktuuri põhjal automaat on üles ehitatud!)

Automaadi seisundile vastava keele defineerime järgmiselt:

Loengus oli sarnane definitsioon automaadi keele L(A) jaoks. Me laiendasime seda definitsiooni lihtsalt suvalisele seisundile. Me võime siis öelda, et L(A) = L(q0).

Me ütleme, et sõne w eristab seisundid p ja q, kui ühest seisundist saab w abil jõuda lõppseisundini, aga teisest ei saa. Formaalselt, sõne w ei erista kahte seisundit p ja q, kui kehtib järgmine tingimus:

Need sümbolid on defineeritud Varmo loengus (loeng3.pdf), aga see mõiste peaks ka olema intuitiivselt arusaadav.

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ärgi kõik väited, mis kehtivad järgmise skeemi kohta:

Millised järgmistest skeemidest kujutavad deterministlikku lõplikku automaati?

Millised järgmistest skeemidest kujutavad determineeritud lõplikku automaati?