Yaroslav Schekin
Может, стоит добавить и каких-то недостатков recursive descent (я понимаю, что статья не об этом... или предупреждение о том, что минусы тут не рассматриваются)?
> возможен разбор для неограниченных или Тьюринг-полных грамматик.
Я в этом не разбираюсь, но разве это не одно и то же (точнее, мне кажется, что это "неограниченные грамматики" = "машины Тьюринга")?
> не выдерживает столкновения с реальностью в виде контекстно-зависимых грамматик сложных языков программирования
Просто вопрос — а у каких сложных языков именно формально контекстно-зависимые грамматики?
Даже у HTML - контекстно-зависимая, если количество тегов не ограничено. Поскольку id закрывающего тега должен быть равен id открывающему. Да и во многих современных языках не обойтись без вставок кода в КС грамматику, чтобы все правильно парсилось (интерполяция строк, heredoc в php, lexer hack как уже писали).