Entscheidbarkeit und Aufzählbarkeit

Aus ProgrammingWiki
< Berechenbarkeitstheorie
Archivierte Version vom 2012-03-23T16:51:17+00:00. Aktuelle Version

Charakteristische Funktion

Beispiel: Wörter über \{a,b\}^*, die mit \texttt{a} beginnen.