zoznam otázok zo všetkých termínov:
TI - predtermin
1 skupina
1. Automatove zobrazenia - vlastnosti k tomu
2. Metaalgebra algoritmov, kriterium funkcionalnej uplnosti v dijkstrovej metaalgebre.
priklad Zegalkin
2 skupina
1. Algebra logiky, problem funkcionalnej uplnosti algebry logiky, algebra boolova, problem funkcionalnej uplnosti algebry bool.
2. Turingovsky vypocitatelne funkcie, definicia a priklad.
priklad - Prevod AD -> AJ
3skupina
1. halting problem + dokaz + univerzalny turingov stroj,
2. Dijkstrova algebra
priklad - stroj s 2 pocitadlami (a na 2n; b na n; c na n )
13. januar
T1: Uzaverove operacie. Uzaverove operacie nad jazykom. Elementerne uzaverove operacie nad triedami jazykov
T2: Algebra: baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.
P: Zostrojte algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne.
2. skupina
T1: algebra logiky
T2: konecno stavovy akceptor
P: utriedit postupnost pomocou minimalneho prvku, tak tam treba pisat SELECTION sort
16. januar
T1:TS- pamatanie stavov - princip a ukazka na priklade, m-stopova paska - princip a ukazka na priklade
T2:Dijkstrova algebra - kriterium funkcionalnej uplnosti pri DA
P:Zegalkin
2. skupina
T1: haltin a univerzalny TS
T2: AD
P: automat klasika a2nbncn
TI (20.1.2012)-
T1: Podobnost konecnych automatov,
T2: Algoritmy: graf-schemy, graficka reprezentacia schem,
P:TS stroj (a^n b^n c^n | n >= 1)
2. skupina
algebra algoritmiky
bezkontextova gramatika
prevod z AD do AJ
24.1.2012
1. Skupina
TI1: Bezkontextové gramatiky. Chomskeho tvar
TI2: Algebra algoritmiky: baza, poly, mnoho druhove, LFM
P: AD -> AJ
2. Skupina
TI1: Nerodove ekvivalencie
TI2: Algebra algoritmov
P: Prepisat asi Bubblesort do Dijkstry
26.1.2012
1. skupina
TI1: prva otazka bol PCP a MPCP / Postov korešpondenčný problém (PCP)
TI2: Algoritmy graf. reprezentacia alg. graf. schemy algoritmov
P: TS x=0,1,2 a malo byt x0=x1 na 2 nezalezi
2. skupina
TI1: Metaalgebra algoritmov
TI2: ekvivalencia automatov
P: TS stroj (a^n b^n c^n | n >= 1)
31.1.2012
1.skupina
1. Bezkontextove gramatiky, Chomskeho kanonicky tvar
2. Algebra algoritmov, mono,poly-druhové alg. systémy, logicko-funkcionalne modely
3. Priklad: Prevod z AD do AJ
2.skupina
1. Dijkstrova algebra
2. Univerzalny turingov stroj + Halting Problem
3. Stroj s dvoma pocitadlami (a na 2n,b na n,c na n)
3.2.2012
1 skupina
1. Algebra logiky, problem funkcionalnej uplnosti algebry logiky, algebra boolova, problem funkcionalnej uplnosti algebry bool.
2. Turingovsky vypocitatelne funkcie, definicia a priklad.
priklad - Prevod AD -> AJ
2 skupina
T1: Podobnost konecnych automatov,
T2: Algoritmy: graf-schemy, graficka reprezentacia schem,
P:TS stroj (a^n b^n c^n | n >= 1)
7.2.2012
1 skupina
T1: sekvencne stroje, zobrazenia, ich vlastnostu a dalej nepametam asi 6 poloziek dokopy
T2: metaalgebra algorit. , subalgebry a func. uplnost DA
P: priklad 2x zegalkin
2 skupina
T1: Bezkontextove gramatiky, Greibachov kanonicky tvar
T2: Algebra algoritmiky a aplikované subalgebry. 2-urovnovy systém <MA,MAS>
P: AD->AJ
9.2.2012
1. Skupina
TI1: Nerodove ekvivalencie
TI2: Algebra algoritmov
P: Prepisat asi Bubblesort do Dijkstry
2.skupina
TI1: KSA, deterministicky a nedeterministicky
TI:2 Algebra Logiky, problem funkcionalnej uplnosti
P: TS s dvoma pocitadlami a2nbnc2n