Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » formale Sprachen » Welche Sprache wird erkannt? » Antwort erstellen » Hallo Gast [Anmelden|Registrieren]

Antwort erstellen
Benutzername: (du bist nicht eingeloggt!)
Thema:
Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33
smileWinkDaumen hoch
verwirrtAugenzwinkerngeschockt
Mit ZungeGottunglücklich
Forum Kloppebösegroßes Grinsen
TanzentraurigProst
TeufelSpamWillkommen
LehrerLOL HammerZunge raus
Hilfe 
aktuellen Tag schließen
alle Tags schließen
fettgedruckter Textkursiver Textunterstrichener Text zentrierter Text Hyperlink einfügenE-Mail-Adresse einfügenBild einfügen Zitat einfügenListe erstellen CODE einfügenPHP CODE farbig hervorheben
Spamschutz:
Text aus Bild eingeben
Spamschutz

Die letzten 4 Beiträge
Karlito

Achso, falsch verstanden:

Ich bin mir nicht sicher aber ich würde das so definieren:

[latex]L = \{ u1v | u \in \Sigma^* \text{ und } v \in \Sigma^2 \} [/latex]

VG,

Karlito
bandchef

Die Sache mit dem regulären Ausdruck hab ich mir auch schon gedacht. Da wir in der Vorlesung aber noch keine regulären Ausdrücke gemacht haben, kann es das als Lösung wohl eher nicht sein.

Die Mengeschreibweise wahrscheinlich schon eher. Aber wie kommt man dann von der Mengenschreibweise auf so eine Art mathematische Definition?
Karlito

Das einfachste wäre wohl eine Mengenschreibweise.

Also [latex]\{0,1\}^*\cdot\{1\}\cdot\{0,1\}\cdot\{0,1\}[/latex].

Sonst gibt es noch reguläre Ausdrücke. Die sind aber je nach Definiton etwas anders. Bei mir galt das + als oder und der [latex]\cdot[/latex] als Konkatenation.

Sähe also so aus:
[latex] (0+1)^*\cdot1\cdot(0+1)\cdot(0+1)[/latex].

Einfach mal bei Wikipedia schlau machen...

VG,

Karlito
bandchef Welche Sprache wird erkannt?

Aufgabe: Welche Sprache erkennt M? -> Bild zum Automaten seht ihr unten!


Hi Leute!

Wie die Aufgabe ja bedeutet, soll ich die Sprache angeben, die den Automaten wie im Bild beschreibt. Ich hab mir dazu natürlich auch schon Gedanken gemacht und dabei auf das hier gekommen:

[latex]L=\{ u1?? | u\in \Sigma^{\star} \} [/latex] mit [latex]\Sigma=\{0,1\}[/latex]

Das u in meiner Sprache soll übrigens für ein Teilwort stehen und das wiederum für die Eigeschleife am ersten Zustand q. Dann MUSS eine 1 kommenn und dann gehts weiter zu den Fragezeichen; hier beginnen dann meine Probleme.

Wenn man den Automaten anschaut, kann man erkennen, dass nach Zustand 2 noch die Zustände 1 und 0 kommen, die jeweils mit einer 0 ODER einer 1 zu erreichen sind, also quasi jeweils ein Element aus [latex]\Sigma[/latex].
Mein Problem ist nun, dass ich nicht weiß wie ich das in der formaler Mathematik ausdrücken soll...

Ich hoffe ihr könnt mir weiterhelfen!

bandchef hat dieses Bild (verkleinerte Version) angehängt:
ss3jodh2.jpg