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 minimierung sprachen nichtdeterministisch huffman chomsky-normalform fehler-in-aufgabe anwesenheitsübung rechtslinear heimübung flip-flop cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik fehlererkennbarkeit huffman-kodierung hauptklausur vorlesungsfolien kontextfreie-sprache polynomialzeitreduktion faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten lambda mealy endliche-automaten konjunktive-normalform pipelining zustände saalübung leeres-wort 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 pumping-lemma klausureinsicht disjunktive-normalform info-ii bussysteme rechnerarchitektur abzählbarkeit komplexitätsklassen ableitungsbaum vorlesungsaufzeichnung round-robin entscheidbarkeit minimierung-endlicher-automaten chomsky-klassen von-neumann-rechner binärzahl entscheidbar programmiersprachen aufzählbarkeit stern-symbol automaten schaltnetze-und-schaltwerke nukit-fragen bewertung zugriffsarten umformung adressierung mengen binär-subtrahieren

Kategorien

0 Pluspunkte 1 Minuspunkt
82 Aufrufe

Hallo zusammen,

ich habe den Automaten so ähnlich wie oben schon einmal beschrieben, nämlich:

          0              1             *

s0   (s0,1,R)    (s0,0,R)   (s1,*,L)

s1   (s2,1,R)    (s1,0,R)   (s2,*,R)

s2   (s2,0,L)    (s2,1,L)    (s3,*,R)

se

Damit müsste ich wieder auf dem linkesten Zeichen stoppen, habe aber das Problem der Invertierung von 0000 nicht abgedeckt. Wie müsste ich den Automaten anpassen, dass das auch dabei ist, bzw. ist meine Turingmaschine so überhaupt richtig?

Danke schonmal!

 

in TUR-AA von uyctv uyctv Info-Genie (21.1k Punkte)  
0 0
Mir ist gerade aufgefallen, dass ich mich einen Beitrag weiter oben vertippt habe, es müsste heißen:

          0              1             *

s0   (s0,1,R)    (s0,0,R)   (s1,*,L)

s1   (s2,1,L)    (s1,0,L)   (s2,*,R)

s2   (s2,0,L)    (s2,1,L)    (s3,*,R)

se

1 Eine Antwort

0 Pluspunkte 0 Minuspunkte

Hallo,

ich erkenne dein Problem nicht. Das 2er-Komplement von 0000 ist 0000 (Überlauf wird bei 2er-Komplementbildung abgeschnitten). Das kann man sich auch daran vorstellen, dass 0 im 2er-Komplement kein Komplement hat (platzsparender Effekt dieser Darstellung).

Da alle 1en bei dir nach dem Kippen durch 0en ersetzt werden und du beim Stern stoppst (bzw. in s2 gehst, in dem nichts mehr passiert), sollte das so funktionieren.

Viele Grüße

Philippe (Tutor)

 

von uyctv uyctv Info-Genie (21.1k Punkte)  
...