Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Als Leerheitsproblem einer formalen Sprache <math>L</math> bezeichnet man in der Theoretischen Informatik das Problem zu entscheiden ob die leer ist also <math>L = \empty</math> oder
Für <math>\mathcal{L}_3</math> (vgl. Chomsky-Hierarchie ) ist das Leerheitsproblem entscheidbar.