PaperCharacterizing derivation trees of context-free grammars through a generalization of finite automata theory
PaperGeneralized finite automata theory with an application to a decision problem of second-order logic
