Schnittproblem

Das Schnittproblem ist ein Problem der theoretischen Informatik. Es ist die Frage, ob die Schnittmenge zweier formaler Sprachen, die durch Grammatiken gegeben sein sollen, leer ist.

Für zwei reguläre Sprachen ist der Schnitt wieder regulär, und damit ist das Problem äquivalent zum Leerheitsproblem, das heißt, dass die Antwort auf die Frage zum Schnittproblem berechenbar ist.

Siehe auch

• Äquivalenzproblem