Menge, reguläre
==>
Sprache, formale
<==
Turing-Maschine