Theoretische und technische Informatik - ganz praktisch
Herzlich willkommen auf der Question/Answer-Plattform zu Grundlagen der Informatik II. Wir wünschen Ihnen viel Spaß beim Lernen und Diskutieren!
Loggen Sie sich mit Ihrem KIT-Account (u...) ein, um loszulegen!
Beachten Sie auch diese Informationen zum Schnelleinstieg.
(Nicht-KIT-Studierende beachten bitte diese Informationen.)

Beliebteste Tags

verständnis alternativlösung klausur kellerautomat endlicher-automat grammatik regulärer-ausdruck pumpinglemma turingmaschine tipp zahlendarstellung cmos klausurrelevant bonusklausur komplexität schaltwerk binary-decision-diagram deterministisch assembler schaltnetz sprachen minimierung nichtdeterministisch huffman fehler-in-aufgabe chomsky-normalform anwesenheitsübung rechtslinear heimübung flip-flop cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik huffman-kodierung hauptklausur fehlererkennbarkeit vorlesungsfolien kontextfreie-sprache polynomialzeitreduktion faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten lambda mealy konjunktive-normalform pipelining zustände saalübung leeres-wort endliche-automaten ohne-lösungen betriebssystem speicherorganisation moore monotone-grammatik 2-komplement fehler reguläre-sprache hammingzahl monoton lösungsweg pumping-lemma-für-kontextfreie-sprachen kodierung berechenbarkeit klausureinsicht disjunktive-normalform pumping-lemma info-ii bussysteme rechnerarchitektur abzählbarkeit komplexitätsklassen ableitungsbaum vorlesungsaufzeichnung round-robin minimierung-endlicher-automaten chomsky-klassen binärzahl entscheidbar programmiersprachen entscheidbarkeit aufzählbarkeit stern-symbol automaten nukit-fragen bewertung zugriffsarten von-neumann-rechner umformung adressierung mengen binär-subtrahieren organsiation

Kategorien

1 Pluspunkt 0 Minuspunkte
80 Aufrufe

Hallo.

Wie kann ich in der Zustandsübergangsfunktion deutlich machen, dass das Wort mit einer "1" beginnen muss? Eine "0" wäre ja nicht zulässig...

Vielen Dank im Vorraus!

in END-AE von Dozent (10.1m Punkte)  

2 Antworten

0 Pluspunkte 0 Minuspunkte

im Prinzip ist es so: Der Automat akzeptiert das Wort, wenn er nach dem Einlesen in einem Endzustand ist.

Wichtig ist zudem noch, dass hier nach "einem endlichen Automaten" gefragt wurde. Daher kannst du hier einen nichtdeterministischen Automaten definieren.

Somit kannst du ganz einfach festlegen, dass du aus dem Startzustand s0 nur mit einer 1 in den nächsten Zustand s1 wechselst. Sollte das Wort nur aus 0er bestehen, bleibt der Automat in s0. Da dies kein Endzustand ist, aktzeptiert der Automat das Wort nicht.

Christoph (Tutor)

 

von Dozent (10.1m Punkte)  
0 Pluspunkte 0 Minuspunkte

Da nur ein nichtdet. EA gefordert ist kann man dies ganz leicht umsetzen, indem man vom Startzustand nur einen Übergang für die 1 zum nächsten Zustand definiert. Damit würde der Automat nur mit Eingabe einer 1 am Anfang in den Folgezustand kommen. Bei Eingabe einer 0 würde der Automat hängen bleiben und das Wort damit nicht akzeptieren.

Philippe (Tutor)

von Dozent (10.1m Punkte)  
...