Aussage gilt nur wenn Schnittproblem durch ≠ definiert ist.

[marcusrossel]

https://github.com/mkroetzsch/TheoLog/blob/420dd69fa4f033aa292fc9738f95800151fe6801/Vorlesungen/lecture-06.tex#L285

Ich bin mir nicht ganz sicher ob dies stimmt, aber ist das Schnittproblem für Typ-{0, 1, 2}-Grammatiken wirklich semi-entscheidbar, wenn Schnitt durch "L(G1) ∩ L(G2) = ∅" definiert ist?
Ich sehe nicht wie diese Grammatiken aufzählbar wären, da es dann nie ein Wort gäbe, welches eine konkrete "Sub-Aufzählung" abbricht.