Algebras, Automata and Logic for Languages of Labeled Birooted Trees.
David JaninPublished in: ICALP (2) (2013)
Keyphrases
- tree automata
- ordered trees
- regular expressions
- expressive power
- boolean algebra
- relation algebra
- regular tree languages
- tree languages
- regular languages
- formal language
- logic programming
- decision trees
- finite state
- formal languages
- context free
- finite automata
- classical logic
- regular path queries
- formal language theory
- automata theoretic
- cellular automata
- language independent
- tree structures
- distributive lattices
- unordered trees
- modal logic
- finite state automata
- grammatical inference
- syntactic and semantic dependencies
- tree structure
- highly expressive
- constraint language
- temporal reasoning
- cross lingual
- programs written
- text summarization
- pattern matching
- training data
- finite state machines
- predicate logic
- topological spaces
- rooted trees
- spatial reasoning
- data model
- training set
- context free grammars