Overview

Thue-system


More Like This

Show all results sharing this subject:

  • Computing

GO

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.