Aufgaben für Grammatiken, Turing-Maschinen etc. - wo???

Remington Steele · Anmeldungsdatum: 04.06.2005 Beiträge: 31

Hi,

schreibe demnächst 'ne Nachklausur in Theoretischer Info (Originalklausur leider ganz knapp nicht bestanden unglücklich

).

Bei all der Theoretik lief es in der Klausur aber doch sehr auf Praktisches hinaus.

Leider fehlen mir praktische Aufgaben, an denen ich bis zum Erbrechen z.B. folgendes üben könnte:
- TM gegeben, angeben, was sie macht; TM selbst bauen zu gegebenem Problem
- Aus gegebener Grammatik erkennen, um welche Sprache es sich handelt
- Kellerautomaten bauen
- etc.

Habe nur 'mal gesehen, daß das Buch von Winter wenigstens Aufgaben mit Lösungen hat, aber die sind auch oft viel zu schwer (kommt eh nicht in dem Stil in der Klausur dran).
Im Schöning und Wegener sucht man ja AFAIK leider vergebens nach brauchbaren Aufgaben, und an Lösungen ist ja im Traum nicht zu denken (Lösungen finde ich zur Selbstkontrolle sehr wichtig).

Also die Frage - gibt es denn nicht irgendein tolles Übungsbuch oder evtl. auch online etwas in der Richtung??
Finde es irgendwie seltsam, diesbezüglich scheint eine richtige Ebbe zu sein, als wäre es verboten...
... dabei ist es doch so wichtig, das viel zu üben, damit man bei dem enormen Zeitdruck in der Klausur überhaupt eine Chance hat...

Danke...

MfG
Stefan

ED209 · Anmeldungsdatum: 30.05.2005 Beiträge: 122

Vielleicht hilft dir das hier:

Guck unter den Veranstaltungen "Berechenbarkeit und Formale Sprachen" und eventuell "Algorithmen und Komplexitaet". Da sind jeweils Uebungsaufgaben und Musterloesungen.
http://wwwcs.uni-paderborn.de/cs/ag-bloemer/lehre/

Ansonsten hilft es vielleicht das Forum zu durchstoebern, da gibt es die ein oder andere interessante TheoInf-Aufgabe.
Und falls du irgendwo nicht weiterkommst, frag hier einfach. Hier sind sicher ein paar die gerne daran tueffteln.

Remington Steele · Anmeldungsdatum: 04.06.2005 Beiträge: 31

hm, danke, aber unter welcher Vorlesung finde ich das dort? Kann Theoretische Info dort nicht wirklich zuordnen.

Georg · Administrator Anmeldungsdatum: 15.02.2005 Beiträge: 57 Wohnort: Aachen

Hi,

falls Du nur Aufgaben ohne Lösungen suchst, schau doch mal hier bei meinem alten Prof: http://www.fassbender.fh-aachen.de/ -> Download -> Theoretische Informatik.

Remington Steele · Anmeldungsdatum: 04.06.2005 Beiträge: 31

vielen Dank für die Tipps, da stürze ich mich gleich 'mal d'rauf... smile

Remington Steele · Anmeldungsdatum: 04.06.2005 Beiträge: 31

Remington Steele · Anmeldungsdatum: 04.06.2005 Beiträge: 31

@ED209 - die Lösungen lassen sich leider ALLE nicht downloaden unglücklich

. Muß man dafür dort eingeloggt sein?

ED209 · Anmeldungsdatum: 30.05.2005 Beiträge: 122

hmm, ich habs grad ueber die Uni probiert da krieg ich auch Forbidden.
Scheint einfach nicht mehr aktuell zu sein, oder so :/

Naja kannst ja hier die Aufgaben loesen lassen, das belebt das Forum :)

PS: Hab grad nochmal ausprobiert und festgestellt, dass bei manchen Musterloesungen, zumindest bei der alten Vorlesung, der Download klappt. Auch von ausserhalb der Uni.

Remington Steele · Anmeldungsdatum: 04.06.2005 Beiträge: 31

Ja stimmt, das habe ich inzwischen auch gemerkt. OK danke - dann frage ich bei Bedarf 'mal nach...