Если я правильно понятно, то это всякие вариации rewriting'ов. Если уже даже перепись строчки можно сделать Тьюринг-полной, то деревья и подавно. Ну и плюс к тому, алгорифм Маркова, это по сути и есть грамматика нулевого типа. Однако, я давно уже переболел ими ;-)
Я же хочу категорное. По сравнению с лямбдами, разве что, для практики существеннен всякий scope. А описание гораздо чище. И не надо приводить мне в сравнение хацкелевой бесточечный стиль.
Можете почитать книгу parsing techniques (там, правда, совсем обзорно о тьюринг-полноте неограниченных грамматик) и про системы перезаписи в Plasmeier-Eckelen (системы перезаписи основаны на той же идее, что и грамматики, но эмуляция хаскеля более очевидна).
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
no subject
no subject
no subject
Примерно в эту сторону у меня давно мысли крутятся, но не уверен, что мы об одном и том же.
no subject
Если уже даже перепись строчки можно сделать Тьюринг-полной, то деревья и подавно.
Ну и плюс к тому, алгорифм Маркова, это по сути и есть грамматика нулевого типа.
Однако, я давно уже переболел ими ;-)
Я же хочу категорное.
По сравнению с лямбдами, разве что, для практики существеннен всякий scope.
А описание гораздо чище. И не надо приводить мне в сравнение хацкелевой бесточечный стиль.
no subject
http://en.wikipedia.org/wiki/Rewriting
Можете почитать книгу parsing techniques (там, правда, совсем обзорно о тьюринг-полноте неограниченных грамматик) и про системы перезаписи в Plasmeier-Eckelen (системы перезаписи основаны на той же идее, что и грамматики, но эмуляция хаскеля более очевидна).
no subject