Automātu Būves Uzdevumu Automātiska Vērtēšana

Automātu Teorijas kursā mēs mācāmies būvēt Galīgus Determinētus (Nedeterminētus) automātus. Tipisks uzdevums ir uzbūvēt GDA, ja dots ir valodas apraksts. Pasniedzējs vērtē izdarīto pēc saviem subjektīvajiem, iespējams ne vienmēr konsekventajiem kritērijiem. Būtu labi, ja vērtēšanu varētu uzticēt datoram. Tā kā vērtēšana nav bināra (pareizi/nepareizi), tad būtu svarīgi mācēt novērtēt, cik tuvu pareizajam atrisinājumam ir dotais risinājums. Kā to varētu izdarīt, ir aprakstīts šajā rakstā.

Algoritmi, kā pateikt (ātri), vai risinājums ir korekts, ja dots etalonrisinājums, ir apkopoti šeit.

Katrā ziņā, lai izdarītu šo lietu ir nepieciešams:

• Formāli aprakstīt uzdevumu, t.i., valodu, kurai jābūvē automāts.
  • GDA
  • Regex
  • cits formālisms
• Formāli aprakstīt risinājumu, t.i., GDA
• Algoritms, kā novērtēt risinājumu skalā viens līdz desmit.