Testing and Generating Infinite Sequences by a Finite Automaton

Robert McNaughton

Published in: Inf. Control. (1966)

Keyphrases

finite automaton
test sequences
finite automata
tree automata
hidden markov models
software testing
sequence alignment
databases
expert systems
domain knowledge
dynamic programming
test cases
regular expressions
grammatical inference