Linear diophantine equations, Presburger arithmetic and finite automata.

Published in: UNIF (1995)

Keyphrases

finite automata
presburger arithmetic
deterministic automata
quantifier elimination
grammatical inference
regular expressions
algebraic structure
finite automaton
hidden markov models
databases
search algorithm
theorem proving
decision procedures