Besitzt eine Sprache nur endlich viele Elemente, d.h. ? Siehe auch Entscheidungsprobleme bei formalen Sprachen