0 Daumen
35 Aufrufe

Frage:

Es sei die Grammatik \( G=(N, T, S, P) \) mit \( N=\{S, X\}, T=\{\mathrm{a}, \mathrm{b}\}, \) und

P = {S -> aSa | X, X-> Xbb | S | ε} gegeben.


Zeigen oder widerlegen Sie:

Es gibt einen Homomorphismus \( h: T^{*} \rightarrow T^{*}, \) sodass \( h(L(G))=T^{*} \) ist.

Wäre sehr nett, wenn mit jemand weiterhelfen könnte. Ich habe das Gefühl, dass so ein Homomorphismus existiert, komme aber nicht darauf wie man es beweisen soll.

von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community