Вопрос о том, принадлежит ли каждый контекстно-свободный язык (CFL) классу сложности P, является увлекательной темой теории сложности вычислений. Чтобы всесторонне решить этот вопрос, важно рассмотреть определения контекстно-свободных языков, класс сложности P и взаимосвязь между этими понятиями. Контекстно-свободный язык — это тип формального языка.