Veranstaltung Theoretische Informatik - Skript, Aufgaben http://www.inf.fh-flensburg.de/lang/veranst/thi/index.htm 21 Feb 2013 00:00:00 +0100 http://www.inf.fh-flensburg.de/lang/veranst/thi/beschr.htm 08 Aug 2011 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Sie können den Benachrichtigungsdienst für diese Seite unter www.inf.fh-flensburg.de/lang/veranst/thi/index.xml abonnieren. Dann sind Sie immer über neue Aufgaben, neue Skriptseiten und neue Ankündigungen auf dem Laufenden. 08 Aug 2011 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Tragen Sie sich in Stud.IP als Teilnehmer der Veranstaltung ein. 08 Aug 2011 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Die Prüfung findet am Ende des Semesters in Form einer mündlichen Gruppenprüfung statt. 28 Sep 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Aussagen über die leere Menge ... http://www.inf.fh-flensburg.de/lang/veranst/thi/aussage-ueber-leere-menge.htm 28 Sep 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) EasyEclipse for PyDev auf Ihrem Computer zuhause installieren http://www.inf.fh-flensburg.de/lang/eclipse/install2.htm 15 Nov 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Erstes Python Programm schreiben... http://www.inf.fh-flensburg.de/lang/eclipse/python-firststeps.htm 15 Nov 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Die mündliche Prüfung im Fach Theoretische Informatik findet am Dienstag, 08.01.2013 ab 09.00 Uhr im A 109 statt. Tragen Sie sich bitte in Stud.IP in die entsprechenden Gruppen ein. http://www.inf.fh-flensburg.de/lang/veranst/thi/mdl-pruefung.htm 06 Dec 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Ein weiterer Termin für die mündliche Prüfung in Theoretischer Informatik findet am Donnerstag, 14.03.2013 ab 10.00 Uhr in Raum A 109 statt. http://www.inf.fh-flensburg.de/lang/veranst/thi/mdl-pruefung2.htm 20 Feb 2013 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Definition der Begriffe Alphabet, Wort, Sprache mit Beispielen ... http://www.inf.fh-flensburg.de/lang/theor/sprachen.htm 20 Sep 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Mächtigkeit der Menge aller Wörter und der Menge aller Sprachen: Es gibt abzählbar unendlich viele Wörter über einem Alphabet A, aber überabzählbar viele Sprachen über A ... http://www.inf.fh-flensburg.de/lang/theor/maechtigkeit.htm 04 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Reguläre Ausdrücke und reguläre Sprachen ... http://www.inf.fh-flensburg.de/lang/theor/regulaerer-ausdruck.htm 04 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Darstellung regulärer Ausdrücke in PHP, Ausprobieren http://www.inf.fh-flensburg.de/lang/php/regexpr.htm 11 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Erkennung von regulären Sprachen durch nichtdeterministische endliche Automaten ... http://www.inf.fh-flensburg.de/lang/theor/automat.htm 11 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Konstruktion eines deterministischen endlichen Automaten aus einem nichtdeterministischen Automaten http://www.inf.fh-flensburg.de/lang/theor/teilmengenkonstruktion.htm 18 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Erweiterung des Modells des nichtdeterministischen Automaten ... http://www.inf.fh-flensburg.de/lang/theor/automat-epsilon.htm 25 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Konstruktion eines nichtdeterministischen endlichen Automaten aus einem regulären Ausdruck http://www.inf.fh-flensburg.de/lang/theor/regulaerer-ausdruck-zu-automat.htm 25 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Konstruktion eines regulären Ausdrucks aus einem nichtdeterministischen Automaten http://www.inf.fh-flensburg.de/lang/theor/automat-zu-regulaerer-ausdruck.htm 25 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Die regulären Sprachen sind unter etlichen Operationen abgeschlossen. http://www.inf.fh-flensburg.de/lang/theor/regulaer-abgeschlossen.htm 31 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Pumping-Lemma für reguläre Sprachen: Zeigen, dass eine Sprache nicht regulär ist... http://www.inf.fh-flensburg.de/lang/theor/pumping-lemma.htm 31 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Begriff der Grammatik und die Erzeugung von Wörtern mithilfe von Ersetzungsregeln http://www.inf.fh-flensburg.de/lang/theor/grammatik.htm 08 Nov 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Kontextfreie Grammatik http://www.inf.fh-flensburg.de/lang/theor/kontextfreie-grammatik.htm 08 Nov 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Konstruktion einer rechtslinearen Grammatik aus einem nichtdeterministischen endlichen Automaten http://www.inf.fh-flensburg.de/lang/theor/automat-zu-grammatik.htm 29 Nov 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Nichtdeterministischer Stackautomat, Erkennen durch leeren Stack, Erkennen durch Endzustände http://www.inf.fh-flensburg.de/lang/theor/stackautomat.htm 06 Dec 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Konstruktion eines nichtdeterministischen Stackautomaten aus einer kontextfreien Grammatik http://www.inf.fh-flensburg.de/lang/theor/kontextfrei-zu-stackautomat.htm 06 Dec 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Turingmaschine, Arbeitsweise, Applets zum Simulieren einer Turingmaschine ... http://www.inf.fh-flensburg.de/lang/theor/turing-maschine.htm 13 Dec 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Variante der Turingmaschine, Chomsky-Hierarchie der Typ-i-String-Turingmaschinen... http://www.inf.fh-flensburg.de/lang/theor/string-turingmaschine.htm 13 Dec 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Recursive-Descent-Methode http://www.inf.fh-flensburg.de/lang/theor/parser-py/recursive-descent-methode.htm 15 Nov 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Produktionen in erweiterter Backus-Naur-Form (EBNF) mit Implementierung als Parser-Funktion http://www.inf.fh-flensburg.de/lang/theor/parser-py/ebnf.htm 16 Nov 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Basismodul Parser http://www.inf.fh-flensburg.de/lang/theor/parser-py/parser.htm 19 Nov 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Recursive-Descent-Übersetzer http://www.inf.fh-flensburg.de/lang/theor/parser-py/recursive-descent-compiler1.htm 29 Nov 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Aufgabe 1: Verkettung von Sprachen http://www.inf.fh-flensburg.de/lang/veranst/thi/aufg0a.htm 20 Sep 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Aufgabe 2: Elementarsprachen, Verkettung von Sprachen http://www.inf.fh-flensburg.de/lang/veranst/thi/aufg0b.htm 29 Sep 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Reguläre Ausdrücke auswerten http://www.inf.fh-flensburg.de/lang/veranst/thi/aufg1a.htm 04 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Nichtdeterministische endliche Automaten http://www.inf.fh-flensburg.de/lang/veranst/thi/aufg2d.htm 12 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Fragenkatalog 1 (Antworten finden während der Vorlesung am 18.10.2012) http://www.inf.fh-flensburg.de/lang/veranst/thi/aufg3x.htm 18 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Aus einem nichtdeterministischen endlichen Automaten ist ein deterministischer endlicher Automat zu konstruieren, der dieselbe Sprache erkennt. http://www.inf.fh-flensburg.de/lang/veranst/thi/aufg3c.htm 18 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Umformung regulärer Ausdruck / nichtdeterministischer endlicher Automat und umgekehrt http://www.inf.fh-flensburg.de/lang/veranst/thi/aufg3b.htm 25 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Ein in der Vorlesung aufgetretenes Problem... http://www.inf.fh-flensburg.de/lang/veranst/thi/prob3b.htm 25 Oct 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Zeigen, dass das Spiegelbild einer regulären Sprache regulär ist. Beweisen, dass eine bestimmte Sprache nicht regulär ist. http://www.inf.fh-flensburg.de/lang/veranst/thi/aufg4b.htm 01 Nov 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Grammatiken und Ableitungsfolgen angeben ... http://www.inf.fh-flensburg.de/lang/veranst/thi/aufg9.htm 09 Nov 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Entwerfen Sie einen nichtdeterministischen Stackautomaten ... http://www.inf.fh-flensburg.de/lang/veranst/thi/aufg8c.htm 13 Dec 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Parser für einfache Sprachen über dem Alphabet {a, b} http://www.inf.fh-flensburg.de/lang/veranst/thi/labaufg0.htm 15 Nov 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Parser für mehrstellige Zahlen mit und ohne Vorzeichen http://www.inf.fh-flensburg.de/lang/veranst/thi/labaufg1.htm 23 Nov 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Parser für mehrstellige Zahlen mit und ohne Vorzeichen http://www.inf.fh-flensburg.de/lang/veranst/thi/labaufg3.htm 30 Nov 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang) Parser für eine XML-Sprache http://www.inf.fh-flensburg.de/lang/veranst/thi/labformel1.htm 06 Dec 2012 00:00:00 +0100 lang@fh-flensburg.de (H.W. Lang)