Лемма об обмене - Interchange lemma

В теории формальные языки, то лемма об обмене устанавливает необходимое условие для того, чтобы язык был контекстно-свободный, как и лемма о прокачке для контекстно-свободных языков.

В нем говорится, что для каждого контекстно-свободного языка Существует такой, что для всех для коллекции любой длины слова Существует с , и разложения так что каждый из , , не зависит от , более того, , и слова находятся в для каждого и .

Первым применением леммы об обмене было показать, что набор повторяющихся строк (т. Е. Строк формы с ) над алфавитом из трех или более символов не является контекстно-зависимым.

Смотрите также

Рекомендации

  • Уильям Огден, Рокфорд Дж. Росс и Карл Винклманн (1982). «Лемма об обмене для контекстно-свободных языков». SIAM Журнал по вычислениям. 14 (2): 410–415. Дои:10.1137/0214031.CS1 maint: несколько имен: список авторов (связь)