*** Matteuppgiftstråden [För de som inte vill skapa en egen tråd] ***

Ok då förstår jag. Tack!

hej jag behöver hjälp med denna här uppgiften: http://puu.sh/7MzjT.png kan man få en förklaring, vägledning, förstår inte riktigt hur jag ska gå tillväga

Tack

Vet vi något mer om rev, som att den faktiskt vänder på en sträng? Eller är det bara en godtycklig automata?

Den vänder på Strängen
definition är typ:
rev(k1.....kv) = (kv ..... k1)

Fast det blir väl inte riktigt så enkelt i detta fall, eftersom rev (i det fall att en sträng kan delas upp i delsträngar) byter plats på strängdelarna. Vet vi att rev(a)=a för ett godtyckligt a i Sigma fungerar följande som bevis:

Basfall (x=ε):
Eftersom rev(xy)=rev(y)rev(x) så är rev(ε)=rev(εε)=rev(ε)rev(ε) vilket ger att rev(ε)=ε vilket ger att rev(rev(ε))=ε

Antag att rev(rev(x))=x för en sträng av längd n.

Induktionssteg: Antag a godtyckligt tecken i Sigma och att x är en sträng av längd n. Då gäller att rev(rev(xa))=rev(rev(a)rev(x))=rev(rev(x))rev(rev( a))=xa

Vi är klara.

Jag funderade också över om formeln rev(x y) = rev(y) rev(x) räcker.
Kan det inte gälla att rev(ab) = bbaa ?

Tack

jag förstår inte riktigt hur du kommer fram till detta:
rev(ε) = rev(εε)
hur fick du plötsligt 2st ε?

den defintionen jag har fått är http://puu.sh/7MF1f.png

Jo, men nu stod det inte att man skulle använda definitionen, utan man skulle utgå från den givna formeln. Om man skulle använda definitionen vore den givna formeln en sats och helt onödigt att ta upp som ett villkor för det man ska bevisa.

Det gäller att ε = εε, eftersom om man placerar två tomma strängar efter varandra så har man fortfarande en tom sträng.

betyder ε "tom sträng"?

Ja, det kan ibland även skrivas som Λ eller λ.