0 Daumen
97 Aufrufe

Aufgabe:

Zeigen Sie, dass $$ L^*=(L^*)^* $$ gilt.
Wobei $$ L \subseteq \Sigma^* $$ und * die kleenesche Hülle der Menge darstellt.


Problem/Ansatz:

Ich hatte zuerst an eine bijektive Abbildung gedacht, mir fehlt dazu aber der Ansatz wie ich das aufbauen könnte. Hat jemand dazu eine Idee oder einen anderen Weg den ich versuchen könnte?

Avatar von

1 Antwort

0 Daumen

Sei \(m\in (L^*)^*\).

Seien \(m_1,\dots,m_n\in L^*\) mit \(m_1\circ\dots\circ m_n = m\).

Begründe warum \(m \in L^*\) ist.

Ich hatte zuerst an eine bijektive Abbildung gedacht

Weil die Mengen angeblich gleich sind, wäre die Identität eine solche Abbildung.

Avatar von 105 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community