Булевы грамматики, семантика единственного решения в сильном смысле. Примеры булевых грамматик для языков \(\{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.