Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Konfluenz/Kritische Paare
Muss man zwingend immer beim Zusammenfuehren von kritischen Paaren von s und s’ auf ein t’ ableiten oder geht auch die Umformung mit einer Regel von s auf s’ bzw s’ auf s?
Braucht man zwingend das t’ oder kann das auch gleich dem s oder s’ sein?
Besten Dank schon einmal!
Angenommen <s,s’> ist ein kritisches Paar, dessen Zusammenführbarkeit gezeigt werden soll. Laut Skript muss gezeigt werden, dass es ein beliebiges t’ gibt sodass s -->* t’ und s’ -->* t’. Dabei bedeutet s ->* t’, dass t’ in beliebig vielen (einschließlich 0) Schritten aus s herleitbar sein muss. Es ist also erlaubt, dass s und t’ resp. s’ und t’ gleich sind.
Danke!