Finite automata on infinite trees and subtheories of SkS.

Andrzej Wlodzimierz Mostowski

Published in: CLAAP (1980)

Keyphrases

finite automata
tree automata
regular languages
regular expressions
probabilistic automata
deterministic automata
grammatical inference
decision trees
finite automaton
database
high level
data analysis
pattern matching
finite state automata