Однозначные грамматики. Лемма Огдена и доказательство существенной неоднозначности бесконтекстного языка \(\{a^i b^j c^j \mid i=j\) или \(j=k\}\). Разбор однозначных булевых грамматик за время \(O(n^2)\).

A. Okhotin, “Unambiguous Boolean grammars”, Information and Computation, 206:9—10 (2008), 1234—1247.