Gegeben ist ein Wort und die Sprache : Gilt oder ? Siehe auch Entscheidungsprobleme bei formalen Sprachen