Characterizing Languages by Normalization and Termination in String Rewriting - (Extended Abstract).
Jeroen KetemaJakob Grue SimonsenPublished in: Developments in Language Theory (2012)
Keyphrases
- extended abstract
- regular path queries
- termination analysis
- type checking
- regular expressions
- context free grammars
- presburger arithmetic
- expressive power
- active rules
- rewriting systems
- databases
- conjunctive queries
- language independent
- string matching
- rewrite systems
- term rewriting
- data structure
- cross lingual
- pattern matching
- preprocessing
- text summarization
- language identification
- rewriting rules
- edit distance
- active databases
- suffix tree
- rewrite rules
- hamming distance
- theorem proving
- finite state automata
- information extraction