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.