Prevod KA -> RV

Question

0

Prevod KA -> RV

BI
BI-AAG

asked 2015-01-01 18:23:15 +0100

gandalf
113 ●27 ●30 ●37

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

edit retag flag offensive close delete

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 ( 2015-01-01 18:41:05 +0100 )edit

Jasne, https://www.fit-wiki.cz/škola/předměty/bi-aag/aag_test_2014-12-10_1830_neznama 2. uloha :)

gandalf ( 2015-01-01 18:55:56 +0100 )edit

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 ( 2015-01-01 18:41:05 +0100 )edit
Jasne, https://www.fit-wiki.cz/škola/předměty/bi-aag/aag_test_2014-12-10_1830_neznama 2. uloha :)
gandalf ( 2015-01-01 18:55:56 +0100 )edit

Accepted Answer

2

answered 2015-01-01 19:32:36 +0100

Lukas Nagy

171 ●6 ●9 ●16

updated 2015-01-02 13:51:20 +0100

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.

$ D=1^* $ (riesenie pravej RR)
$ E=0B+1(0A+1E)$ (dosadenie rovnice C do E)
$ E=0B+10A+11E$
$ E=0B+100B+11E$ (dosadenie A do E)
$ E=11E+(0+100)B $ (vyjmout B zprava)
$ E=(11)^*(0+100)B$ (riesenie pravej RR)
$ C=00B+1(11)^*(0+100)B$ (dosadenie A a E do rovnice C)
$ C=(00+1(11)^*(0+100))B$ (vyjmout B zprava)
$ B=0(00+1(11)^*(0+100))B+11^{*}+\epsilon$ (dosadenie C do B)
$ B=(000+01(11)^*(0+100))B+11^{*}+\epsilon$ (zretazenie len z jednej strany)
$B=(000+01(11)^*(0+100))^{*}(11^{*}+\epsilon)$ (riesenie pravej RR)
$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 :)

edit flag offensive delete publish 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 ( 2015-01-02 11:46:47 +0100 )edit

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

Lukas Nagy ( 2015-01-02 13:18:27 +0100 )edit

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

gandalf ( 2015-01-02 16:53:43 +0100 )edit

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 ( 2015-01-02 17:03:41 +0100 )edit

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 ( 2015-01-02 21:58:30 +0100 )edit

Answer 2

0

answered 2015-01-02 17:32:34 +0100

gandalf
113 ●27 ●30 ●37

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

edit flag offensive delete publish 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 ( 2015-01-02 22:00:26 +0100 )edit

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

gandalf ( 2015-01-03 11:14:38 +0100 )edit

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

Marek Alexa ( 2015-02-10 13:53:08 +0100 )edit

Prevod KA -> RV

Comments

2 Answers

Comments

Comments

Your answer

Question tools

Stats

Related questions