Title | Prüfunghilfe - Aufgaben aus der Prüfung mit Lösungen. Zum Strg + F drücken. |
---|---|
Course | Grundlagen der Theoretischen Informatik |
Institution | FernUniversität in Hagen |
Pages | 2 |
File Size | 63.2 KB |
File Type | |
Total Downloads | 42 |
Total Views | 372 |
Für jede reguläre Sprache L⊆{a,b}* ist die Sprache LG={ w ∈ L | |w| ist gerade} auch regulär.Ist diese Aussage wahr oder falsch? Begründen Sie Ihre Antwort.Wahr. Die Sprache L_2={w aus {a,b}^* | |w| ist gerade } ist regulär, da sie durch den RA ((a+b) (a+b))^* beschrieben werden kann. Die regulären ...
* Fürj eder egul är eSpr ache L⊆{ a, b} i stdi eSpr acheLG={ w∈ L|| w|i stger ade}auchr egul är .
I stdi eseAussagewahroderf al sch?Begr ündenSi eI hr eAnt wor t . Wahr .Di eSpr acheL_2={ waus{ a, b} ^*|| w|i stger ade}i str egul är ,dasi edur chdenRA( ( a+b) ( a+b) ) ^ *beschr i eben wer denkann.Di er egul är enSpr achensi ndunt erSc hni t tabgeschl ossen( i m Kur st ex tbewi es en) . DaL_G derSchni t t v onLundL_2i st ,i s tal soauchL_G r egul är . Esgi btei neent schei dbar eSpr acheL,di ecoauf zähl baraberni chtauf zähl bari s t . I s tdi eseAuss agewahroderf al sch?Begr ündenSi eI hr eAnt wor t . Fal s ch.Al l eent schei dbar enSpr achensi nder k ennbar( dennei nEnt schei deri st ei neTur i ngmaschi ne)unddami tauf zähl bar . Wennf ürX∈NPgi l t ,das sY≤ ,danngi l tY≤pSAT pX I s tdi eseAuss agewahroderf al sch?Begr ündenSi eI hr eAnt wor t . Wahr .Wi rwi s senausdem Kur s ,dassSAT NPvol l s t ändi gi st .Dashei ßt ,das sf ür al l eLausNPgi l t :L...