Rewriting systems

In der theoretischen Informatik und mathematischen Logik ist ein String-Rewriting-System ( SRS ), historisch auch als Semi-Thue-System bezeichnet, ein Rewriting- System für Strings aus einem (üblicherweise endlichen )

Jean-Pierre Jouannaud ist ein französischer Informatiker, der für seine Arbeiten auf dem Gebiet des Termersetzungsprozesses bekannt ist .

In Mathematik , Linguistik , Informatik und Logik umfasst das Umschreiben eine Vielzahl von Methoden, um Unterterme einer Formel durch andere Terme zu ersetzen .