Regular languages defined by first-order formulas without quantifier alternation.

Andreas Krebs Howard Straubing

Published in: CoRR (2022)

Keyphrases

regular languages
context free languages
quantifier elimination
grammatical inference
regular expressions
horn clauses
first order logic
context free grammars
finite automata
real numbers
pac learning
context free
training data
training set
relational databases
pattern matching