Discussion on answer by Yuval Filmus: Why is it undecidable to check the emptiness and finiteness of a context-sensitive grammar?
Discussion on answer by Yuval Filmus: Why is it undecidable to check the emptiness and finiteness of a context-sensitive grammar?
Imported from a comment discussion on https://cs.stackexchange.com/questions/144817/why-is-it-undecidable-to-check-the-emptiness-and-finiteness-of-a-context-sensiti/144840#144840
| first message | 2021-10-18 |
| last message | 1210 days ago |
view transcript
2