Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in 2013 Hauptklausur

Alternativer regulärer Ausdruck

Sun, 09 Feb 2020 16:04:18 +0000

Hallo,

ich komme in der Aufgabe 1b) auf einen anderen regulären Ausdruck.

Ist folgender auch richtig?

1*0 (0* + 00*11*0 + 11*0)*

Durch den Stern um die Klammer ganz am Ende müsste man meiner Meinung nach alle möglichen Schleifen in Automaten abdecken können. Habe ich etwas übersehen?

Danke und LG!

Frage zur Aufgabenstellung "Exponent mit 5 Bits"

Sun, 11 Feb 2018 21:57:44 +0000

Hallo,

in der Aufgabenstellung steht, dass der Exponent 5 Bits hat.

Warum wird hier trotzdem die Charakteristik miteinbezogen, wenn doch der Wert für e=16 interpretiert werden könnte?

Besten Dank

Alternativlösung A2 Teil b

Fri, 09 Feb 2018 11:15:32 +0000

Ist die folgende Grammatik auch richtig?

2 Änderungen:

1)Mit S´ als Anfangszustand anfangen (einfach nur eine Umbenennug)

2) S→aBBCCC auch produzieren (weil vorher S→ λ ) (Obwohl man die nicht benutzen kann, aber um die Vorgehensweise wie "immer" bleibt)

S´→ S| λ

S→ aSBBCCC | abbCCC | aBBCCC

rest bleibt gleich.

Alternative Lösung

Wed, 08 Feb 2017 16:07:43 +0000

Alternative Lösung
	a	b	*
s0	s0,a,R	s1,b,R	s4,*,L
s1	s2,b,L	s1,b,R	s4,*,L
s2	s3,a,R	s2,b,L
s3		s1,a,R
s4	s4,a,L	s4,b,L	se,*,R

Feedback willkommen!

Bedingung für einen Regulären Ausdruck

Tue, 07 Feb 2017 14:09:44 +0000

Hallo zusammen,

In Ihrer Antwort auf eine ähnliche Frage, sagten Sie, dass Die regulären Ausdrücke in unserer Vorlesung nur die Dimension korrekt und nicht korrekt besitzen.

Ich habe das so verstanden, dass ein Ausdruck dann regulär für beispielsweise einen Automaten ist, wenn er ein korrektes Wort der Sprache, die der Automat akzeptiert generiert. ("umgangssprachlich wenn ich in einem Endzustand des Automaten lande")

Das würde aber ja auch bedeuten, dass ein regulärer Ausdruck nicht alle möglichen Ausgänge darstellen muss sondern es beispielweise auch genügt EINEN Endzustand darzustellen.

Wäre somit 00* oder sogar 0 ein regulärer Ausdruck für 2013-H-01 b)?

Viele Grüße und Danke im Vorraus!

Alternativlösung

Sun, 29 Jan 2017 13:14:25 +0000

Ist folgende Lösung auch richtig?

turing:
(s0, a) => (s0, a, R);
(s0, b) => (s1, a, R);
(s1, a) => (s2, b, R);
(s1, b) => (s1, b, R);
(s1, *) => (s3, *, L);
(s2, a) => (s2, a, L);
(s2, b) => (s2, b, L);
(s2, *) => (s0, *, R);
(s3, a) => (s4, b, R);
(s3, b) => (s3, b, L);
(s4, a) => (s4, a, R);
(s4, b) => (s4, b, R);
(s4, *) => (se, *, L);
--declarations--
e=#n#;
animate=this;
s0=s0;
F=se;
blank=*;
inputs=abaabba;
runStepsScript=100;
shortTrace=false;
displayMode=0
--declarations-end--

http://www.xwizard.de:8080/Wizz?template=ID-22234

Über einen feedback wäre ich sehr denkbar.

lambda frei machen

Sun, 14 Feb 2016 11:21:16 +0000

Ich dachte bisher, dass man wenn man eine Grammatik lamda frei machen mächte, weil S - lambda und S auf der rechten Seite, dass man dann S´ -> S | lamdda einführt und sonst alles abeschreibt und zusätzlich da wo bisher ein S stand dieses einfach weglässt.

Was ist mein Fehler?

Kürzerer RA auch richtig?

Sun, 14 Feb 2016 10:50:52 +0000

Hi, der RA aus der Lösung von Aufgabe 1b scheint mir unnötig lang:

RA({0, 1}) : α = 1*0(0* + (0 + 1)1*0 + 111*0)*

Wäre hier nicht RA({0, 1}) : α = 1*0(0* + (0 + 1)1*0)* besser?

Vielen Dank

a) Chomsky-Hierarchie

Sat, 13 Feb 2016 20:26:51 +0000

Hallo,

kurze Frage: Wieso wird hier in der Antwort nicht noch die Typ-1 und Typ-0 Grammatiken mitaufgezählt? Die Teilmengenbeziehnungen stimmen hier doch genauso, wie bei den Sprachen die durch die Grammatiken erzeugt werden?

Liegt das an der Fragestellung? In der Nachklausur vom letzten Jahr die 2015-N-02 a) ist die Aufgabe ähnlich "Von welchem Chomsky-Typ / welchen Chomsky-Typen ist die Grammatik?" und hier werden noch Typ-0 und Typ-1 mitaufgezählt.

Vielen Dank.

Alternativlösung

Sat, 13 Feb 2016 18:36:26 +0000

Hallo,

diese Lösung orientiert sich eher an der 2. Möglichkeit, doch mit ein paar Unterschieden. Als Endzustand habe ich s0 definiert. Sollte das nicht auch funktionieren?

Vielen Dank.

Monotonie/Kontextsensitivität

Sat, 13 Feb 2016 10:37:50 +0000

In der Aufgabe wird eine monotone Grammatik angegeben mit S-> lambda und S steht auf der rechten Seite.

1. Frage: Ist das erlaubt?

Wenn man Lambda in die rechte Seite einsetzt stellt man schnell fest, dass dies zu keiner Lösung führt.

Frage 1.1.: Ist das deswegen erlaubt?

Nun wird allerdings diese monotone Grammatik in eine kontextsensitive umgeformt. Hierbei wird explizit erwähnt, dass das Lambda angepasst werden muss.

Frage 2: Warum muss es das?

Habe ich es falsch verstanden, dass für Monotonie und Kontextsensitivität die selben Regeln bezüglich lambda gelten?

Ist diese Grammatik tatsächlich monoton? (Wiederholung)

Sat, 13 Feb 2016 07:00:03 +0000

Leider gab es keine aufklärende Antwort auf die vor drei Tagen gestellte Frage, daher nochmal:

Ist die hier gegebene Grammatik tatsächlich monoton, wie in der Aufgabenstellung angegeben?

Dass S auch auf der rechten Seite steht sollte dabei kein Problem darstellen (entgegen der Regel), da meiner Auffassung nach jede Ableitung von S nach Lambda auf eine Konstellation mit aSBBCCC ins Leere läuft, da nun das erste B nicht mehr in Terminalsymbole überführt werden kann.

Wie wird jetzt aber die Existenz von S -> lambda hinsichtlich der Montonie bewertet bzw. was gilt für diese Veranstaltung?

Streng genommen wäre auch diese Regel nicht monoton, da die Ableitung verkürzt.

Wikipedia beschreibt beides als möglich, abhängig von der Definition.

Während die Vorlesungsfolien diese Regel als Sonderform in der Montonie erlaubt:

Eine Chomsky-Grammatik G = (N, T, P, S) heißt monoton, wenn abgesehen von S -> lambda nur Regeln der Form j -> y mit |j| <= |y| existieren.

wird im Tutorium 3 Aufgabe 8 b) die Tabelle aus der Klausur 2014-H-03 als Lösung angegeben, wobei die Sonderform S -> lambda bei der Monotonie als verboten gilt.

Liegt das daran, dass in dieser Aufgabe unklar ist, ob sonst noch ein S auf einer rechten Seite stehen könnte?

Sonst stellt dies in meinen Augen einen Widerspruch dar.

Was ist nun die richtige Definition in dieser Lehrveranstaltung, vorausgesetzt, ich irre mich mit dem Widerspruch nicht?

Adressierungsarten

Wed, 10 Feb 2016 20:20:47 +0000

Hallo zusammen,

wie komme ich denn bei Aufgabe 10 b auf die letzte Adresse?

Ich weiß, dass man die Speicheradresse bei der indizierten Adressierung aus der Summe des Operanden und de Wert aus dem Indexregister bildet (vgl. Folie 9-20).

Woher weiß ich, dass der Wert des Indexregisters 3 sein muss?

Vielen Dank!

Grammatik wirklich monoton?

Tue, 09 Feb 2016 14:23:47 +0000

Hallo,

ist diese Grammatik wirklich monoton? Wenn ja, warum ist dann eine Ableitung von S nach Lambda erlaubt obwohl man doch eigentlich bei monotonen Grammatiken nicht verkürzen darf?

Vielen Danke schonmal.

Wie kommt man auf q?

Sun, 07 Feb 2016 12:29:13 +0000

Wie kommt man auf den Wert für q?

1)b Regulärer Ausdruck

Tue, 26 Jan 2016 23:50:41 +0000

Hallo,

die Elemente , die vorkommen habe ich in der gleichen Reihenfolge herausgefunden, nur weiß ich nicht, wie man auf die Klammer beziehungsweise "+"-Setzung kommt. Welche Regel existiert hier beim Finden des regulären Ausdrucks, denn in der Vorlesungsaufzeichnung wird darauf nicht so richtig eingegangen. Vielen Dank

beide Variante zusammen

Sat, 26 Dec 2015 20:13:18 +0000

hallo,

íst diese variante auch richtig, also die beide vorgestellte variante zusammen zu kombinieren.

1*0(0*+(0+1)1*0+11*1*0)*

Danke

b): Woher stammen das C und das S ?

Tue, 29 Sep 2015 08:09:06 +0000

Warum steht in b) im rechten Feld von m=4 A,C,S und nicht einfach A ? Man vergleicht hier doch B,S und A --> SA wird nicht erzeugt, BA wird erzeugt durch A. Wieso hört man an dieser Stelle nicht auf bzw. woher stammt das C und das S ? Danke schonmal

c): Warum besteht die Kantenmenge aus max. n^2 Kanten?

Fri, 25 Sep 2015 15:44:56 +0000

Hallo,

Mir ist beim Aufgabenteil c) nur nicht klar, weshalb die Kantenmenge aus maximal n^2 Kanten besteht.

Hat da jemand eine Idee?

c): Wie kommt man auf c=16?

Fri, 25 Sep 2015 15:25:36 +0000

Hallo,

wie kommt man bei Aufgabenteil c) darauf, dass c=16 ist?

Vielen Dank im Voraus!

Verständnis zum Bilden des 2-Komplement?

Fri, 25 Sep 2015 15:24:32 +0000

würde das dann so stimmen? :

I) 2-Komplement einer Positiven Zahl bilden --> "normale" Dualzahl zur Basis 2, also einfach nur die Zahl in 2er Potenzen zerlegen.

II) 2-Komplement einer negativen Zahl bilden -->Zahl in 2er Potenzen zerlegen und höchste 2er Potenz subtrahieren, statt addieren

III) Positiven Bitstring als 2-Komplement auffassen --> Zahl als "normale" 2er Potenzen-Zerlegung herauslesen.

IV) Negativen Bitstring als 2-Komplement auffassen --> "normale" 2er Potenzen-Zerlegung bis auf größte Potenz, die abgezogen statt addiert wird.

Und in welchem Fall hat man das 2-Komplement nochmal gebildet durch flippen der Bits und addieren von 1?

b): Warum ist am Ende noch +2^(-14) ?

Fri, 25 Sep 2015 15:19:18 +0000

Warum heißt es in b) nicht am Ende + 2^(-14) ?

Wieso gibt es keine Leitung von a zur NMOS Blackbox?

Fri, 25 Sep 2015 15:18:05 +0000

Wenn ich richtig hinsehe, dann führt keine Leitung von a zur NMOS-Blackbox. Wenn ich den NMOS-Bereich zeichnen würde, bräuchte ich aber doch auch eine Verbindung von a. Wieso wird dann keine Leitung zur Blackbox eingezeichnet?

d): Wann erkennt man, dass eine Zahl unendlich ist?

Fri, 25 Sep 2015 15:15:50 +0000

Hallo,

in der Aufgabe 7 d) steht dass die Zahl 0111110000000000 ist unendlich.
Ich komme aber auf 2^16.Ist das richtig?
wenn nicht dann woran kann ich erkennen das die Zahl unendlich ist?

Danke für die Antwort

2. Möglichkeit: sollte nicht " delta(s3,)= (s0,,R) " heißen?

Fri, 25 Sep 2015 10:31:17 +0000

Hallo,

Müsste es nicht bei der 2. Möglichkeit bei delta(s3,*)= (s0,*,R) heißen, da es z.B *baab* sein kann?

Möglichkeit 1: b gleich durch a ersetzten?

Fri, 25 Sep 2015 10:29:54 +0000

Könnte man bei Möglichkeit 1 auch gleich das b durch ein a ersetzen ohne erst (in s1) am Bandende zu s2 zu wechseln?

Vielen Dank im Voraus!

Lösungsvorschlag

Fri, 25 Sep 2015 10:28:30 +0000

a b *
s0 (s0; a; R) (s1; b; R) (s4; *; L)
s1 (s2; b; L) (s1; b; R) (s4; *; L)
s2 (s3; a; R) (s2; b; L) (s3; *; R)
s3 (s0; a; R)
s4 (s4; a; L) (s4; b; L) (se; *; R)
se

(se = Endzustand)

Würde diese Variante dann stimmen?

Verständnis von (s2,b)-Übergang

Fri, 25 Sep 2015 10:26:14 +0000

Kann es sein dass für Zustand s2 bei einem "b" der Übergang so definiert sein muss:

(s3; a; N) und nicht (s3; a; L).

Denn bei dem Wort w = baba liefert die Turingmaschine nur die Umformung abba, denn sie geht in Zustand s2 nachdem sie das b mit einem a überschrieben hat einen Schritt auf dem Band nach links, wo ein "Stern" steht und wechselt in Zustand s3. Dieser Zustand ist allerding nicht für ein "Stern" definiert.

Oder mache ich hier einen Fehler?

Idee für die Funktionsweise der Turingmaschine?

Fri, 25 Sep 2015 10:24:23 +0000

Hallo,

was ist hier die Idee für die Funktionsweise der Turingmaschine?

Erklärung des regulären Ausrucks?

Fri, 25 Sep 2015 10:14:33 +0000

Ich verstehe die regulären Audrücke einfach nicht. Ich habe jetzt schon einige Aufgaben dazu gemacht, auch welche aus dem Übungsbuch aber ich komme in den seltesten Fällen auf das richtige Ergebnis. Gibt es eine Art grundsätzliche Vorgehen?

Warum heißt es beispielsweise bei der b) 111*0 und nicht 11*10? Es reicht doch wenn ich vom Endzustand (in dem ich nach 1*0 bin) eine 1 in s2 gehe, dann beliebig viele 1er in s2, dann die 1 um in s0 zu kommen und wiederum die 0 um zurück im Endzustand zu sein.

Würde mich freuen, wenn jmd. vielleicht ein bisschen Licht ins Dunkle bringen könnte.

Alternativer Regulärer Ausdruck

Fri, 25 Sep 2015 10:11:40 +0000

Hi,

wäre das auch richtig?

((1)*0^(+))* (beliebig viele 1 und mind eine 0 und das beliebig oft)

b): Wie wird hier das Lambda-Problem (kontextsensitiven Grammatik) gelöst?

Fri, 25 Sep 2015 09:44:57 +0000

Kann mir jmd. zu der b) erklären in wie fern das Lambda Problem da gelöst wird? Ich dachte bei kontextsensitiven Grammatiken sind Lambdaübergänge generell verboten, weshalb löst dann die Einführung eines S' , welches sich auch auf Lambda ableiten lässt, das "Lambda Problem"?

Kann man mit w nicht auch aabbcccbbccc produzieren?

Fri, 25 Sep 2015 09:39:17 +0000

Hallo,

lässt die in der Lösung gewählte Formulierung \( w=a^n b^{2n} c^{3n}\) auch Wörter zu, bei denen die Reihenfolge der Terminale nicht abc ist? Beispielsweise das Wort aabbcccbbccc lässt sich mit der gegebenen Grammatik produzieren.

a): Ableitung von "aabbbbcccccc" ?

Fri, 25 Sep 2015 09:37:13 +0000

Hallo,

wie kann ich in der Aufgabe a) das Wort aabbbbcccccc ableiten? Ich hab da grad irgendwie ein Brett vorm Kopf :(

andere "CB -> BC"-Umstellung auch möglich?

Fri, 25 Sep 2015 09:35:59 +0000

Ist folgende Umstellung von CB -> BC legitim für kontextfreie Sprachen:

CB -> BB

BB -> BC

somit wäre die Hilfvariable in der Musterlösung überflüssig oder ?

Warum wird cC auf Cc geändert?

Fri, 25 Sep 2015 09:32:59 +0000

Hallo,

in der Aufgabe 2 b in der Lösung steht bC==>bc und Cc==>cc.
Warum lassen wir bC stehen wie in der Aufgabe und cC ändern auf Cc?

Danke für die Antwort!

Benötigt man nicht noch eine Leitung von a zur NMOS-Blackbox ?

Wed, 23 Sep 2015 14:39:59 +0000

Meinen Sie hier nicht, dass man von a auch noch eine (direkte) Leitung zur NMOS-Blackbox zeichnen müsste? So wie das auch bei b und c der Fall ist?

Also haben Sie in ihrer Antwort nicht PMOS und NMOS verwechselt?

Wie kommt man auf die Verbindung zur NMOS Box?

Wed, 23 Sep 2015 14:37:35 +0000

Hallo,

ich habe eine Fage zu den Anschlüssen des NMOS Teils. Den PMOS Teil hätte ich genauso modelliert wie in der Musterlösung angegeben. Allerdings ist mir nicht klar wie ich auf die Verbindungen zur NMOS Box komme. Warum ist hier beispielsweise die a-Leitung nicht mit der NMOS Box verbunden, die b- und c-Leitung hingegen sogar direkt und invertiert?

ausführlichere Erklärung der Schaltung

Wed, 23 Sep 2015 14:35:34 +0000

Aus der Schaltfunktion würde ich ablesen, dass es 3 parallele Schaltungen mit je zwei in Reihe geschalteten "Buchstaben" gibt.

Im Schaltbild gibt es aber noch andere Verbindungen. Hängt vermutlich mit den Negationen in den Klammern zusammen, leuchtet mir aber nicht ganz ein. Die nicht negierten Buchstaben haben hier keine direkte Verbindung, sondern gehen iwie immer über 2 andere Leitungen (die Linken beiden), die von Vdd zum n-Mos Teil führen? Kann mir jemand auf die Sprünge helfen?:)

Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in 2013 Hauptklausur

Alternativer regulärer Ausdruck

Frage zur Aufgabenstellung "Exponent mit 5 Bits"

Alternativlösung A2 Teil b

Alternative Lösung

Bedingung für einen Regulären Ausdruck

Alternativlösung

lambda frei machen

Kürzerer RA auch richtig?

a) Chomsky-Hierarchie

Alternativlösung

Monotonie/Kontextsensitivität

Ist diese Grammatik tatsächlich monoton? (Wiederholung)

Adressierungsarten

Grammatik wirklich monoton?

Wie kommt man auf q?

1)b Regulärer Ausdruck

beide Variante zusammen

b): Woher stammen das C und das S ?

c): Warum besteht die Kantenmenge aus max. n^2 Kanten?

c): Wie kommt man auf c=16?

Verständnis zum Bilden des 2-Komplement?

b): Warum ist am Ende noch +2^(-14) ?

Wieso gibt es keine Leitung von a zur NMOS Blackbox?

d): Wann erkennt man, dass eine Zahl unendlich ist?

2. Möglichkeit: sollte nicht " delta(s3,*)= (s0,*,R) " heißen?

Möglichkeit 1: b gleich durch a ersetzten?

Lösungsvorschlag

Verständnis von (s2,b)-Übergang

Idee für die Funktionsweise der Turingmaschine?

Erklärung des regulären Ausrucks?

Alternativer Regulärer Ausdruck

b): Wie wird hier das Lambda-Problem (kontextsensitiven Grammatik) gelöst?

Kann man mit w nicht auch aabbcccbbccc produzieren?

a): Ableitung von "aabbbbcccccc" ?

andere "CB -> BC"-Umstellung auch möglich?

Warum wird cC auf Cc geändert?

Benötigt man nicht noch eine Leitung von a zur NMOS-Blackbox ?

Wie kommt man auf die Verbindung zur NMOS Box?

ausführlichere Erklärung der Schaltung

2. Möglichkeit: sollte nicht " delta(s3,)= (s0,,R) " heißen?