1
Какова предполагаемая связь между языками P (PTime) и Type 1 (контекстно-зависимыми)?
Неизвестно, является ли или , гдеP⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP - это множество всех языков, разрешимых за полиномиальное время на детерминированной машине Тьюринга, и CSLCSLCSL - это класс контекстно-зависимых языков, который, как известно, эквивалентен NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) , языкам, выбранным с помощью линейно-ограниченных автоматов. Для многих открытых вопросов существует тенденция к одному ответу …