Unentscheidbare Probleme bei formalen Sprachen

Entscheidungsprobleme 
Listensprache