[FoSAP] Nachprüfung AtfS

[FoSAP] Formale Systeme, Automaten, Prozesse
[BuK] Berechenbarkeit und Komplexität
[MaLo] Mathematische Logik

Nachprüfung AtfS

Beitragvon Miss*Sunflower » 11.10.07 12:09

Hallo,

hatte jemand von euch eine Nachprüfung in AtfS? Besonders schon mal beim Prof. Katoen? Ich helfe einem Freund beim Vorbereiten darauf und denke auch ungefähr zu wissen, in welche Richtung er noch Wissen braucht, aber gibt es was worauf er noch besonders aufpassen soll? Irgendwelche Tipps?

Danke und nen lieben Gruß,
Andrea
"Esst mehr Gemüse!"
Benutzeravatar
Miss*Sunflower
 
Beiträge: 1645
Registriert: 11.09.05 17:04
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Psycho

Beitragvon p0llux » 11.10.07 12:51

Algorithmen wie in der Vorlesung machen ;)
Frag' mich nicht, ich putz' hier nur...
Benutzeravatar
p0llux
Matt Eicheln
 
Beiträge: 841
Registriert: 07.12.05 17:03
Wohnort: Aachen

Beitragvon Miss*Sunflower » 11.10.07 22:39

hehe, das hab ich hoffentlich vermittelt ;)

Habe aber noch eine Frage. Um die Äquivalenz zweier Automaten zu Prüfen, muss ich !A geschnitten B und A geschnitten !B auf nichtvorhandenen Lauf prüfen, oder kan nich das "und" durch ein "oder" ersetzen?!? Da bin ich mir nämlich gerade nicht mehr ganz sicher.
"Esst mehr Gemüse!"
Benutzeravatar
Miss*Sunflower
 
Beiträge: 1645
Registriert: 11.09.05 17:04
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Psycho

Beitragvon p0llux » 11.10.07 22:54

Ne, wenn du nur eins prüfst reicht's nicht. Das sieht man aber leicht! Angenommen man prüft nicht ob L(A*!B) leer ist, aber L(!A*B) hat man geprüft, dann ist L(!A*B) leer, aber es kann ein Wort w in L(A*!B) geben. Für dieses w gilt doch dann direkt, dass es in L(A) liegt und in L(!B), also nicht in L(B). Dann könnten A und B ja schlecht die selbe Sprache erkennen.
Frag' mich nicht, ich putz' hier nur...
Benutzeravatar
p0llux
Matt Eicheln
 
Beiträge: 841
Registriert: 07.12.05 17:03
Wohnort: Aachen

Beitragvon kb » 12.10.07 00:45

falls du allerdings bei einer Überprüfung rausbekommst, dass L(...) nicht leer ist, dann kannst du dir die andere natürlich Sparen. Die Sprachen sind dann nicht äq.
"Auch wenn fünfzig Millionen Menschen etwas Dummes sagen, bleibt es trotzdem eine Dummheit."
"It doesn't matter if you win or lose, it's whether or not you beat the spread."
Benutzeravatar
kb
 
Beiträge: 1237
Registriert: 06.04.06 21:20
Wohnort: Aachen / Köln

Beitragvon Miss*Sunflower » 12.10.07 01:41

ahh..das wars, genau. hatte in einer übung halt nur eins überprüft und wussten nicht mehr warum. klar, danke!
"Esst mehr Gemüse!"
Benutzeravatar
Miss*Sunflower
 
Beiträge: 1645
Registriert: 11.09.05 17:04
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Psycho

Beitragvon p0llux » 12.10.07 14:04

Etwa keinen Antwortsatz notiert? Tztztz... ;)
Frag' mich nicht, ich putz' hier nur...
Benutzeravatar
p0llux
Matt Eicheln
 
Beiträge: 841
Registriert: 07.12.05 17:03
Wohnort: Aachen

Beitragvon Miss*Sunflower » 12.10.07 15:06

naja, sagen wirs so..die lösung ist nicht von mir ;)
"Esst mehr Gemüse!"
Benutzeravatar
Miss*Sunflower
 
Beiträge: 1645
Registriert: 11.09.05 17:04
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Psycho

Beitragvon AGo » 16.10.07 09:29

hatte denn schon wer und kann mal berichten was gefragt wurde? Ich bin auch noch fällig...
Benutzeravatar
AGo
0x41476F
 
Beiträge: 2181
Registriert: 09.09.05 18:21
Wohnort: Awf
Studiengang: Informatik (Dipl.)
Anwendungsfach: BWL

Beitragvon Miss*Sunflower » 16.10.07 09:31

der freund von mir ist um 12.30Uhr dran.
"Esst mehr Gemüse!"
Benutzeravatar
Miss*Sunflower
 
Beiträge: 1645
Registriert: 11.09.05 17:04
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Psycho

Beitragvon C-Otto » 16.10.07 21:30

Ich hab auf dem Flur was von einer Durchfallquote von 5/6 mitbekommen. Keine Ahnung, ob das stimmt - und woran das liegen könnte.
Benutzeravatar
C-Otto
 
Beiträge: 568
Registriert: 10.08.06 00:20
Wohnort: Schwalbach am Taunus
Studiert seit: fertig
Anwendungsfach: BWL

Beitragvon DrMichaD » 16.10.07 21:37

Durchfallquote scheint zu stimmen, ich (der erwähnte Freund) habe es heute leider nicht geschafft!

Mir wurden 4 Aufgaben gestellt, die ich schriftlich auf einem Blatt Papier vorrechnen sollte:

- aus einer Sprache einen DEA bauen
- eine Grammatik in CNF umwandeln
- 2 x Kellerautomat aus einer gegebenen Grammatik entwerfen

Tipp für die, die noch dran sind:
Lernt primär die Algorithmen und die Anwendung, nicht die Definitionen und Beweise auswendig... Vor allem Dinge lernen, die nicht in der Klausur abgefragt wurden.

In diesem Sinne, Ahoi
Benutzeravatar
DrMichaD
 
Beiträge: 33
Registriert: 11.09.05 16:42
Wohnort: 52070 Aachen

Beitragvon LeeJan » 17.10.07 08:30

Schade, das du es nicht geschafft hast.
Ja, wer noch dran kommen sollte, sollte auf jeden Fall die ganzen Algorithmen lernen spricht: Minimierungsalgo, Potenzmengenkonstruktion, CYK...usw.
Aber was auch wichtig ist, man sollte die Theorie auch drauf haben bzw. ein Teil davon.


Ich wünsche den anderen noch viel Glück und hoffe das ich denen noch ein bissschen helfen konnte.


Schöne Grüße

PS: Ich hatte die Aufgabe:

1.) mit einem gegebene reg.Ausdruck erst mal einen Automaten zu bilden und dann determiniesieren (sprich Potenzmengenkonstr.)

2.) Eine kontextfreie Sprache wurde gegeben und musste eine Grammatik dafür geben

3.) Kellerautomaten bilden mit einer Grammatik in GreibachNormalform

4.) Chomskynormalform angeben
pajemaisch par rusky?
LeeJan
 
Beiträge: 73
Registriert: 09.12.06 01:58
Wohnort: Aachen

Beitragvon AGo » 17.10.07 09:40

hatte sehr ähnliche wenn nicht sogar die selben Fragen.

w0000000000000000ttttttttttttttttttttt

möchte ich mal sagen ;)

Ich hab auf dem Flur was von einer Durchfallquote von 5/6 mitbekommen.


make that five of seven :)

Allen die noch dran sind viel Erfolg!

Herr Katoen war wirklich sehr nett, einmal hatte ich die richtige Lösung quasi schon auf dem Blatt stehen, hatte sie dann durchgestrichen und mich irgendwo verrant, nachdem ich das bewmerkte meinte er zu mir, "machen sie doch mal an ihrem ersten ansatz weiter" und dann wars klar :)

Wichtig ist, dass ihr jeden schritt den ihr macht erklärt, das erspart euch zum einen nachfragen und zum andern haut er euch auf die finger wenn ihr euch arg verrent
Benutzeravatar
AGo
0x41476F
 
Beiträge: 2181
Registriert: 09.09.05 18:21
Wohnort: Awf
Studiengang: Informatik (Dipl.)
Anwendungsfach: BWL

Beitragvon LeeJan » 17.10.07 12:51

Warst du der, der mich gefragt hat wie der Minimierungsalgo geht ?
pajemaisch par rusky?
LeeJan
 
Beiträge: 73
Registriert: 09.12.06 01:58
Wohnort: Aachen

Nächste

Zurück zu Theoretische Informatik