Synthesis of computer programs that implement finite automata.

Dmitry I. Cheremisinov

Published in: Autom. Control. Comput. Sci. (2007)

Keyphrases

computer programs
finite automata
probabilistic automata
deterministic automata
grammatical inference
programming language
regular expressions
expert systems
tree automata
turing test
finite automaton
database
human users
trading strategies
software agents
hidden markov models
query processing
high level
databases