T-SYSTEM

Definition

(according to [rt86])



In a T-System there is never any conflict because there are no (forward) branched places.

References


BACK