Thue-system

views updated

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

More From encyclopedia.com