В примере языка D свойство накачки не выполняется для строки S = ​​0^P 1^P 0^P 1^P. Чтобы понять почему, нам нужно изучить свойства контекстно-зависимых языков и лемму о накачке для контекстно-свободных языков. Контекстно-зависимые языки — это класс формальных языков, которые могут быть описаны контекстно-зависимыми грамматиками.