Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

posted 2015-01-03 12:16:13 +0100

Prienik dvoch automatov

Ahojte, chcel by som sa spytat na jednu ulohu.

Je jazyk L regularni? Pokud ano, KA. Pokud ne, formalne dokazat.

L = {a^p: p je prvocislo} prienik {w : w patri {a,b}*, |w| >= 10}

Ako riesit tento typ prikladu? Nasiel som ho aj vyrieseny na fit wiki, neviem ci spravne. Myslel som, ze to bude potrebne robit klasicky podobne ako sme to robili este davnejsie tusim sa to vola metoda paralelneho behu alebo tak nejak, no vyrieseny je takto: image description

Staci len pridat startovaci stav a z toho to potom rozvetvit na jeden a druhy automat? A tiez este nerozumiem tej spodnej vetve s prvocislom. Co v pripade napr keby bolo p = 11? Je to tiez prvocislo, no neviem ako by som ho v tomto automate vytvoril. Dakujem.

Prienik dvoch automatov

Ahojte, chcel by som sa spytat na jednu ulohu.

Je jazyk L regularni? Pokud ano, KA. Pokud ne, formalne dokazat.

L = {a^p: p je prvocislo} prienik {w : w patri {a,b}*, |w| >= 10}

Ako riesit tento typ prikladu? Nasiel som ho aj vyrieseny na fit wiki, neviem ci spravne. Myslel som, ze to bude potrebne robit klasicky klasicky, podobne ako sme to robili este davnejsie tusim na cviceni. Tusim sa to vola metoda paralelneho behu alebo tak nejak, no vyrieseny je takto: image description

Staci len pridat startovaci stav a z toho to potom rozvetvit na jeden a druhy automat? A tiez este nerozumiem tej spodnej vetve s prvocislom. Co v pripade napr keby bolo p = 11? Je to tiez prvocislo, no neviem ako by som ho v tomto automate vytvoril. Dakujem.

Prienik Zjednotenie dvoch automatov

Ahojte, chcel by som sa spytat na jednu ulohu.

Je jazyk L regularni? Pokud ano, KA. Pokud ne, formalne dokazat.

L = {a^p: p je prvocislo} prienik zjednotenie {w : w patri {a,b}*, |w| >= 10}

Ako riesit tento typ prikladu? Nasiel som ho aj vyrieseny na fit wiki, neviem ci spravne. Myslel som, ze to bude potrebne robit klasicky, podobne ako sme to robili este davnejsie na cviceni. Tusim sa to vola metoda paralelneho behu alebo tak nejak, no vyrieseny je takto: image description

Staci len pridat startovaci stav a z toho to potom rozvetvit na jeden a druhy automat? A tiez este nerozumiem tej spodnej vetve s prvocislom. Co v pripade napr keby bolo p = 11? Je to tiez prvocislo, no neviem ako by som ho v tomto automate vytvoril. Dakujem.

EDIT: Ospravedlnujem sa, poplietol som prienik so zjednotenim.