Булевы грамматики, семантика единственного решения в сильном смысле. Примеры булевых грамматик для языков ${a^i b^j c^j \mid i \neq j, j \neq k, i \neq k}$ и ${ww \mid w \in {a,b}^*}$. Нормальный вид булевых грамматик. Алгоритм Кокка-Касами-Янгера в редакции для булевых грамматик.

A. Okhotin, &#147Boolean grammars&#148, Information and Computation, 194 (2004) 19-48.