Hi an alle,

hab mal eine doofe Frage:

Wenn mir im F-Zyklus folgende Schreibweise begegnet, was hat das Umgangssprachlich zubedeuten?

L ist eine formale Sprache
M ist ein DTM
L = L(M)

Bedeutet das, dass die Sprache L gleich die Sprache des DTM M ist?

Also es gibt irgendeine formale Sprache L, dann ist L(M) gleich die formale Sprache des DTM M oder anders gefragt L wird auf den DTM M angewandt?

LG
Frischling

M ist Turingmaschine, oder Grammatik oder ähnliches

L(M) ist eine formale Sprache wie jede andere,
die irgendwie mit M in Zusammenhang steht
(z.B. alle Wörter die von der Turingmaschine akzeptiert werden)

das andere L muss damit nix zu tun haben,
das kann auch A oder XY heißen oder wie auch immer,
aber Sprachen nennt man meist L,

nun ist L eine formale Sprache,
und L(M) auch eine,
die beiden müssen nichts miteinander zu tun haben,
können allerdings auch gleich sein,
das drückt man mit L = L(M) aus,

da wird nix auf irgendwas angewandt,

wenn L = L(M) ist, dann ist aber wirklich L = L(M)!,
ja, L ist dann die Sprache von M, also die Sprache die von M akzeptiert wird

wenn X auch eine beliebige formale Sprache ist
kann man genausogut X = L(M) in den Raum stellen,


hoffe das traf irgendwie die Frage ;)

Yupp.

Wunderbar. Es hätte ja auch irgendwas sein können, wie z.B. eine Funktion f(x) oder so. Man was ja nie in F ist das meiste ja Mathematik, bzw. mathematisch ausgedrückt.

ja kann man auch als Funktion ansehen,
nicht das ich wieder was falsches verbreite ;)

das rechte L ist die Funkion,
L: Menge der DTM -> Menge der Sprachen

L(M) ist dann ein Wert,
das linke L die Sprachvariable, der dieser Wert zugewiesen wird


> Sei M eine DTM. Sei L die Sprache von M

Kurzversion: > Sei M eine DTM. L = L(M)


ist aber mit dem bisher erzählten verträglich,
ach ich red zuviel darüber ;)

Hier nochmal die Aufgabe, damit der Zusammenhang zu meiner Frage da ist:

Zeigen Sie, dass eine Sprache L Teilmenge von Alphapet Stern (Summenzeichen Stern: Alle möglichen Wörter die aus einem Alpahpet erstellt werden können) genau dann entscheidbar ist, wenn es eine DTM M_L gibt, für die L=L(M_L) ist, und die auf allen Eingaben w Element von Alphapet Stern anhält.

Hier ist es doch richtig, dass L und L(M_L) ein und dasselbe ist, also keine Funktion oder?

Schließlich gehts doch viel mehr darum zu zeigen, dass irgendeine formale Sprache, eben gerade dann entscheidbar ist, wenn sie egal wieviele Zustände sie durchläuft, um dass Wort w zulesen, irgendwann anhält, also im Endzustand ankommt.

ODER?

LG
Frischling

PS: Warum müsst Ihr Informatiker bloss keinen Schein in F3 machen, dann wäre hier mehr Diskussion zu diesem Thema zu finden.

ja und nein

was L vorher ist weiss man nicht bzw. L gibts vorher gar nicht,
L wird erst definiert durch diesen Ausdruck,

aber ja, L ist dann das gleiche wie L(M)


vergleiche es mit einer ähnlichen Konstruktion:
'Sei v ein Vektor mit der Länge l = |v|',

|v| ist dann ein Wert einer Funktion, aber l istgleich |v|