Изменения

** Ссылка на определение констекстно-свободных языков в формулировке соответствующей теоремы.

** «Легко показать, что, по определению…» → «Легко показать, что, по определению <tex>P</tex>…»

** В первом определении после «то есть» двоеточие.

** «Но, по теореме…» Запятая здесь не нужна. Мне кажется, лучше просто выпилить это «но».