Търся теореми

[Гост]

Каква е теоремата за неразрешимите проблеми на машината на Тюринг,свързани с всеки вход,две машини на Тюринг и регулярните езици;теоремата за неразрешимите проблеми на машината на Тюринг,свързани със стоп-проблема,празната дума и съществуването на вход?

И още два въпроса - Каква и в какво преобразува простата машина на Тюринг Lu?
Каква и в какво преобразува простата машина на Тюринг Ru?

Благодаря