ich sitze gerade vor einer Aufgabe, wo wir das Ardens Lemma auf einen Automaten Anwenden sollen. Hier erstmal der DEA und das zugehörige Gleichungssystem:
$$\begin{aligned} A & \equiv a B\left|b A\right| \varepsilon \\ B & \equiv a B\left|b C\right| \varepsilon \\ C & \equiv(a | b) C \end{aligned}$$
Ich bin mir unsicher, wie ich starten soll. Prinzipiell müsste man ja den Fangzustand C (q3) nicht für den Regulären Ausdruck der am Ende rauskommmt beachten oder? Darf man den dann einfach streichen?
