Теория формальных грамматик и автоматов

279 символ a символ a символ b символ b третье слово символ c  символ a символ a символ b символ b третье символ c символ c  символ a символ a символ b символ b символ c символ c . Если убрать слово «символ», т.е. перейти к «реализации», то получим цепочку, которую мы старались получить: aabbcc . В получившейся грамматике строгого языка больше одной цепочки языка вывеси нельзя. В гиперправила W-грамматики также можно вводить предикаты, например : Первое А слово из АЛФАВИТА : первое А, символ S1, если S1 входит в (АЛФАВИТ). Определение. Предикат - если S1 входит в (АЛФАВИТ) является обычным звеном гиперправила, поэтому к предикату применяются те же правила подстановки. Если предикат истинный, то из него должно быть выведено ПУСТО, для этого нужно ввести правила вывода предиката, которые при некоторых условиях выводились бы в ПУСТО. В примере выше метапонятия АЛФАВИТ и АЛФАВИТА означают одно и то же, падежи применены для удобства. Таким образом, W-грамматики – это мощное средство для описания самих языков, контекстных условий, и других аспектов языка. Однако из-за сложности грамматики, сложности её алгоритмической реализации, она не получила широкого распространения.