Finite state automata and monadic definability of singular cardinals.

Published in: J. Symb. Log. (2008)

Keyphrases

finite state automata
deductive databases
finite state machines
monadic second order logic
datalog programs
propositional logic
expressive power
hybrid automata
regular expressions
regular languages
query processing
query language