redukovany_automat_uloha1a
<KA>
abec.: [a, b]
stavy: [q(1), q(2), q(3), q(4), q(5), q(6), q(7), q(8)]
initq: q(3)
final: [q(7), q(8)]
delta: [q(1)-[a:q(1), b:q(1)], q(2)-[a:q(4), b:q(2)], q(3)-[a:q(5), b:q(2)], q(4)-[a:q(1), b:q(6)], q(5)-[a:q(5), b:q(6)], q(6)-[a:q(7), b:q(2)], q(7)-[a:q(1), b:q(8)], q(8)-[a:q(7), b:q(8)]]
</KA>
[simulationKAs_ended_OK, []]
redukovany_automat_uloha1b
<KA>
abec.: [a, b]
stavy: [q(1), q(2), q(3), q(4), q(5), q(6), q(7), q(8)]
initq: q(3)
final: [q(6), q(7), q(8)]
delta: [q(1)-[a:q(1), b:q(1)], q(2)-[a:q(3), b:q(1)], q(3)-[a:q(3), b:q(4)], q(4)-[a:q(2), b:q(5)], q(5)-[a:q(6), b:q(5)], q(6)-[a:q(8), b:q(1)], q(7)-[a:q(6), b:q(7)], q(8)-[a:q(8), b:q(7)]]
</KA>
[simulationKAs_ended_OK, []]

uloha(uloha1a, priklad_nespravneho_automatu-viz_chybove_hlasky, ka([i1, i2], [a, b], i1, [i1-[a:i1, b:i1], i2-[a:i1, b:i1]], []))
<KA>
abec.: [a, b]
stavy: [i1, i2]
initq: i1
final: []
delta: [i1-[a:i1, b:i1], i2-[a:i1, b:i1]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
warning(automat_ma_nedosazitelne_stavy, [i1, i2], [i1])
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_badWord(shortest), [[a, b, a], vzorovy(accept), simulovany(reject)]]
[simulation_on_word, [[a, b, a], reject-[i1, i1, i1, i1]]]
testovanie_redukovanosti_odovzdaneho_automatu
warning(automat_neni_redukovany)
[transformace_(dosazitelnych)_stavu_pro_redukci, [i1-q(1)]]
testovanie_spravnosti_odovzdaneho_automatu
warning(redukovanyKA_neni_stejny/spravny)

uloha(uloha1b, jiri.machalek, ka([i1, i2, i3, i4, i5, i6, i7, i8], [a, b], i1, [i1-[a:i1, b:i2], i2-[a:i3, b:i4], i3-[a:i1, b:i5], i4-[a:i6, b:i4], i5-[a:i5, b:i5], i6-[a:i7, b:i5], i7-[a:i7, b:i8], i8-[a:i6, b:i8]], [i6, i7, i8]))
<KA>
abec.: [a, b]
stavy: [i1, i2, i3, i4, i5, i6, i7, i8]
initq: i1
final: [i6, i7, i8]
delta: [i1-[a:i1, b:i2], i2-[a:i3, b:i4], i3-[a:i1, b:i5], i4-[a:i6, b:i4], i5-[a:i5, b:i5], i6-[a:i7, b:i5], i7-[a:i7, b:i8], i8-[a:i6, b:i8]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_ended_OK, []]
testovanie_redukovanosti_odovzdaneho_automatu
testovanie_spravnosti_odovzdaneho_automatu

uloha(uloha1b, vincent.kriz, ka([1, 2, 3, 4, 5, 6, 7, 8], [a, b], 1, [1-[a:1, b:2], 2-[a:3, b:4], 3-[a:1, b:5], 4-[a:6, b:4], 5-[a:5, b:5], 6-[a:7, b:5], 7-[a:7, b:8], 8-[a:6, b:8]], [6, 7, 8]))
<KA>
abec.: [a, b]
stavy: [1, 2, 3, 4, 5, 6, 7, 8]
initq: 1
final: [6, 7, 8]
delta: [1-[a:1, b:2], 2-[a:3, b:4], 3-[a:1, b:5], 4-[a:6, b:4], 5-[a:5, b:5], 6-[a:7, b:5], 7-[a:7, b:8], 8-[a:6, b:8]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_ended_OK, []]
testovanie_redukovanosti_odovzdaneho_automatu
testovanie_spravnosti_odovzdaneho_automatu

uloha(uloha1a, Vladim!r Rovensk , ka([1, 2, 3, 4, 5, 6, 7, 8], [a, b], 1, [1-[a:2, b:3], 2-[a:2, b:4], 3-[a:5, b:3], 4-[a:6, b:3], 5-[a:7, b:4], 6-[a:7, b:8], 7-[a:7, b:7], 8-[a:6, b:8]], [6, 8]))
<KA>
abec.: [a, b]
stavy: [1, 2, 3, 4, 5, 6, 7, 8]
initq: 1
final: [6, 8]
delta: [1-[a:2, b:3], 2-[a:2, b:4], 3-[a:5, b:3], 4-[a:6, b:3], 5-[a:7, b:4], 6-[a:7, b:8], 7-[a:7, b:7], 8-[a:6, b:8]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_ended_OK, []]
testovanie_redukovanosti_odovzdaneho_automatu
testovanie_spravnosti_odovzdaneho_automatu

uloha(uloha1b, Martin.Sladecek, ka([u1, u2, u3, u4, u5, u6, u7, u8], [a, b], u7, [u1-[a:u1, b:u1], u2-[a:u4, b:u1], u3-[a:u2, b:u3], u4-[a:u4, b:u5], u5-[a:u2, b:u5], u6-[a:u8, b:u3], u7-[a:u7, b:u6], u8-[a:u7, b:u1]], [u2, u4, u5]))
<KA>
abec.: [a, b]
stavy: [u1, u2, u3, u4, u5, u6, u7, u8]
initq: u7
final: [u2, u4, u5]
delta: [u1-[a:u1, b:u1], u2-[a:u4, b:u1], u3-[a:u2, b:u3], u4-[a:u4, b:u5], u5-[a:u2, b:u5], u6-[a:u8, b:u3], u7-[a:u7, b:u6], u8-[a:u7, b:u1]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_ended_OK, []]
testovanie_redukovanosti_odovzdaneho_automatu
testovanie_spravnosti_odovzdaneho_automatu

uloha(uloha1a, Michal.Vachna, ka([i1, i2, i3, i4, i5, i6, i7, i8], [a, b], i1, [i1-[a:i2, b:i6], i2-[a:i2, b:i3], i3-[a:i4, b:i6], i4-[a:i8, b:i5], i5-[a:i4, b:i5], i6-[a:i7, b:i6], i7-[a:i8, b:i3], i8-[a:i8, b:i8]], [i4, i5]))
<KA>
abec.: [a, b]
stavy: [i1, i2, i3, i4, i5, i6, i7, i8]
initq: i1
final: [i4, i5]
delta: [i1-[a:i2, b:i6], i2-[a:i2, b:i3], i3-[a:i4, b:i6], i4-[a:i8, b:i5], i5-[a:i4, b:i5], i6-[a:i7, b:i6], i7-[a:i8, b:i3], i8-[a:i8, b:i8]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_ended_OK, []]
testovanie_redukovanosti_odovzdaneho_automatu
testovanie_spravnosti_odovzdaneho_automatu

uloha(uloha1b, Jan.Forst, ka([s1, s2, s3, s4, s5, s6, s7, s8], [a, b], s1, [s1-[a:s1, b:s2], s2-[a:s3, b:s4], s3-[a:s1, b:s5], s4-[a:s6, b:s4], s5-[a:s5, b:s5], s6-[a:s7, b:s5], s7-[a:s7, b:s8], s8-[a:s6, b:s8]], [s6, s7, s8]))
<KA>
abec.: [a, b]
stavy: [s1, s2, s3, s4, s5, s6, s7, s8]
initq: s1
final: [s6, s7, s8]
delta: [s1-[a:s1, b:s2], s2-[a:s3, b:s4], s3-[a:s1, b:s5], s4-[a:s6, b:s4], s5-[a:s5, b:s5], s6-[a:s7, b:s5], s7-[a:s7, b:s8], s8-[a:s6, b:s8]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_ended_OK, []]
testovanie_redukovanosti_odovzdaneho_automatu
testovanie_spravnosti_odovzdaneho_automatu

uloha(uloha1b,  Rezac, ka([1, 2, 3, 4, 5, 6, 7, 8], [a, b], 1, [1-[a:1, b:3], 2-[a:1, b:8], 3-[a:2, b:4], 4-[a:7, b:8], 5-[a:5, b:6], 6-[a:7, b:6], 7-[a:5, b:8], 8-[a:8, b:8]], [5, 6, 7]))
<KA>
abec.: [a, b]
stavy: [1, 2, 3, 4, 5, 6, 7, 8]
initq: 1
final: [5, 6, 7]
delta: [1-[a:1, b:3], 2-[a:1, b:8], 3-[a:2, b:4], 4-[a:7, b:8], 5-[a:5, b:6], 6-[a:7, b:6], 7-[a:5, b:8], 8-[a:8, b:8]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_badWord(shortest), [[b, b, b, a], vzorovy(accept), simulovany(reject)]]
[simulation_on_word, [[b, b, b, a], reject-[1, 3, 4, 8, 8]]]
testovanie_redukovanosti_odovzdaneho_automatu
testovanie_spravnosti_odovzdaneho_automatu
warning(redukovanyKA_neni_stejny/spravny)

uloha(uloha1b,  Renat, ka([1, 2, 3, 4, 5, 6, 7, 8], [a, b], 1, [1-[a:1, b:2], 2-[a:3, b:4], 3-[a:1, b:5], 4-[a:6, b:4], 5-[a:5, b:5], 6-[a:7, b:5], 7-[a:7, b:8], 8-[a:6, b:5]], [6, 7, 8]))
<KA>
abec.: [a, b]
stavy: [1, 2, 3, 4, 5, 6, 7, 8]
initq: 1
final: [6, 7, 8]
delta: [1-[a:1, b:2], 2-[a:3, b:4], 3-[a:1, b:5], 4-[a:6, b:4], 5-[a:5, b:5], 6-[a:7, b:5], 7-[a:7, b:8], 8-[a:6, b:5]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_badWord(shortest), [[b, b, a, a, b, b], vzorovy(accept), simulovany(reject)]]
[simulation_on_word, [[b, b, a, a, b, b], reject-[1, 2, 4, 6, 7, 8, 5]]]
testovanie_redukovanosti_odovzdaneho_automatu
testovanie_spravnosti_odovzdaneho_automatu
warning(redukovanyKA_neni_stejny/spravny)

uloha(uloha1b, marian.skvarek, ka([i1, i2, i3, i4, i5, i6, i7, i8], [a, b], i1, [i1-[a:i1, b:i2], i2-[a:i7, b:i3], i3-[a:i4, b:i3], i4-[a:i5, b:i8], i5-[a:i5, b:i6], i6-[a:i4, b:i6], i7-[a:i1, b:i8], i8-[a:i8, b:i8]], [i4, i5, i6]))
<KA>
abec.: [a, b]
stavy: [i1, i2, i3, i4, i5, i6, i7, i8]
initq: i1
final: [i4, i5, i6]
delta: [i1-[a:i1, b:i2], i2-[a:i7, b:i3], i3-[a:i4, b:i3], i4-[a:i5, b:i8], i5-[a:i5, b:i6], i6-[a:i4, b:i6], i7-[a:i1, b:i8], i8-[a:i8, b:i8]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_ended_OK, []]
testovanie_redukovanosti_odovzdaneho_automatu
testovanie_spravnosti_odovzdaneho_automatu

uloha(uloha1a, Petr.Li ka, ka([1, 2, 3, 4, 5, 6, 7, 8], [a, b], 1, [1-[a:3, b:2], 2-[a:5, b:4], 3-[a:3, b:4], 4-[a:7, b:2], 5-[a:6, b:4], 6-[a:6, b:6], 7-[a:6, b:8], 8-[a:7, b:8]], [7, 8]))
<KA>
abec.: [a, b]
stavy: [1, 2, 3, 4, 5, 6, 7, 8]
initq: 1
final: [7, 8]
delta: [1-[a:3, b:2], 2-[a:5, b:4], 3-[a:3, b:4], 4-[a:7, b:2], 5-[a:6, b:4], 6-[a:6, b:6], 7-[a:6, b:8], 8-[a:7, b:8]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_badWord(shortest), [[b, b, a], vzorovy(reject), simulovany(accept)]]
[simulation_on_word, [[b, b, a], accept-[1, 2, 4, 7]]]
testovanie_redukovanosti_odovzdaneho_automatu
testovanie_spravnosti_odovzdaneho_automatu
warning(redukovanyKA_neni_stejny/spravny)

uloha(uloha1a, dalibor.hlava_testSChybou, ka([1, 2, 3, 4, 5, 6, 7], [a, b], 1, [1-[a:2, b:3], 2-[a:2, b:4], 3-[a:7, b:3], 4-[a:5, b:3], 5-[a:6, b:4], 6-[a:6, b:6], 7-[a:6, b:4]], [5]))
<KA>
abec.: [a, b]
stavy: [1, 2, 3, 4, 5, 6, 7]
initq: 1
final: [5]
delta: [1-[a:2, b:3], 2-[a:2, b:4], 3-[a:7, b:3], 4-[a:5, b:3], 5-[a:6, b:4], 6-[a:6, b:6], 7-[a:6, b:4]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_badWord(shortest), [[a, b, a, b], vzorovy(accept), simulovany(reject)]]
[simulation_on_word, [[a, b, a, b], reject-[1, 2, 4, 5, 4]]]
testovanie_redukovanosti_odovzdaneho_automatu
testovanie_spravnosti_odovzdaneho_automatu
warning(redukovanyKA_neni_stejny/spravny)

uloha(uloha1b, Tomas.Fechtner, ka([i1, i2, i3, i4, i5, i6, i7, i8], [a, b], i1, [i1-[a:i1, b:i2], i2-[a:i3, b:i4], i3-[a:i1, b:i5], i4-[a:i6, b:i4], i5-[a:i5, b:i5], i6-[a:i7, b:i5], i7-[a:i7, b:i8], i8-[a:i6, b:i8]], [i6, i7, i8]))
<KA>
abec.: [a, b]
stavy: [i1, i2, i3, i4, i5, i6, i7, i8]
initq: i1
final: [i6, i7, i8]
delta: [i1-[a:i1, b:i2], i2-[a:i3, b:i4], i3-[a:i1, b:i5], i4-[a:i6, b:i4], i5-[a:i5, b:i5], i6-[a:i7, b:i5], i7-[a:i7, b:i8], i8-[a:i6, b:i8]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_ended_OK, []]
testovanie_redukovanosti_odovzdaneho_automatu
testovanie_spravnosti_odovzdaneho_automatu

uloha(uloha1b, r2007_Ondrej.Cerny, ka([i1, i2, i3, i4, i5, i6, i7, i8], [a, b], i6, [i1-[a:i1, b:i2], i2-[a:i2, b:i5], i3-[a:i8, b:i3], i4-[a:i2, b:i7], i5-[a:i1, b:i3], i6-[a:i4, b:i7], i7-[a:i4, b:i8], i8-[a:i8, b:i8]], [i1, i3, i5]))
<KA>
abec.: [a, b]
stavy: [i1, i2, i3, i4, i5, i6, i7, i8]
initq: i6
final: [i1, i3, i5]
delta: [i1-[a:i1, b:i2], i2-[a:i2, b:i5], i3-[a:i8, b:i3], i4-[a:i2, b:i7], i5-[a:i1, b:i3], i6-[a:i4, b:i7], i7-[a:i4, b:i8], i8-[a:i8, b:i8]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_badWord(shortest), [[a, a, b], vzorovy(reject), simulovany(accept)]]
[simulation_on_word, [[a, a, b], accept-[i6, i4, i2, i5]]]
testovanie_redukovanosti_odovzdaneho_automatu
testovanie_spravnosti_odovzdaneho_automatu
warning(redukovanyKA_neni_stejny/spravny)

uloha(uloha1b, Pavel.Kropitz, ka([a, b, c, d, e, f, g, h], [a, b], a, [a-[a:b, b:g], b-[a:c, b:g], c-[a:c, b:d], d-[a:e, b:f], e-[a:e, b:d], f-[a:h, b:f], g-[a:b, b:h], h-[a:h, b:h]], [d, e, f]))
<KA>
abec.: [a, b]
stavy: [a, b, c, d, e, f, g, h]
initq: a
final: [d, e, f]
delta: [a-[a:b, b:g], b-[a:c, b:g], c-[a:c, b:d], d-[a:e, b:f], e-[a:e, b:d], f-[a:h, b:f], g-[a:b, b:h], h-[a:h, b:h]]
</KA>
testovanie_dosazitelnosti_stavov_odovzdaneho_automatu
[test_dosazitelnosti_stavu_proveden, []]
testovanie_spravneho_chovania_odovzdaneho_automatu
[simulationKAs_badWord(shortest), [[a, a, b], vzorovy(reject), simulovany(accept)]]
[simulation_on_word, [[a, a, b], accept-[a, b, c, d]]]
testovanie_redukovanosti_odovzdaneho_automatu
testovanie_spravnosti_odovzdaneho_automatu
warning(redukovanyKA_neni_stejny/spravny)