Pushdown Automata on Infinite Trees and Omega-Kleene closure of Context-Free Tree Sets.
Ahmed SaoudiPublished in: MFCS (1989)
Keyphrases
- tree automata
- context free
- closure properties
- regular expressions
- tree languages
- regular languages
- finite state
- context free grammars
- context sensitive
- context dependent
- finite automata
- grammatical inference
- tree structure
- parse tree
- model checking
- pattern matching
- inductive inference
- grammar rules
- decision trees
- tree structures
- xml schema
- query language
- knowledge base