A property of left-linear rewrite systems preserving recognizability.

Pál Gyenizse Sándor Vágvölgyi

Published in: Theor. Comput. Sci. (2000)

Keyphrases

rewrite systems
term rewriting
quantifier free
artificial intelligence
active rules
knuth bendix
databases
information systems
bayesian networks
autonomous agents