This flashcard is just one of a free flashcard set. See all flashcards!

All main topics / Mathematik / Berechenbarkeit / Berechenbarkeit I

universelle TM

simuliert beliebige andere TM M auf beliebiger Eingabe w:
   - simuliert das Verhalten von M auf w
   - übernimmt das Aktzeptanzverhalten von M
   - bei inkorrekter Eingabe (also kein Gödelnummer) Fehlermeldung

- erhält als Eingabe String der Form

, wobei

die simulierte TM M kodiert (Gödelnummer)

- ist im Gegensatz zur normalen TM (special purpose Rechner) general purpose Rechner

New comment

Flashcard info:

Author: hemag

Main topic: Mathematik

Topic: Berechenbarkeit

Published: 16.03.2010

Deutsch English