FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Formale Informatik

min(a^i b^j c ^k mit i >0 k>0 j>0)

min(a^i b^j c ^k mit i >0 k>0 j>0) 2005-07-09 17:57
Connor
Ist es dann einfach a^i b^j c da ja einfach alle Kanten vom Endzustand entfernt werden?

und ist Min(x) = präfixfrei(x) ?

Re: min(a^i b^j c ^k mit i >0 k>0 j>0) 2005-07-10 00:00
Calamari
und ist Min(x) = präfixfrei(x) ?

Ja, den min(L) bezeichnet den präfixfreien Anteil der Sprache L. (genau so stehts im Skript)

Ich persönlihc habe aber noch schwierigkeiten mir den Präfixfreien Anteil einer Sprache vorzustellen, irgendwie.

Re: min(a^i b^j c ^k mit i >0 k>0 j>0) 2005-07-10 01:55
georg
Ist es dann einfach a^i b^j c

Was du meinst, ist richtig. Aber dir ist bestimmt klar,
dass man das eigentlich so schreiben muss:

min({a^i b^j c^k | i>0,j>0,k>0})={a^i b^j c | i>0,j>0}.

Ich persönlihc habe aber noch schwierigkeiten mir den Präfixfreien Anteil einer Sprache vorzustellen, irgendwie.

min(L) besteht einfach aus allen Wörter von L, die keinen
echten Präfix haben, der auch in L liegt. Der Name "min"
kommt daher, dass die Menge L bzgl. der Präfixrelation
(die von Def. 2.46) partiell geordnet ist. So gesehen
ist nämlich min(L) die Menge der minimalen Elemente von L.