• Nem Talált Eredményt

Nyelvek ´es automat´ak 2015 15. Nevezetes nyelvek, R, RE 1. Igaz-e, hogy L

N/A
N/A
Protected

Academic year: 2022

Ossza meg "Nyelvek ´es automat´ak 2015 15. Nevezetes nyelvek, R, RE 1. Igaz-e, hogy L"

Copied!
1
0
0

Teljes szövegt

(1)

Nyelvek ´es automat´ak 2015

15. Nevezetes nyelvek, R, RE 1. Igaz-e, hogy Ld rekurz´ıv?

2. Bizony´ıtsa be, hogy ha L1 ´es L2 rekurz´ıv (rekurz´ıvan felsorolhat´o), akkor L1L2 is rekurz´ıv (rekurz´ıvan felsorolhat´o) rekurz´ıv!

3. LegyenL={w∈ {0,1} :∃Mw ´es Mw egyetlen y∈ {0,1} bemenetn´el sem mozd´ıtja el a fejet a szalag els˝o mez˝oj´er˝ol}. Igaz-e, hogy L∈R ?

4. ´Alljon az L nyelv az olyan Turing-g´epek k´odjaib´ol, amelyek minden bemeneten 100 l´ep´esen bel¨ul meg´allnak. Igazolja, hogy L∈co RE.

Hivatkozások

KAPCSOLÓDÓ DOKUMENTUMOK

Egy f fok´ u l´ etr´ an bizonyos fokok annyira rozog´ ak, hogy ha r´ al´ ep¨ unk, leszakadnak.. Szerencs´ ere tudjuk, hogy melyik fokok ilyenek, hova nem szabad l´

Á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

Megmutatjuk, hogy c) igaz, és ebből már következik, hogy b) nem igaz, hiszen ha egy nyelv RE-ben és co RE-ben is benne van, akkor rekurzív is, ami az a) szerint nem teljesül... c)

Á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

Regul´ aris nyelvtanok ´ es v´ eges automat´ ak kapcsolata, ´ altal´ anos regul´ arisos k´ erd´

´ Alljon az L nyelv az olyan Turing-g´ epek k´ odjaib´ ol, amelyek csak p´ aros hossz´ u szavakat fogadnak el.. Mutassa meg, hogy az L

Milyen nyelvet fogad el az

Nemdeterminisztikus v´ eges automat´ ak ´ es m˝ uveleti z´ arts´ ag1. Legyen L egy regul´