Opening book details…
Can I read On the Descriptive Power of Term Rewriting Systems on EtoBox?
On the Descriptive Power of Term Rewriting Systems by Jürgen Avenhaus is a Computer Science article available to read on EtoBox.
What is On the Descriptive Power of Term Rewriting Systems about?
Given the set 5 of terms, a congruenceon ,l and a set N of representatives for -, we say a term rewriting system (TRS) R defines (-, N) ifis the congruence defined by R and N is the set of R-normal forms . We give necessary and sufficient syntactical conditions on (-', N) to be definable by a TRS . It turns out that ('-, N) may be definable by a TRS but not by a uniquely terminating one . In order to find a minimal TRS defining (-., N) we construct the reduced TRS for (-j, N) . The reduced TRS R may fail to define (-j, N), but if every term has an R-normal form, then it is a minimal TRS defining (-j, N) .
Who reads On the Descriptive Power of Term Rewriting Systems?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Jürgen Avenhaus
- Publisher
- Elsevier Science; Elsevier ; Elsevier Inc.; Elsevier BV (ISSN 0747-7171)
- Published
- 1986
- Language
- EN
- Field
- Computer Science (Physical Sciences)