Das vorliegende Buch ist aus mehreren Vorlesungen hervorgegangen, die ich an der Fakultat fur Informatik der Universitat Tubingen gehalten habe. Diese Vorlesungen richteten sich an Studenten, die Informatik im Haupt- oder Nebenfach studierten. Neben Informatikern konnte dieses Buch aber auch fur alle, die sich mit formalen Systemen beschaftigen, wertvoll sein, insbesondere Mathematiker, Logiker und Sprachwissenschaftler. Das Buch ist eine Einfuhrung in das Gebiet der Termersetzungssysteme. Dennoch setzt es ei nige fundamentale Grundlagen der Informatik voraus. Diese Grundkenntnisse umfassen...
Das vorliegende Buch ist aus mehreren Vorlesungen hervorgegangen, die ich an der Fakultat fur Informatik der Universitat Tubingen gehalten habe. Diese...