Proving termination of context-sensitive rewriting by transformation.

Published in: Inf. Comput. (2006)

Keyphrases

context sensitive
term rewrite systems
rewrite rules
termination analysis
transformation rules
multiple task learning
spelling correction
language model
context free
natural language
statistical model
active rules
multiword
machine learning
training data
knn