Second-Order Finite Automata: Expressive Power and Simple Proofs Using Automatic Structures.

Published in: DLT (2021)

Keyphrases

expressive power
finite automata
first order logic
query language
computational properties
data complexity
transitive closure
regular expressions
grammatical inference
relational algebra
user defined aggregates
relational calculus
object oriented
query processing
expert systems
finite automaton
databases