Fundamentele Informatica 2 is het vervolg op het eerstejaars vak Fundamentele Informatica 1. De nadruk van Fundamentele Informatica 2 ligt op formele talen, met het accent op reguliere talen (reguliere expressies, eindige automaten; niet-determinisme en de stelling van Kleene; criteria voor regulariteit) en context-vrije talen (grammatica’s, dubbelzinnigheid, normaalvormen, structurele eigenschappen, bv. pomplemma’s, afsluitingseigenschappen en beslissingsproblemen).
*Method: * hoorcollege met werkgroep
*Examination: * schriftelijk
Objective: Het vertrouwd maken met formele technieken binnen de informatica en hun toepassingen. Naast vaardigheid verwerven in constructie en analyse van talen, grammatica’s en automaten wordt beoogd de studenten enig abstractieniveau bij te brengen wat betreft het lezen en geven van formele definities, constructies en bewijzen.
Prior knowledge: Fundamentele Informatica 1
Literature: John C. Martin, Introduction to Languages and the Theory of Computation, 3rd edition, McGraw Hill, 2003
Website: http://www.liacs.nl/~marcello/fi2.html
Remarks: Het hoorcollege wordt in het Engels gegeven