Lemma Arden < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Hallo
Kann mir jemand zeigen wie man das Beweist
[mm] \forall X(X\subseteq [/mm] A^* [mm] \wedge \varepsilon [/mm] X [mm] \to X^{*}\otimes [/mm] X = X^*
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 17:56 Di 18.11.2008 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|