Aussage gilt nur wenn Schnittproblem durch ≠ definiert ist.
Open
Bug
- Dominant language
- TeX
- Stars
- 28
- Forks
- 27
- PR merge metrics
- No merged PRs in 30d
Description
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.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.