Testing Membership in Formal Languages Implicitly Represented by Boolean Functions.
Beate BolligPublished in: J. Univers. Comput. Sci. (2006)
Keyphrases
- boolean functions
- formal languages
- uniform distribution
- formal language theory
- natural language
- functional properties
- threshold functions
- formal language
- prime implicants
- membership queries
- multi valued
- context free grammars
- binary decision diagrams
- dnf formulae
- machine learning
- pattern languages
- linear threshold
- dnf formulas
- read once formulas