Informatiker Board | Druckvorschau: Kann mir jemand zeigen dass REG echte Teilmenge von L

Geschrieben von HelpMePlease am 22.01.2015 um 15:29:

Kann mir jemand zeigen dass REG echte Teilmenge von L

Hallo werte Experten der theoretischen Informatik,

kann mir jemand verständlich zeigen bzw erklären wieso REG eine echte Teilmgenge von L ist ?

Vielen Dank Im Vorraus

Geschrieben von Karlito am 22.01.2015 um 15:56:

Was ist REG und was ist L?

Gruß,

Karlito

Geschrieben von HelpMePlease am 22.01.2015 um 16:14:

REG ist die Klasse der regulären Sprachen und L bezeichnet meiner Meinung nach die Komplexitätsklassen

de.wikipedia.org/wiki/L_%28Komplexitätsklasse%29

Geschrieben von Karlito am 22.01.2015 um 16:27:

OK, ich gehe davon aus, dass das nichts mit Komplexitätsklassen zu tun hat sondern es geht nur um die Frage, warum die regulären Sprachen eine echte Teilmenge aller (formalen) Sprachen ist. Die Begründung ist meiner Meinung nach relativ einfach: reguläre Sprachen sind nur diejenigen Sprachen, welche von einem endlichen Automaten erkannt werden. Es gibt jedoch auch noch Sprachen, welche nicht von endlichen Automaten akzeptiert werden (z.B. $[latex]\mathcal{L} = \{a^nb^n | n \in \mathbb{N} \}[/latex]$ ). Da alle regulären Sprachen in der Menge der Sprachen enthalten sind, jedoch die Menge aller Sprachen größer ist, als die Menge der regulären Sprachen, muss $[latex]REG \subset L[/latex]$ gelten.

Gruß,

Karlito

Geschrieben von HelpMePlease am 22.01.2015 um 16:59:

erstmal danke für die schnelle antwort und die soweit sehr einleuchtende erklärung, ich werde mich erkundigen, ob es wirklich nur um die formalen sprachen geht oder doch um etwas anderes und notfalls nochmals ergänzen

Geschrieben von Karlito am 22.01.2015 um 17:04:

OK

Geschrieben von HelpMePlease am 23.01.2015 um 02:02:

OK,

L ist die Bezeichnung für den logarithmischen Platz, also doch im Zusammenhang mit Komplexitätsklassen.