Ciro Santilli
🔗
🔗
This is the classic result of formal language theory, but there is too much slack between context free and context sensitive, which is PSPACE (larger than NP!).
🔗
TODO had seen a good table on Wikipedia with an expanded hierarchy, but lost it!
🔗
🔗

Ancestors