Revision history [back]

Automat neobsahoval ziadne nedosazitelne ani zbytocne stavy. Pri pouziti regularnych rovnic cez odchozi stavy su rovnice zapisane spravne. Riesil som to takto.

1. $ D=1^* $ (riesenie pravej RR)
2. $ C=0A+00B+00C$ (dosadenie E do rovnice)
3. $ C=00B+00B+00C$ (dosadenie A do rovnice)
4. $ C=00B+00C$ (x+x=x)
5. $ C=(00)^*00B $ (riesenie pravej RR)
6. $ B=0(00)^*00B+0D + \epsilon $ (dosadenie C do rovnice)
7. $ B=0(00)^*00(0D+\epsilon) $ (riesenie pravej RR)
8. $ A=00(00)^*00(0D+\epsilon) $ (dosadenie B do rovnice )

Za D si prestav $1^*$ nejak mi neslo napisat vedla seba *+ ked * je v exp :). Vysledny RV je teda v A. Asi to este da dalej upravit ale nejak to v tom nevidim...snad je to spravne :)

Automat neobsahoval ziadne nedosazitelne ani zbytocne stavy. Pri pouziti regularnych rovnic cez odchozi stavy su rovnice zapisane spravne. Riesil som to takto.

1. $ D=1^* $ (riesenie pravej RR)
2. $ C=0A+00B+00C$ E=0B+1(0A+1E)$ (dosadenie E rovnice C do rovnice)E)
3. $ C=00B+00B+00C$ (dosadenie A do rovnice)E=0B+10A+11E$
4. $ C=00B+00C$ (x+x=x)E=0B+100B+11E$ (dosadenie A do E)
5. $ C=(00)^*00B E=11E+(0+100)B $ (vyjmout B zprava)
6. $ E=(11)^*(0+100)B$ (riesenie pravej RR)
7. $ B=0(00)^*00B+0D + \epsilon $ C=00B+1(11)^*(0+100)B$ (dosadenie C A a E do rovnice)rovnice C)
8. $ B=0(00)^*00(0D+\epsilon) C=(00+1(11)^*(0+100))B$ (vyjmout B zprava)
9. $ B=0(00+1(11)^*(0+100))B+11^{*}+\epsilon$ (dosadenie C do B)
10. $ B=(000+01(11)^*(0+100))B+11^{*}+\epsilon$ (zretazenie len z jednej strany)
11. $B=(000+01(11)^*(0+100))^{*}(11^{*}+\epsilon)$ (riesenie pravej RR)
12. $ A=00(00)^*00(0D+\epsilon) $ (dosadenie B do rovnice )

Za D si prestav $1^*$ nejak mi neslo napisat vedla seba *+ ked * je v exp :). Vysledny RV je teda v A. Asi to este da dalej upravit ale nejak to v tom nevidim...snad je to spravne :)