Het vak FI2 bestaat niet meer. Het heet nu Automata Theory, met vergelijkbare inhoud.
Website van de nieuwe docent.
Fundamentele Informatica 2
Editie najaar 2019.
Docent: H.J. Hoogeboom (Hendrik Jan, @ liacs.leidenuniv)
College op dinsdag 9:15-11:00, zaal Huygens 211/214.
Aansluitend Werkgroep 11:15-13:00.
Afwijkende zaal
di 21-11 WG, di 3-12 HC+WG in Huygens 226.
Raadpleeg de studiegids.
Zalen en tijden kunt u controleren in de roosters.
Assistent: Larissa Wolters.
Zoals aangekondigd (zie vakbeschrijving) komen er inleveropdrachten, die meetellen voor het cijfer.
Dit zullen vier opdrachten zijn, met deadline 1 6 okt, 29 31 okt, 12 21 nov, en 26 nov [wordt iets later].
De opdrachten worden steeds een ruime week tevoren bekend gemaakt.
Materiaal:
- College slides (versie 8.1'20)
- Formele talen en Eindige automaten, diktaat uit FI1-college, om op te frissen.
- Werkcollege sommen met uitwerkingen.
- 3.9'19: blz 1, FI1 opgaven: eindige automaat, Boolese en reguliere operaties
- 10.9'19: blz 8: product-construction, distinguishable strings
- 17.9'19: blz 13,16: non-determinisme, λ-transities
- 24.9'19: blz 18,21: reguliere expressies, conversie van/naar automaat
-
1.10'19: geen college!
-
8.10'19: inleveren
huiswerk 1.
-
8.10'19: blz 24: pomplemma voor reguliere talen.
-
15.10'19: blz 26: Myhill-Nerode, minimalisatie.
-
22.10'19: geen college, toetsweek (sterkte) maar het huiswerk verschijnt hier! (zie onder)
-
29.10'19: context-vrije grammatica's; rechts-lineair.
-
31.10'19: inleveren
huiswerk 2.
- 5.11'19: afleidingsbomen, ambiguity (dubbelzinnigheid), normaalvormen (Chomsky)
- 12.11'19: constructies (afsluiting), de stapelautomaat
- 19.11'19: PDA, determinisme, equivalentie PDA & CFG
-
21.11'19: inleveren
huiswerk 3.
- 26.11'19: lege-stapel-taal, afsluitingseigenschappen
- 3.12'19: pomplemma, niet-context-vrij, niet deterministisch, beslisbaarheid
- 10.12'19: pompen! belissingsproblemen voor CFG. EIND.
-
12.12'19: inleveren
huiswerk 4. (9.12'19 verbetering voorbeeld)
-
Huiswerk, met uitwerkingen (opgave 1d inmiddels toegevoegd).
- Tentamen jan'20 met (handgeschreven)
uitwerkingen. Oefenen!
Op de website van mijn voorganger waren andere voorbeelden van tentamens te vinden.
Verschillende stijl, maar nuttig. [klik op de link, helemaal naar onder scrollen.]
-
Vanwege de omstandigheden is het herkansingstentamen van maart vooralsnog uitgesteld. [en heeft online plaats gevonden]
Inleveren
-
Mail je huiswerk in één PDF naar larissacwolters [at] gmail.com.
-
Maak je huiswerk bij voorkeur in LaTeX, maar zorg in ider geval dat het leesbaar is.
Vergeet niet je naam op de opgaven zelf te zetten.
-
Huiswerk dat niet juist is aangeleverd of niet goed leesbaar is wordt niet nagekeken.
-
Een website die wellicht van pas kan komen: Finite State Machine Designer
Feedback
Hierbij de opmerkingen van de enqueteformulieren.
Inderdaad, vier uur acher elkaar is erg veel; voor mij ook.
De link naar oude tentamens hierboven hebben veel mensen helaas gemist.
Verder bedankt voor jullie enthousiaste deelname tijdens opgavensessies.
Bachelor Informatica Leiden.