Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Lemma 2.3.6 Falls konfluent ist, dann hat jedes Objekt hochstens eine Normalform.
 

Summary: Lemma 2.3.6
Falls konfluent ist, dann hat jedes Objekt h¨ochstens eine Normalform.
Uniforme Konfluenz: ist uniform konfluent gdw. f¨ur alle t, q1, q2 gilt:
Wenn t q1 und t q2,
dann gilt q1 = q2 oder es existiert ein q mit q1 q und q2 q.
Satz 2.3.11: Falls uniform konfluent ist, dann ist konfluent.
Satz 2.3.12
Falls uniform konfluent ist und t n
q, q Normalform,
dann existiert keine unendliche Folge t t1 t2 . . .
und auch keine Folge t m
q mit m = n.
Elemente von ThP (wahre Aussagen)
x, y, z : number plus(x, plus(y, z)) plus(plus(x, y), z)
x, y : number plus(x, y) plus(y, x)
x, y, z : number plus(x, y) plus(x, z) y z
x : number plus(x, x) x
x : number x O y : number x succ(y)
x, y, z : number times(plus(x, y), z) plus(times(x, z), times(y, z))
Keine Elemente von ThP (falsche Aussagen)

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences