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...
Komplementace Büchiho automatů je klíčovou operací pro terminační analýzu programů, model checking n...
Šajā darbā tiek realizēta un aprakstīta bibliotēka, kas simulē determinēta galīgu automātu-transfor...
Tyto teze navazují na studium gramatických a automatových systémů. Na začátku, práce pojednává o reg...
Darbā tiek salīdzināta varbūtiska un determinēta galīgo automātu darbība izmantojot noteikto ...
Automatinio vertinimo sistemos yra populiarus įrankis studentų ir mokinių parašytų programų vertinim...
Diplomdarbs veltīts automatizēto pārbaudes darbu veidošanas problemātikai vidusskolā. Darba pirmā da...
Cílem této práce bylo studium aktivního učení automatů, navržení a implementace softwarové architekt...
One challenge in making online education more effective is to develop automatic grading software tha...
A vizsgálatok elsősorban a faautomaták teljes rendszereire, a determinisztikus felszálló fanyelvek s...
Tato práce prezentuje nový algoritmus pro komplementaci nedeterministických konečných automatů. Souč...
Cílem této bakalářské práce je navrhnout komponenty pro e-kurz předmětu Konečné automaty a formální ...
Tato práce se zabývá vývojem efektivních technik pro konečné automaty a jejich aplikace. Zejména se ...
Jānis Kalējs Divvirzienu alternējošu automātu determinizācija Bakalaura darbs. Darba vadītājs: Rūsiņ...
Prvo se prolazi kroz teoriju automata. Automat je definiran kao matematički model koji se sastoji od...
Dotais darbs veltīts programmatūras automatizētai testēšanai. Darbs sastāv no trīs daļām: teorētiskā...
Komplementace Büchiho automatů je klíčovou operací pro terminační analýzu programů, model checking n...
Šajā darbā tiek realizēta un aprakstīta bibliotēka, kas simulē determinēta galīgu automātu-transfor...
Tyto teze navazují na studium gramatických a automatových systémů. Na začátku, práce pojednává o reg...
Darbā tiek salīdzināta varbūtiska un determinēta galīgo automātu darbība izmantojot noteikto ...
Automatinio vertinimo sistemos yra populiarus įrankis studentų ir mokinių parašytų programų vertinim...
Diplomdarbs veltīts automatizēto pārbaudes darbu veidošanas problemātikai vidusskolā. Darba pirmā da...
Cílem této práce bylo studium aktivního učení automatů, navržení a implementace softwarové architekt...
One challenge in making online education more effective is to develop automatic grading software tha...
A vizsgálatok elsősorban a faautomaták teljes rendszereire, a determinisztikus felszálló fanyelvek s...
Tato práce prezentuje nový algoritmus pro komplementaci nedeterministických konečných automatů. Souč...
Cílem této bakalářské práce je navrhnout komponenty pro e-kurz předmětu Konečné automaty a formální ...
Tato práce se zabývá vývojem efektivních technik pro konečné automaty a jejich aplikace. Zejména se ...
Jānis Kalējs Divvirzienu alternējošu automātu determinizācija Bakalaura darbs. Darba vadītājs: Rūsiņ...
Prvo se prolazi kroz teoriju automata. Automat je definiran kao matematički model koji se sastoji od...
Dotais darbs veltīts programmatūras automatizētai testēšanai. Darbs sastāv no trīs daļām: teorētiskā...
Komplementace Büchiho automatů je klíčovou operací pro terminační analýzu programů, model checking n...
Šajā darbā tiek realizēta un aprakstīta bibliotēka, kas simulē determinēta galīgu automātu-transfor...
Tyto teze navazují na studium gramatických a automatových systémů. Na začátku, práce pojednává o reg...