Boolean grammar

Boolean grammars, introduced by Okhotin [Wikidata], are a class of <a href="/facts/Formal_grammar/QLxaQNAz">formal grammars</a> studied in <a href="/facts/Formal_language/crDTyP8q">formal language</a> theory. They extend the basic type of grammars, the <a href="/facts/Context-free_grammars/yu1FFdK4">context-free grammars</a>, with <a href="/facts/Logical_conjunction/62uyyn1d">conjunction</a> and <a href="/facts/Negation/q5AQBvBj">negation</a> operations. Besides these explicit operations, Boolean grammars allow implicit <a href="/facts/Logical_disjunction/jbI2EGlM">disjunction</a> represented by multiple rules for a single nonterminal symbol, which is the only logical connective expressible in context-free grammars. Conjunction and negation can be used, in particular, to specify intersection and complement of languages. An intermediate class of grammars known as <a href="/facts/Conjunctive_grammar/yGvYGKBP">conjunctive grammars</a> allows conjunction and disjunction, but not negation. 
The rules of a Boolean grammar are of the form

 
 
 
 A
 →
 
 α
 
 1
 
 
 &
 …
 &
 
 α
 
 m
 
 
 &
 ¬
 
 β
 
 1
 
 
 &
 …
 &
 ¬
 
 β
 
 n
 
 
 
 
 {\displaystyle A\to \alpha _{1}\And \ldots \And \alpha _{m}\And \lnot \beta _{1}\And \ldots \And \lnot \beta _{n}}

where 
 
 
 
 A
 
 
 {\displaystyle A}
 
 is a nonterminal, 
 
 
 
 m
 +
 n
 ≥
 1
 
 
 {\displaystyle m+n\geq 1}
 
 and 
 
 
 
 
 α
 
 1
 
 
 
 
 {\displaystyle \alpha _{1}}
 
, ..., 
 
 
 
 
 α
 
 m
 
 
 
 
 {\displaystyle \alpha _{m}}
 
, 
 
 
 
 
 β
 
 1
 
 
 
 
 {\displaystyle \beta _{1}}
 
, ..., 
 
 
 
 
 β
 
 n
 
 
 
 
 {\displaystyle \beta _{n}}
 
 are strings formed of symbols in 
 
 
 
 Σ
 
 
 {\displaystyle \Sigma }
 
 and 
 
 
 
 N
 
 
 {\displaystyle N}
 
. Informally, such a rule asserts that every string 
 
 
 
 w
 
 
 {\displaystyle w}
 
 over 
 
 
 
 Σ
 
 
 {\displaystyle \Sigma }
 
 that satisfies each of the syntactical conditions represented by 
 
 
 
 
 α
 
 1
 
 
 
 
 {\displaystyle \alpha _{1}}
 
, ..., 
 
 
 
 
 α
 
 m
 
 
 
 
 {\displaystyle \alpha _{m}}
 
 and none of the syntactical conditions represented by 
 
 
 
 
 β
 
 1
 
 
 
 
 {\displaystyle \beta _{1}}
 
, ..., 
 
 
 
 
 β
 
 n
 
 
 
 
 {\displaystyle \beta _{n}}
 
 therefore satisfies the condition defined by 
 
 
 
 A
 
 
 {\displaystyle A}
 
.
There exist several formal definitions of the language generated by a Boolean grammar. They have one thing in common: if the grammar is represented as a system of <a href="/facts/Language_equation/864ww4DQ">language equations</a> with union, intersection, complementation and concatenation, the languages generated by the grammar must be the solution of this system. The semantics differ in details, some define the languages using language equations, some draw upon ideas from the field of <a href="/facts/Logic_programming/Xgh8lj3F">logic programming</a>. However, these nontrivial issues of formal definition are mostly irrelevant for practical considerations, and one can construct grammars according to the given informal semantics. The practical properties of the model are similar to those of <a href="/facts/Conjunctive_grammar/yGvYGKBP">conjunctive grammars</a>, while the descriptional capabilities are further improved. In particular, some practically useful properties inherited from <a href="/facts/Context-free_grammars/yu1FFdK4">context-free grammars</a>, such as efficient parsing algorithms, are retained, see Okhotin (2010).

<ul><li>Okhotin, Alexander (2004-10-10). <a href="https://doi.org/10.1016%2Fj.ic.2004.03.006">"Boolean Grammars"</a>. Information and Computation. 194 (1): 19–48. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fj.ic.2004.03.006">10.1016/j.ic.2004.03.006</a>.</li>
<li>Okhotin, Alexander (2006). <a href="https://pdfs.semanticscholar.org/2fd5/9363120a1576a3aa7b3cabec3117ca414472.pdf">Nine Open Problems on Conjunctive and Boolean Grammars</a> (PDF) (Technical report). TUCS. 794.</li>
<li>Kountouriotis, Vassilis; Nomikos, Christos; Rondogiannis, Panos (2009). <a href="http://www.di.uoa.gr/%7Eprondo/papers/knr09.pdf">"Well-founded semantics for Boolean grammars"</a> (PDF). Information and Computation. 207 (9): 945–967. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fj.ic.2009.05.002">10.1016/j.ic.2009.05.002</a>.</li>
<li>Okhotin, Alexander (2010). "Fast parsing for Boolean grammars: a generalization of Valiant's algorithm". In Gao, Y.; Lu, H.; Seki, S.; Yu, S. (eds.). <a href="/facts/International_Conference_on_Developments_in_Language_Theory/7jsbE12g">Developments in Language Theory</a>. 14th International Conference, DLT 2010, London, ON, Canada, August 17–20, 2010, Proceedings. <a href="/facts/Lecture_Notes_in_Computer_Science/1UeA77BC">Lecture Notes in Computer Science</a>. Vol. 6224. pp. 340–351. <a href="http://users.utu.fi/aleokh/papers/boolean_matrix.pdf">Preprint</a> available online, <a href="https://web.archive.org/web/20160303230513/http://users.utu.fi/aleokh/papers/boolean_matrix.pdf">Archived</a> 3 March 2016 at the <a href="/facts/Wayback_Machine/nmQ3a6JC">Wayback Machine</a>.</li></ul>

Boolean grammar open-in-new

Boolean grammar