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