Atšķirības starp "Automātu Būves Uzdevumu Automātiska Vērtēšana" versijām
(Ekvivalences algoritmi) |
m |
||
2. rindiņa: | 2. rindiņa: | ||
Kā to varētu izdarīt, ir aprakstīts [http://research.microsoft.com/en-us/um/people/sumitg/pubs/ijcai13-grading.pdf šajā rakstā]. | Kā to varētu izdarīt, ir aprakstīts [http://research.microsoft.com/en-us/um/people/sumitg/pubs/ijcai13-grading.pdf šajā rakstā]. | ||
− | Algoritmi, kā pateikt (ātri), vai risinājums ir korekts, ja dots etalonrisinājums, ir apkopoti [http:// | + | Algoritmi, kā pateikt (ātri), vai risinājums ir korekts, ja dots etalonrisinājums, ir apkopoti [http://scholarworks.rit.edu/cgi/viewcontent.cgi?article=7944&context=theses šeit]. |
Katrā ziņā, lai izdarītu šo lietu ir nepieciešams: | Katrā ziņā, lai izdarītu šo lietu ir nepieciešams: |
Pašreizējā versija, 2018. gada 27. februāris, plkst. 05.59
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.