Ist Konfluenz Teil der Automatentherie? Wofuer ist es gut? Gibt es praktische Anwendung?
Wer das beantwortet, bekommt den Preis. -- Sparti 16:41, 26. Mai 2005 (CEST)
Nein, es stammt nicht aus der automatentheorie, sondern aus dem Lambda-Kalkül bzw. Termersetzungssysteme. Ich habe ein Anfang gemacht, buddle morgen oder übermorgen ein nettes Beispiel aus, und pumpe diesen Lemma auf (Witz für theoretische Programmierer). Konfluenz ist sehr wichtig im Compilerbau. --WiseWoman 14:09, 26. Jun 2005 (CEST)