A Result on the Equivalence Problem for Deterministic Pushdown Automata.

Kenichi Taniguchi Tadao Kasami

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

Keyphrases

data sets
databases
data mining
information retrieval
information systems
cellular automata
finite state automaton