Fórum studentů MFF UK

Mame dany konecny deterministicky automat A. Dokazte , ze jazyk L = {u | uu^r in L(A)} je regularny. Navod : Zostrojte dvojcestny konecny automat pre vhodny jazyk a ukazte jeho vztah k jazyku L.

Any idea? Pozeral som starsie vlakna ale nenasiel som to tak ak by niekto vedel ako na to bol by som vdacny

To je podle me analogicke k prikladu ve slidech lecture03, slide 14 (Priklad dvoucestneho automatu). Jediny rozdil je, ze se nejde zleva doprava, pak naprazdno zprava doleva a pak zas zleva doprava, jako v tom priklade, ale jde se jen zleva doprava (tedy slovo se cte popredu) a pak zprava doleva (cili ted se cte slovo pozadu).