703603 Formale Sprachen und Automatentheorie

Wintersemester 2012/2013 | Stand: 12.07.2013 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205

LV-Nummer:

703603

Titel:

Formale Sprachen und Automatentheorie

Typ/Stunden:

VO 2

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

Lernergebnis:

Absolventinnen und Absolventen dieses Moduls sollen die Inhalte der Vorlesung verstehen sowie diese wiedergeben und anwenden können. Sie sollen die Fähigkeit erworben haben, sich ähnliche Inhalte selbstständig zu erarbeiten. Weiters sollen sie ein Grundverständnis für formale Sprachen und die Methoden der Automatentheorie erlangt haben.

Inhalt:

endliche Automaten; reguläre Ausdrücke; kontextfreie Grammatiken; Kellerautomaten; Turing-Maschinen; Unentscheidbarkeit

Prüfungsmodus:

schriftliche Prüfung

Anmerkungen:

Beginn: siehe Termine

Link:

http://cl-informatik.uibk.ac.at/teaching/ws12/flat/

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Masterstudium Informatik nach dem Curriculum 2007 (120 ECTS-AP, 4 Semester)

1. und 2. Semester

Pflichtmodul 2: Formale Sprachen und Automatentheorie

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Mo 01.10.2012	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 08.10.2012	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 15.10.2012	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 22.10.2012	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 29.10.2012	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 05.11.2012	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 12.11.2012	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 19.11.2012	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 26.11.2012	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 03.12.2012	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 10.12.2012	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 07.01.2013	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 14.01.2013	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 21.01.2013	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 28.01.2013	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Fr 22.03.2013	14.15 - 16.15	HS 10 HS 10	Barrierefrei	2nd exam
Fr 04.10.2013	12.45 - 15.15	HS 10 HS 10	Barrierefrei	3rd exam