Galīgu determinētu automātu būves uzdevumu automātiska vērtēšana

Abstract

Studējot datorzinātņu teorētiskos pamatus, neatņemama sastāvdaļa ir galīgu determinētu automātu apgūšana, kas noved pie Tūringa mašīnu teorijas un datora darbības pamatprincipiem. Studentiem automātu apgūšanas procesā viena no komponentēm ir šādu automātu konstruēšana un attiecīgi pasniedzējiem – šo automātu vērtēšana. Tā kā datorzinātnes ir ļoti populāras un ir daudz studentu, tad pasniedzējiem jāvelta daudz darba, lai šos risinājumus novērtētu. Determinētu automātu vērtēšanu varētu veikt automatizēti, ietaupot pasniedzēju laiku un samazinot kļūdu iespējamību. Bakalaura darba mērķis ir izstrādāt automātisku vērtēšanas sistēmu. Darba ietvaros tika analizēti esošie risinājumi automātu vērtēšanai kā arī tika strādāts pie praktiskas vērtēšanas sistēmas izstrādes.

Deterministic finite automata are crucial in studying theoretical foundations computer science. It eventually leads to Turing machines and basic principles of computers. For students a part of learning about automata is constructing such automata, and the counterpart for teachers – grading the solutions. Since computer sciences are very popular and there are many students pursuing them, it is a lot of effort to grade all these solutions. In case of deterministic automata this process could be automated thus saving time and avoiding errors. Goal of this bachelor thesis is to develop an automated grading system. To achieve this goal existing solutions were evaluated as well as development was done on implementing an automated grading system.