Overview

Thue-system


Show Summary Details

Quick Reference

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

ww′ iff w′ ⇒ w

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.