FGI-1 KLausur Gedächtnisprotokoll 2 2009
2009-08-28 12:14
Anonymer User
Hey,
also leicht war die nicht, aber die Themen lagen mir, wie gings euch so? ;)
zum inhalt:
1) Ein paar Aufgaben zum Ankreuzen der Art: Welche Eigenschaften kann F haben wenn…
a) F kontingent und G unerfüllbar F ^ G oder so ;) you know… standard zeuch halt…
2) a)STrukturelle Rekursion von:
Anzahl der Junktoren (j)
Anzahl der Teilformeln in einer Formel (tf)
Anzahl der Aussagenlogischen symbole (as)
b) Strukturelle Induktion:
tf(F) = as(F)+j(F)
3) Markierungsalgorithmus bei 2 Formeln
4) Ein paar Fragen zu Eigenschaften der Resolution in dem Stil:
Wenn bei 3 Klauseln in einer Klauselmenge ein Literal A nur einmal vorkommt und nur positiv, kann man es dann ignorieren? Ja/Nein Mit Begründung (Begründung 1 Punkt, X ein Punkt!)
Mit bisschen nachdenken, glaub cih gut machbar!
5) Resolution bei 2 Aussagenlogischen Formeln und 2 Prädikatenlogsichen Formeln
6)
Automaten:
Das war ziemlich schwer fand ich…
1) einen DFA zeichnen der genausoviele a, wie b akzeptiert, aber es darf kein leere wort entstehen! Sehr gut machbar dnek ich ^^
3) Eine rechtslineare, kontextfreie Grammatik die binäre zahlen darstellt mit nachkommastellen.
Man musste druaf achten, das sowas wie 0100,0 nicht akzeptiert wird (vorne die 0(!)) oder halt 0,0000 nicht…
Also eine fiese Frage:
Glaube 4 b) Man hat einen NFA gegeben mit den Start und Endzuständen und soll daraus schließen, was ein Potenzautomat für STart und Endzustände hat
auch fies: 5) Ein e-FA gegebn, ein endlicher Automat ohne e übergänge soll erstellt werden und die Übergänge als Relation angegeben werden. RElationen find ich gemein :D
naja gegen ende dann einfachere sachen:
6 oder 7 a) Definition von Aufzählbarkeit (4 Punkte, die wenn man das auswendig konnte leicht bekommen konnte)
b) eine DTM wozu man die Sprache als Menge aufschreiben sollte
So, ist ja schon bald vollständig :)
also leicht war die nicht, aber die Themen lagen mir, wie gings euch so? ;)
zum inhalt:
1) Ein paar Aufgaben zum Ankreuzen der Art: Welche Eigenschaften kann F haben wenn…
a) F kontingent und G unerfüllbar F ^ G oder so ;) you know… standard zeuch halt…
2) a)STrukturelle Rekursion von:
Anzahl der Junktoren (j)
Anzahl der Teilformeln in einer Formel (tf)
Anzahl der Aussagenlogischen symbole (as)
b) Strukturelle Induktion:
tf(F) = as(F)+j(F)
3) Markierungsalgorithmus bei 2 Formeln
4) Ein paar Fragen zu Eigenschaften der Resolution in dem Stil:
Wenn bei 3 Klauseln in einer Klauselmenge ein Literal A nur einmal vorkommt und nur positiv, kann man es dann ignorieren? Ja/Nein Mit Begründung (Begründung 1 Punkt, X ein Punkt!)
Mit bisschen nachdenken, glaub cih gut machbar!
5) Resolution bei 2 Aussagenlogischen Formeln und 2 Prädikatenlogsichen Formeln
6)
Automaten:
Das war ziemlich schwer fand ich…
1) einen DFA zeichnen der genausoviele a, wie b akzeptiert, aber es darf kein leere wort entstehen! Sehr gut machbar dnek ich ^^
3) Eine rechtslineare, kontextfreie Grammatik die binäre zahlen darstellt mit nachkommastellen.
Man musste druaf achten, das sowas wie 0100,0 nicht akzeptiert wird (vorne die 0(!)) oder halt 0,0000 nicht…
Also eine fiese Frage:
Glaube 4 b) Man hat einen NFA gegeben mit den Start und Endzuständen und soll daraus schließen, was ein Potenzautomat für STart und Endzustände hat
auch fies: 5) Ein e-FA gegebn, ein endlicher Automat ohne e übergänge soll erstellt werden und die Übergänge als Relation angegeben werden. RElationen find ich gemein :D
naja gegen ende dann einfachere sachen:
6 oder 7 a) Definition von Aufzählbarkeit (4 Punkte, die wenn man das auswendig konnte leicht bekommen konnte)
b) eine DTM wozu man die Sprache als Menge aufschreiben sollte
So, ist ja schon bald vollständig :)