Berechenbarkeitstheorie/Entscheidbarkeit und Aufzählbarkeit

Wiki-Quelltext dieser Seite.

<language>Scheme</language>
==Charakteristische Funktion==

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

<code id="4f6ca9bc8928d">
(define chi-a
  (lambda (w)
    (char=? (string... w) \#a)))
</code> 
<run id="4f6ca9bc89383">
(chi-a "ababaab")
</run>