Unambiguous Boolean grammars

Abstract. Boolean grammars are an extension of context-free grammars, in which all propositional connectives are allowed. In this paper, the notion of ambiguity in Boolean grammars is defined. It is shown that the known transformation of a Boolean grammar to the binary normal form preserves unambiguity, and that every unambiguous Boolean language can be parsed in time O(n2 ). Linear conjunctive languages are shown to be unambiguous, while the existence of languages inherently ambiguous with respect to Boolean grammars is left open.

• Type: Journal
• Year: 2008
• Where: IANDC
• Authors: Alexander Okhotin
• Keywords: Boolean Grammar, Context-free Grammars, IANDC 2008, Unambiguous Boolean Language