• Nem Talált Eredményt

Algoritmuselm´elet 2020 6. gyakorlat Turing-g´ep m´eg mindig 1. Adjon 1-szalagos Turing-g´epet a {0

N/A
N/A
Protected

Academic year: 2022

Ossza meg "Algoritmuselm´elet 2020 6. gyakorlat Turing-g´ep m´eg mindig 1. Adjon 1-szalagos Turing-g´epet a {0"

Copied!
1
0
0

Teljes szövegt

(1)

Algoritmuselm´elet 2020 6. gyakorlat Turing-g´ep m´eg mindig

1. Adjon 1-szalagos Turing-g´epet a {02n :n≥0} nyelvhez! Nem sz¨uks´eges prec´ızen megadni az ´atmeneteket, elegend˝o a m˝uk¨od´es elv´et le´ırni.

2. Adjon Turing-g´epet a {ww : w ∈ {0,1}} nyelvhez! Nem sz¨uks´eges prec´ızen megadni az ´atmeneteket, elegend˝o a m˝uk¨od´es elv´et le´ırni.

3. Legyen Σ ={0,1,+}. V´azoljon egy Turing-g´epet, amelyik az x+y alak´u inputon (aholx, y∈ {0,1} nem

¨

ures bitsorozatok) egy id˝o ut´an meg´all, ´es az 5. szalagon azx´esy bin´arisan fel´ırt sz´amok ¨osszege ´all. Adjon becsl´est a Turing-g´ep l´ep´essz´am´ara!

4. Oldjuk meg az el˝oz˝o feladatot ¨osszead´as helyett szorz´as eset´ere is.

5. V´azoljon egy Turing-g´epet, ami a diagon´alis nyelv komplementer´et fogadja el. Meg´all-e minden bemeneten a kapott Turing-g´ep?

6. V´azoljon egy Turing-g´epet, ami az al´abbi nyelvet fogadja el!

L={w#x: azMw elfogadja azx els˝o ¨ot karakter´eb˝ol ´all´o sz´ot}

Meg´all-e minden bemeneten a kapott Turing-g´ep?

Hivatkozások

KAPCSOLÓDÓ DOKUMENTUMOK

Igazoljuk, hogy ha v egy véges G gráf páratlan fokú csúcsa, akkor G-ben van olyan út, amely v-t a G egy másik páratlan fokú csúcsával köti össze.. Mutassuk meg, hogy ha egy G

Megoldás: Igen, hiszen ilyenkor csak véges sok lehetőség van (n szópár esetén kevesebb, mint (n + 1) n ), ezeket sorban ki tudjuk próbálni egy Turing-géppel, hogy jó

Az L nyelvbe olyan w Turing-g´ep k´ odok tartoznak, melyekre igaz, hogy az M w Turing-g´ep minden x inputon legfeljebb |x| l´ep´es ut´ an le´ all (|x|.. az x sz´ o hossz´ at

Fogalmazza meg a feladatot eld¨ ont´ esi probl´ emak´ ent ´ es vagy adjon r´ a polinomi´ alis algoritmust vagy iga- zolja, hogy a probl´ ema NP-teljes.. Algoritmuselm´ elet

Igazoljuk, hogy ha v egy véges G gráf páratlan fokú csúcsa, akkor G-ben van olyan út, amely v-t a G egy másik páratlan fokú csúcsával köti össze.. Mutassuk meg, hogy ha egy G

A k¨ ul¨ onb¨ oz˝ o automatat´ıpusok (v´ eges automata, veremautomata, Turing- g´ ep) alap modellje nyelvek elfogad´ as´ ara val´ o, az a k´ erd´ es, hogy a bemeneten v´

Álljon az L nyelv azokból a w szavakból, melyekre a w kódú Turing-gép létezik és az általa elfogadott nyelvben van legalább egy csupa 0-ból álló szó.. Álljon az L nyelv

Álljon az L nyelv az olyan Turing-gépek kódjaiból, amik egyetlen szót sem fogadnak el!. Bizonyítsa be, hogy az L nyelv és a megállási nyelv metszete nem