Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables.

Howard Straubing Denis Thérien

Published in: STACS (2001)

Keyphrases

real numbers
decision makers
database
lower bound
grammatical inference
upper bound
regular languages
learning algorithm
database systems
reinforcement learning
computational complexity
first order logic
finite automata