Thue-system

views updated

Thue-system A semi-Thue system in which, for each production lr, the reverse production rl is also present (as in the first example under semi-Thue system). Clearly then ww′ iff w′ ⇒ w