Digicampus
Vorlesung + Übung: Endliche Automaten - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird online/digital abgehalten.

General information

Course number INF-0157
Semester WS 2020/21
Current number of participants 26
expected number of participants 30
Home institute Theorie verteilter Systeme
Courses type Vorlesung + Übung in category Teaching
First date Mon , 02.11.2020 16:15 - 17:45
Online/Digitale Veranstaltung Veranstaltung wird online/digital abgehalten.
Hauptunterrichtssprache deutsch

Course location / Course dates

n.a Monday: 16:15 - 17:45, weekly
Thursday: 14:15 - 15:45, weekly

Module assignments

Comment/Description

Diese Vorlesung befasst sich mit endlichen Automaten in Ergänzung der Grundvorlesung "Einführung in die theoretische Informatik". Insbesondere werden die Minimierung endlicher Automaten, Automaten mit Ausgabe sowie Automaten für unendliche Wörter behandelt. Um die Nützlichkeit endlicher Automaten aufzuzeigen, wird z.B. kurz eine Verbindung zur Logik hergestellt.