Theoretische Informatik: Reguläre Sprachen

Autor*innen: Andreas Schäfer
Anbietende Hochschule: Technische Hochschule Lübeck
Kurssprache: Deutsch
Wissensgebiet: Einstiegskurse Kostenfrei
Durchschnittlicher Arbeitsaufwand: 150 Stunden Kostenfrei Einschreiben
teilen
tweeten
teilen
teilen
teilen
teilen

Was erwartet Sie in diesem Kurs?

Formale Sprachen und Automaten bilden die Grundlage, um Eingaben von NutzerInnen zu analysieren, angefangen bei Adressen in Web-Formularen bis hin zu komplexem Quelltext in Java. Diese dreiteilige Kursreihe liefert das theoretische Fundament. Er zeigt auch die Grenzen von Maschinenmodellen und von Berechenbarkeit im Allgemeinen. Dieser erste Kurs behandelt die Grundlagen, angefangen bei unterschiedlichen Typen von Automaten und bei regulären Ausdrücken.

Aktueller Zeitpunkt 0:00
Dauer 0:00
Geladen: 0%
Streamtyp LIVE
Verbleibende Zeit 0:00
 
1x
  • Kapitel
  • Beschreibungen aus, ausgewählt
  • Untertitel aus, ausgewählt

    Was können Sie in diesem Kurs lernen?

    Mit der Hilfe dieses Kurses sollen diese Lernziele ermöglicht werden:

    • Du kannst einfache reguläre Sprachen durch reguläre Ausdrücke und endliche Automaten beschreiben.
    • Du hast ein Verständnis von Nichtdeterminismus und kannst Nichtdeterminismus in endlichen Automaten geeignet einsetzen.
    • Du kannst grundlegende Konstruktionen für endliche Automaten durchführen.
    • Du kannst neue Konstruktion für endliche Automaten entwickeln.
    • Du kennst die Grenzen regulärer Sprachen und kannst intuitiv bestimmen, ob eine Sprache regulär ist.
    • Du kannst beweisen, dass eine Sprache nicht regulär ist.

    Gliederung

    • Organisation
    • Motivation
    • Endliche Automaten – Determinismus und Nichtdeterminismus
    • Endliche Automaten – Abschlusseigenschaften
    • Reguläre Ausdrücke
    • Endliche Automaten – Minimierung
    • Entscheidbare Eigenschaften und das Pumping-Lemma

    Autoren*innen

    Prof. Dr. Andreas Schäfer

    Andreas Schäfer promovierte 2007 an der Carl von Ossietzky University in Oldenburg. 

    Es arbeitete dann für fünf Jahre beim Europäischen Patentbüro. Seit 2012 ist er Professor der Informatik an der Technischen Hochschule in Lübeck. Seine Interessenschwerpunkte umfassen Automatentheorie, Logik und formale Methoden.


    Teilnahmebestätigung

    In diesem Kurs kannst du Badges und ein Weiterbildungszertifikat erhalten.

    Lizenz

    Creative Commons
    Informatik
    reguläre Sprachen
    Automaten
    Komplexität
    Berechenbarkeit