On Inverse Deterministic Pushdown Transductions.

Paul M. B. Vitányi Walter J. Savitch

Published in: J. Comput. Syst. Sci. (1978)

Keyphrases

finite state
model checking
finite automata
real time
data mining
turing machine
search engine
image processing
image sequences
regular expressions