Automaten en Formele Talen
6 EC
Semester 2, period 5
5062AUFT6Y
Automatentheorie helpt ons te begrijpen wat een machine kan en - nog belangrijker - wat een machine niet kan. Aan de orde komen de volgende onderwerpen: eindige automaten, reguliere talen, push-down automaten, contextvrije talen, Turing machines en berekenbaarheid. Deze cursus geeft samen met de cursussen Algoritmen en Complexiteit (2e studiejaar, periode 1) en Theoretische aspecten van programmatuur (3e studiejaar, periode 4) een inleiding in de theoretische informatica.
The lecture introduces the concepts and ideas as well as theoretical background.
The exercises develop deeper understanding as well as practice applying the lecture contents.
Self-study improves familiarity with lecture topics and is crucial to deepen knowledge of central topics.
Activiteit | Aantal uur |
Deeltoets | 4 |
Hoorcollege | 26 |
Werkcollege | 26 |
Zelfstudie | 112 |
Programme's requirements concerning attendance (OER-B):
Item and weight | Details |
Final grade | |
1 (100%) Deeltoets |
The grade for this course is calculated by exam grade together with a joint grade from the practical exercises.
The exam grade counts for 2/3, the average over all exercises counts for 1/3 of the final grade.
For passing the course, it is necessary to both(!) achieve at least an average grade of 5.5 in the practical exercises, as well as at least 55% of points in the final exam.
The exam has a resit. However for the exercises, no resit is offered.
There are three practical exercises where students implement and apply central structures from the course.
For each, the student will receive an individual grade as feedback. The exercises are in principle to be solved individually, exceptions are possible.
Over het algemeen geldt dat elke uitwerking die je inlevert ter verkrijging van een beoordeling voor een vak je eigen werk moet zijn, tenzij samenwerken expliciet door de docent is toegestaan. Het inzien of kopiëren van andermans werk (zelfs als je dat hebt gevonden bij de printer, in een openstaande directory of op een onbeheerde computer) of materiaal overnemen uit een boek, tijdschrift, website, code repository of een andere bron - ook al is het gedeeltelijk - en inleveren alsof het je eigen werk is, is plagiaat.
We juichen toe dat je het cursusmateriaal en de opdrachten met medestudenten bespreekt om het beter te begrijpen. Je mag bronnen op het web raadplegen om meer te weten te komen over het onderwerp en om technische problemen op te lossen, maar niet voor regelrechte antwoorden op opgaven. Als in een uitwerking gebruik is gemaakt van externe bronnen zonder dat een bronvermelding is vermeld (bijvoorbeeld in de rapportage of in commentaar in de code), dan kan dat worden beschouwd als plagiaat.
Deze regels zijn er om alle studenten een eerlijke en optimale leeromgeving aan te kunnen bieden. De verleiding kan groot zijn om te plagiëren als de deadline voor een opdracht nadert, maar doe het niet.
Elke vorm van plagiaat wordt bestraft. Als een student ernstige fraude heeft gepleegd, kan dat leiden tot het uitschrijven uit de Universiteit.
Zie voor meer informatie over het fraude- en plagiaatreglement van de Universiteit van Amsterdam: www.student.uva.nl
Week strong> td> Onderwerpen strong> td> | Studiestof strong> td> tr> | 1 | td> tr> | 2 | td> tr> | 3 | td> tr> | 4 | td> tr> | 5 | td> tr> | 6 | td> tr> | 7 | td> tr> | 8 | td> tr> | |