Automataelméleti feladatok generálása

A szakdolgozatomban egy feladatgeneráló programot írok C++ nyelven. A célom végeredményben egy olyan módszer kidolgozása, amellyel tetszőleges témájú feladatokat lehet véletlenszerűen generálni az egyes diákok igényeihez igazítva. Ez hasznos lehet tanároknak a munkájuk megkönnyítéséhez, illetve e-learning rendszerek alapját is képezheti. Ez az általános program azonban igen összetett, ezért a rendelkezésre álló időben egyenlőre egy olyan generátort valósítok meg, amely egy fix témában ad feladatokat. Ez a téma a véges automatákkal kapcsolatos feladat. Ilyen feladat például: "Adj meg olyan {a,b} abc-jű automatát amely a következőt ismeri fel : szó, amelyben |W|a 3-mal osztható !". Választásom azért esett a véges automatákra, mert közel állnak a számítástudományi alapproblémákhoz, így a véletlen-generáláshoz is. A szakdolgozat bemutatja a fentebb felvázolt témát, ismerteti a feladatokat, a generálási módszert, az ehhez szükséges algoritmusokat, továbbá ezek elméleti, gyakorlati jellegű kérdéseit boncolgatja. Szó lesz továbbá a feladatgeneráló felhasználásának lehetőségeiről, ezek hatékonyságáról, hasznosságáról.