Als Endlichkeitsproblem einer formalen Sprache bezeichnet man in der Theoretischen Informatik das Problem, zu entscheiden, ob die Sprache endlich ist, also , oder nicht.
Für (vgl. Chomsky-Hierarchie) ist das Endlichkeitsproblem entscheidbar.
Siehe auch
