Здравствуйте, vdimas, Вы писали:
AVK>>Что такое мощность?
V>совокупность всех допустимых цепочек, порождаемых правилом/системой правил.
Оно бесконечно в обоих случаях.
V>однако, КЗ грамматики обычно очень компактны в записи, именно из-за того, что одно и то же выражение может трактоваться по разному, в зависимости от контекста, т.е. можно ввести доп. промежуточные символы для краткости записи.
Так я не понял — КЗ мощнее КС или нет?
V>Контекстно-зависимые грамматики и грамматики с фразовой структурой в иерархии Хомского [...]. Хотя языки, определяемые грамматиками этих типов, являются более мощными, в то же время они сложнее для понимания, анализа и практического использования.
V>[/q]
V>Языки программирования: разработка и реализация. Т. Пратт, М. Зелковиц
[skip]
V>· Мягко контекстно-зависимые грамматики – будучи несколько более мощными, чем КС-грамматики, грамматики данного класса позволяют анализировать большинство типов синтаксически релевантных нелокальных связей.
Ага, значит КЗ мощнее КС. Но грамматика C# КЗ, а С++ КС. Получается что ты опроверг свое первоначальное утверждение
.
... << RSDN@Home 1.1.4 beta 3 rev. 232>>