On the Class of Predicates Decidable by Two-Way Multitape Finite Automata.

Kojiro Kobayashi Shigeru Sekiguchi

Published in: J. ACM (1966)

Keyphrases

finite automata
probabilistic automata
regular languages
grammatical inference
deterministic automata
regular expressions
function symbols
tree automata
datalog programs
expert systems
finite automaton
database
databases
pattern matching