STS
Semi-Thue-System
Definition
Ein Semi-Thue-System ist ein formales Umschreibungssystem in der theoretischen Informatik, das Zeichenkettenersetzungsregeln definiert.
Semi-Thue-System
Ein Semi-Thue-System ist ein formales Umschreibungssystem in der theoretischen Informatik, das Zeichenkettenersetzungsregeln definiert.