Frage zu Folie 6.27

trojan
Windoof-User
Windoof-User
Beiträge: 32
Registriert: 12. Jun 2011 23:03

Frage zu Folie 6.27

Beitrag von trojan »

Folgender Text beim Additionsbeweis verwirrt mich ein bisschen:
Die Herleitungen von (a, σ)=>m und (a, σ)=>m' können nur folgende Formen haben
Warum steht es dort a? Soll es eigentlich nicht so lauten
Die Herleitungen von (a1⊕a2, σ)=>m und (a1⊕a2, σ)=>m' können nur folgende Formen haben

FlorianD
Mausschubser
Mausschubser
Beiträge: 92
Registriert: 14. Jan 2015 17:25

Re: Frage zu Folie 6.27

Beitrag von FlorianD »

Ja, mit \((a1 \oplus a2)\) wäre es genauer. Denke einfach \(a = (a1 \oplus a2)\)

Grüße
Florian

Markus Tasch
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 124
Registriert: 11. Sep 2015 10:57

Re: Frage zu Folie 6.27

Beitrag von Markus Tasch »

Ich habe das entsprechend in den Folien für Modul 6 mit Version 1.2 geändert. Danke für den Hinweis.
Markus Tasch, M.Sc.
Modeling and Analysis of Information Systems
Department of Computer Science, TU Darmstadt
http://www.mais.informatik.tu-darmstadt.de

Antworten

Zurück zu „Archiv“