Formle Sprchen und Automten Üungsltt 4 - Lösung 26. M 2013 1 Whr oder flsch? Begründe kurz dene Antwort! 1. In enem determnstschen endlchen Automten gt es für jedes Wort w Σ mxml enen kzepterenden Pfd. Whr. In enem determnstschen Automten st zu jedem Zetpunkt endeutg festgelegt, n welchen Zustnd mn durch Lesen enes Alphetssymols gelngt. Ddurch knn es für dssele Wort ne mehr ls enen Pfd geen. 2. Für jeden ncht-determnstschen endlchen Automten (NEA) mt n Zuständen exstert en determnstscher endlcher Automt (DEA) mt mndestens 2 n Zuständen, der desele Sprche erkennt. Flsch. Ncht mt mndestens, sondern mt höchstens 2 n Zuständen. Deser exponentl low-up st lso nur der pthologsche Fll e der Determnserung. In den mesten Fällen snd vele der Telmengen-Zustände ncht errechr. 3. Se Σ = 3. In enem DEA mt Alphet Σ gt es kenen Zustnd, von dem mehr ls dre Üergänge usgehen. Whr. Gngen von enem Zustnd mehr ls Σ Üergnge us, würden mndestens zwe deser Üergänge mt demselen Alphetssymol erfolgen. Der Automt wäre dnn ncht mehr determnstsch. 4. Es gt kene Sprche, de zwr von enem NEA, ncht er von enem DEA erknnt wrd. Whr. DEA können genu desele Menge von Sprchen erkennen (nämlch de regulären Sprchen) we NEA. 1
2 Konstrukton enes Automten Konstruere enen determnstschen endlchen Automten, der nur Wörter mt der Endung ng kzeptert, lso z.b. swmmng, etng, sleepng etc. Ds Alphet esteht us llen Buchsten von A-Z. Forml ls 5-Tupel: A = {q 0, q 1, q 2, q 3 }, Σ, q 0, δ, {q 3 } Σ = -z δ = { δ(q 0, ncht ) = q 0, δ(q 0, ) = q 1, δ(q 1, ) = q 1, δ(q 0, ncht oder n) = q 0, δ(q1, n) = q 2, δ(q2, ) = q 1, δ(q2, ncht oder g) = q 0, δ(q 2, g) = g 3, δ(q3, ) = q 1, δ(q 3, ncht ) = q 0 } Gezechnet seht er so us: ncht strt q 0 q 1 n q 2 g q 3 ncht oder n ncht oder g ncht 3 Reguläre Grmmtken und endlche Automten 1. Schre ene Typ-3 Grmmtk zu dem folgenden Automten: q 1 strt q 0 q 3 q 2 c 2
G 1 = {0, 1, 2, 3}, {,, c}, P 1, 0 mt folgender Regelmenge P 1 : {0 1 0 3 1 2 2 1 2 2 2 0 3 c 3 2 ε 3 ε} Alterntv knn P 1 uch ɛ-fre sen: {0 1 0 3 0 1 2 1 2 1 2 2 2 2 0 3 c 3 3 c} 2. Ws st de llgemene Form der Wörter deser Sprche? G se z.b. ls regulären Ausdruck n. De llgemene Form der Wörter lässt sch ls regulärer Ausdruck schreen: ((() ) ((() ) ) (c )) c (Verenfchungen oder ndere Ausdrücke snd möglch), oder uch nformell: Beleg vele Durchgänge durch de Schlefe 0120, de β erzeugt, woe β für eleg vele Vorkommen von oder steht. Schleßlch muss der Automt n enen Endzustnd fnden: ds geht entweder mt β oder mt und eleg velen c. 3. Ist de Sprche endlch oder unendlch, und wrum? De Sprche st unendlch, d es ene Schlefe gt, de errechr und uch ko-errechr st. 3
4. Welchen Üergng müsste mn hnzufügen, dmt der Automt uch ds Wort erkennt? Um ds Wort zu erkennen, muss dem Automten entweder en Üergng von 1 nch 2 mt, von 0 nch 2 mt oder ene Schlefe m Zustnd 1 mt hnzugefügt werden. 5. Blet de Sprche erhlten, wenn mn den -Üergng von 2 nch 1 entfernt? (Wenn ncht, g en Gegenespel.) Nen, de Sprche let ncht erhlten. Der Orgnlutomt knn ds Wort erkennen, ds st ncht mehr möglch, wenn der Üergng entfernt wrd. 4 Frewllge Aufge: Induktonsewes Gegeen st de Bernoullsche Unglechung: (1 + x) n 1 + nx für jede gnze Zhl x 1 Löse de folgenden Aufgen und ewese dmt nduktv de Rchtgket der Unglechung. 1. Fnde ene Vrle n der Unglechung, üer de du den Bewes m esten führen knnst. n 2. Ws st der snnvollste, klenste Wert, den de Vrle nnehmen knn? n = 0, d wr dnn enfche Fälle we 1 + 0 x oder (1 + x) 0 etrchten können. 3. Bewese den Bssfll: Setze desen Wert für de Vrle en und zege, dss de Unglechung whr st. Für n = 0 glt: (1 + x) 0 1 + 0 x 1 1 + 0 x 1 1 Der Bssfll st lso whr. 4. Formulere de Induktonsvorussetzung und de Induktonsehuptung. De Induktonsvorussetzung st: (1 + x) n 1 + nx mt n 0 Dher st de Induktonsehuptung, dss de Unglechung uch für n + 1 glt: (1 + x) (n+1) 1 + (n + 1)x 4
5. Der schwergste Tel: Bewese, dss de Induktonsehuptung whr st (Induktonsschrtt). (1 + x) (n+1) 1 + (n + 1)x (1 + x) n (1 + x) (1 + nx) (1 + x) 1 + x + nx + nx 2 1 + (n + 1)x De letzte Zele zegt offenschtlch, dss de lnke Sete größer ls de rechte st. Für mehr Infos, schu n den Wkped-Artkel: http://de.wkped.org/wk/bernoullsche_unglechung 5