formal_language_theory / lectures / unit_4

Специальные типы cfg и cfl

Определение 4.10.

Если все грамматики, порождающие некоторый контекстно-свободный язык, неоднозначны, то говорят, что этот язык

существенно неоднозначен.

161

Специальные типы cfg и cfl

Существенно неоднозначные контекстносвободные языки существуют.

Классическим примером такого языка является язык L = {a ib jc k i = j или j = k}. Основная причина, по которой язык L существенно неоднозначен, состоит в том, что любая cfg, порождающая язык L, должна порождать те цепочки, для которых i = j, при помощи процесса, который отличается от процесса порождения тех цепочек, для которых j = k.

162

Специальные типы cfg и cfl

Невозможно не порождать некоторые из тех цепочек, для которых i = j = k, посредством обоих процессов.

Строгое доказательство этого факта весьма сложно (см., например, [1]).

Известно, что проблема распознавания существенной неоднозначности КС-языков алгоритмически неразрешима.

Next

163