Entscheidbarkeit und Aufzählbarkeit

Aus ProgrammingWiki

Archivierte Version vom 2012-03-23T16:50:04+00:00. Aktuelle Version

Charakteristische Funktion

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

(define chi-a
  (lambda (w)
    (char=? (string... w) \#a)))

(chi-a "ababaab")