De studerende lærer at forstå og anvende de centrale modeller der bliver introduceret i løbet af kurset og at bruge software værktøjer relateret til disse formalismer.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
forklare forskelle i udtrykskraft af nogle af de præsenterede formelle modeller
forklare betydningen af en given beskrivelse i en formel model (f.eks. automater, grammatiker, semantikker)
konstruere en beskrivelse i en formel model (f.eks. automater, grammatiker, semantikker) for en ønsket egenskab eller opførsel givet som en tekstuel beskrivelse
oversætte til en anden model (f.eks. regulæreudtryk til NFA)
ændre en given beskrivelse svarende til et givet kriterie (f.eks. minimering af automater, fjernelse af ubrugelige produktioner, tilføjelse af sprogkonstruktioner)
anvende udvalgte værktøjer relateret til de formelle modeller (f.eks. lexers, parsers)
afgøre om en beskrivelse i en formel model opfylder en givet egenskab
argumentere for en egenskab ved at anvende bevisstrategier (f.eks. strukturel induktion, givne teoremer)
forklare og afgøre hvilke formelle modeller der kan være nødvendige eller nyttige ved løsning af et givent problem
opnå målene som del af en gruppe, mens det individuelle ansvar opretholdes
kommunikere sine konstruktioner og løsninger på en klar og præcis måde
Kursusindhold:
Se engelske beskrivelse.
Litteratur::
- Introduction to Automata Theory, Languages, and Computation, John E. Hopcroft, Rajeev Motwani, Jefrey D. Ullman, Third Edition, Addison-Wesley, 2007. - Semantics With Application - An Appetizer, Hanne Riis Nielson and Flemming Nielson, Springer 2007.
