alogos._grammar.normalization.binary_choice

Functions

is_bcf(grammar)	Check if the grammar is in Binary Choice Form (BCF).
to_bcf(grammar)	Convert the grammar G into Binary Choice Form without changing its language L(G).

---

Detailed object descriptions

alogos._grammar.normalization.binary_choice.is_bcf(grammar)

Check if the grammar is in Binary Choice Form (BCF).

alogos._grammar.normalization.binary_choice.to_bcf(grammar)

Convert the grammar G into Binary Choice Form without changing its language L(G).