Quasi-recognizable vs MSO Definable Languages of One-Dimensional Overlapping Tiles - (Extended Abstract).
David JaninPublished in: MFCS (2012)
Keyphrases
- extended abstract
- monadic second order logic
- expressive power
- finite automata
- data complexity
- language independent
- first order logic
- picture languages
- regular expressions
- monadic datalog
- arabic language
- tree automata
- finite state
- multi dimensional
- language identification
- query language
- transitive closure
- cross lingual
- situation calculus
- xml query languages
- input image
- data sets