Geschrieben von Karlito am 08.08.2016 um 10:47:
Hallo Tinchen1982,
es handelt sich um 3 Alternativen:
![[latex]b[/latex]](http://www.matheboard.de/latex2png/latex2png.php?b)
,
![[latex]\varepsilon[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\varepsilon)
und
(b + \varepsilon)^*(b+\varepsilon)[/latex]](http://www.matheboard.de/latex2png/latex2png.php?(b + \varepsilon)(b + \varepsilon)^*(b+\varepsilon))
.
Benutzt man die erste Alternarive erhält man nur das Wort b. Bei der Zweiten nur das leere Wort. Die dritte Alternative ist wiederum eine Konkatenation aus 3 Alternativen. Wie die beiden Äußeren funktionieren haben wir ja bereits geklärt, da sie wie die ersten beiden Alternativen aufgebaut sind. Die Mittlere ist nun interessant, da hier zusätzlich ein Kleene-Stern zum Einsatz kommt. Angenommen wir wählen für die beiden Äußeren Alternativen jeweils
![[latex]\varepsilon[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\varepsilon)
, dann ist der mittlere Teil ein Kleene-Stern über
![[latex]b+\varepsilon[/latex]](http://www.matheboard.de/latex2png/latex2png.php?b+\varepsilon)
. D.h. es ist eine beliebig lange Sequenz aus
![[latex]b[/latex]](http://www.matheboard.de/latex2png/latex2png.php?b)
und
![[latex]\varepsilon[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\varepsilon)
. Eine Konkatenation von einem beliebigen Wort mir
![[latex]\varepsilon[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\varepsilon)
ergbit wieder das Wort. Wir sehen also, dass
^* \equiv b^*[/latex]](http://www.matheboard.de/latex2png/latex2png.php?(b+\varepsilon)^* \equiv b^*)
. Wählen wir also die dritte Alternative und dabei die erste und die letzte Alternative
![[latex]\varepsilon[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\varepsilon)
, dann erhalten wir
![[latex]b*[/latex]](http://www.matheboard.de/latex2png/latex2png.php?b*)
, da
Gruß,
Karlito