1. skupina
1) TS- pamatanie stavov - princip a ukazka na priklade, m-stopova paska - princip a ukazka na priklade
2) Dijkstrova algebra - kriterium funkcionalnej uplnosti pri DA
3) priklad Zegalkin
2. skupina
1.) halting problem a univerzalny TS
2.) Dijkstra
3.) automat
tolko som pocul. nebol som na tej skuske.
1) TS- pamatanie stavov - princip a ukazka na priklade, m-stopova paska - princip a ukazka na priklade
2) Dijkstrova algebra - kriterium funkcionalnej uplnosti pri DA
3) priklad Zegalkin
2. skupina
1.) halting problem a univerzalny TS
2.) Dijkstra
3.) automat
tolko som pocul. nebol som na tej skuske.