Loading web-font TeX/Math/Italic
Ask Your Question
0

Prevod KA -> RV

asked Jan 1 '15

gandalf gravatar image

Ahojte, trapim sa s jednym prevodom a neviem si s nim dat rady, paradoxom je, ze som ho mal na pisomke a tam sa mi to podarilo vypocitat, no teraz pri opakovani mi to nevychadza :-D

A = 0B
B = 0C + 1D + eps
C = 0A + 1E
D = 1D + eps
E = 0B + 1C

Decko je tam hned jasne, to bude 1* , no neviem ako dalej, co podosadzovat, stale mi tam vychadzaju nezmysly a zlozite vyrazy. Vedel by mi niekto pomoct? Dakujem

Comments

Mohol by si sem vlozit i zadanie automatu a nie rovno rovnice? Hlavne s poc. stavom a koncovymi stavmi...mozno si robil chybu uz hned tu, tak len aby som si bol isty :)

Lukas Nagy (Jan 1 '15)
add a comment

2 Answers

Sort by » oldest newest most voted
2

answered Jan 1 '15

Lukas Nagy gravatar image

updated Jan 2 '15

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

EDIT: Po upozorneni teda prepocitane.

  1. D=1^* (riesenie pravej RR)
  2. E=0B+1(0A+1E) (dosadenie rovnice C do E)
  3. E=0B+10A+11E
  4. E=0B+100B+11E (dosadenie A do E)
  5. E=11E+(0+100)B (vyjmout B zprava)
  6. E=(11)^*(0+100)B (riesenie pravej RR)
  7. C=00B+1(11)^*(0+100)B (dosadenie A a E do rovnice C)
  8. 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=0(000+01(11)^*(0+100))^{*}(11^{*}+\epsilon)

    Vysledny RV je teda v A. Asi to este da dalej upravit ale nejak to v tom nevidim...snad je to spravne :)

link

Comments

1

Mno, není E náhodou ve tvaru: E = 0B + 1C? Tzn., když pak dosazuješ do C, tak bys měl mít: C = 0A + 1(0B + 1C) => C = 0A + 10B + 11C?

Jakub.Trunecek (Jan 2 '15)

koukam na to akurat, spatne sem si opsal rovnice...tak ja to prepocitam.

Lukas Nagy (Jan 2 '15)

Dakujem, velmi pekne :) Na fit wiki je sice iny vysledok, ale toto vyzera byt spravne. Dik este raz :)

gandalf (Jan 2 '15)

Inak este sa chcem spytat v zapise toho automatu v zadani je, ze pociatocny symbol je A. To znamena, ze musim vzdy ako posledne dosadzovat do Acka a v nom vyjadrit ten vyraz? Alebo by som mohol teoreticky ako posledny krok dosadit napr do Ecka a v nom to vyjadrit?

gandalf (Jan 2 '15)

Pri metode RR v odchozich stavoch sa ako vysledny RV pouziva vstupny stav. Ak by si pouzil RR a cez prichodzi stavy tak vysledny RV je vo vystupnych stavoch. Dolezite je sa dostat k vyslednemu vyrazu do spravneho stavu, aku cestu si zvolis je na tebe.

Lukas Nagy (Jan 2 '15)
add a comment
0

answered Jan 2 '15

gandalf gravatar image

A este otazka, mohlo by to byt takto? image description

link

Comments

Tu mas problem v tom, ze mas 11C takze ked pouzival riesenie pravej RR tak \alpha=11 a ne \alpha=1 takze musis mat \alpha=(11)^*

Lukas Nagy (Jan 2 '15)

Aha jasne, to som prehliadol, inak to je ok? Dik.

gandalf (Jan 3 '15)

Treba to nekomu pomuze. Ted jsem to v ramci pripravy na zkousku pocital a vyslo mi to stejne.

Marek Alexa (Feb 10 '15)
add a comment

Your answer

Please start posting your answer anonymously - your answer will be saved within the current session and published after you log in or create a new account. Please try to give a substantial answer, for discussions, please use comments and please do remember to vote (after you log in)!

Add answer

[hide preview]

Question tools

Follow
1 follower

Stats

Asked: Jan 1 '15

Seen: 162 times

Last updated: Jan 02 '15