Prevod konecneho automatu na regularny vyraz
Zdravim, pripravujem sa na druhy test z AAG, a riesim nejake priklady z minulych rokov. Mam tu jeden prevod, ktory je dost blby a neviem, ci postupujem spravne, preto ak by sa nasiel niekto, kto by to skontroloval, bol by som rad.
1 = t2 + eps
2 = s2 + s5 + t4
3 = s2 + t4 + t5 + eps
4 = s3 + t1
5 = s1 + t4
2 = s* ( s5 + t4)
3 (dosaduzjem do s2 a t4 ) = ts*(ss*s5 + ss*st4 + tt1 + t5 + eps)
4 (dosadzujem za s3) = sts*ss*s5 + sts*ss*st4 + sts*tt1 + sts*t5 + sts* + t4 =
(dosadim za s5) sts*ss*ss1 + sts*ss*ss4 + sts*ss*st4 + sts*tt1 + sts*ts1 + sts*ts4 + ts* =
(sts*ss*ss + sts*ss*ss + sts*ts)*(sts*ss*ss1+ sts*tt1 + sts*ts1 + ts*)
1 (dosadim za t2) = ts*s5 + ts*t4 + eps =
(dosadim za s5) = ts*ss1 + ts*st4 + ts*t4 + eps
.....
Dalej by som za 4 dosadil tam mam uz len same 1cky a to uz by som vedel upravit, kazdopadne vyraz na "100" riadkov. Je tento priklad fakt taky zlozity, a neda sa riesit jednoduchsie? Dakujem.