FB18 - Das Forum für Informatik

fb18.de / Bachelorstudieng / PM Formale Informatik

=_AC ???

=_AC ??? 2007-12-01 19:24
Anonymer User
Kann mir jemand bitte sagen, was das =_AC im FGI2 Skript zu bedeuten hat. Das wird nirgendwo definiert? Oder habe ich da was verschlafen?

RE: =_AC ??? 2007-12-01 19:36
doodles
=AC bedeutet, dass zwei terme gleich sind bis auf die anwendung des Assoziativ- (A) und des Kommutativgesetzes (K) bezüglich dem +

Beispielsweise

x + y =AC y + x
oder x + y + z =AC z + y + x
oder (x + y) + z =AC x + (y + z)

RE: =_AC ??? 2007-12-01 20:03
Anonymer User
Definiert wird das Ganze *in* dem Beweis zur Vollständigkeit des
BPA-Kalküls (Satz 4.10, S. 147, dort gleich zu Anfang des Beweises).

Die Definition der Gewichtsfunktion, die man auch auf dem Aufgabenblatt
braucht, ist dort auch zu finden, ebenso wie die Definition des Ersetzungs-
kalküls (bzw. Reduktionskalküls), der sich aus den Regeln R3, R4 und R5
zusammensetzt (siehe abermals S.147 und beachte den Abschnitt unterhalb
der Regeln).

Frank :)