Atšķirības starp "Automātu Būves Uzdevumu Automātiska Vērtēšana" versijām
(Sākums) |
(Ekvivalences algoritmi) |
||
| 1. rindiņa: | 1. rindiņa: | ||
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. | 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 [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://agris.oranzais.lumii.lv/index.php/Autom%C4%81tu_B%C5%ABves_Uzdevumu_Autom%C4%81tiska_V%C4%93rt%C4%93%C5%A1ana šeit]. | ||
Katrā ziņā, lai izdarītu šo lietu ir nepieciešams: | Katrā ziņā, lai izdarītu šo lietu ir nepieciešams: | ||
Versija, kas saglabāta 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.
