Formele talen en automaten
-
Informatica
-
IB0802
-
5 EC
-
Vanaf € 384
-
Voor dit product gelden ingangseisen
Inhoud
In deze cursus komen verschillende soorten formele talen met de bijbehorende grammatica's en automaten aan de orde. Ook wordt aandacht besteed aan het zelf ontwerpen van deze grammatica's en automaten.
Het eerste blok vormt een algemene inleiding op formele talen.
In het tweede blok worden de eigenschappen van reguliere talen en van eindige automaten behandeld. Contextvrije talen en stapelautomaten zijn het onderwerp van blok drie. In het laatste blok komen Turingmachines, de Chomsky-hiërarchie en de begrippen beslisbaarheid en complexiteit van problemen aan de orde.
Ingangseisen
Toelichting aanmelden
Houd daarom bij het aanmelden voor deze cursus rekening met de aanmeldtermijn voor de tentamens, de tentamendata van de cursus en met de data van eventuele begeleidingsbijeenkomsten.
Voorkennis
Begeleidingsvorm
Dit is een cursus met een variabel startmoment, waarbij online begeleiding wordt aangeboden verspreid over het derde en vierde kwartiel, dus in de periode februari-juli.
Begeleidingsbijeenkomsten
Studiedag Informatica en Informatiekunde Utrecht, onder voorbehoud
Kwartiel 3 - begeleider: mw.dr. N. van Vugt-Hage
1. vr 14-02-2025 / tijd wordt nader bekend gemaakt
Tijdig aanmelden via: ou.nl/inf-studiedag
Online-bijeenkomsten
Kwartiel 3 - begeleider: mw.dr. N. van Vugt-Hage
2. do 13-03-2025 / 19.00-21.00 uur
3. do 10-04-2025 / 19.00-21.00 uur
Kwartiel 4 - begeleider: mw. dr. N. van Vugt-Hage
4. wo 07-05-2025 / 19.00-21.00 uur
5. wo 28-05-2025 / 19.00-21.00 uur
6. wo 25-06-2025 / 19.00-21.00 uur
Docenten
Tentamenvorm
Tentamentoelichting
Tentamendata
Tentamenhulpmiddelen
'Schoon' tekstboek 'An introduction to formal languages and automata' (P. Linz)
Het online woordenboek
Het online woordenboek t.b.v. ANS