|
49409 Automater, sprog og beregnelighed
| |
Engelsk titel: Automata, Formal Languages and Computability
| |
| | Type: | Å, Sprog: E |
| initiativkursus |
|
|
Point:
5 point |
|
| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Faglige forudsætninger: 49142 |
| Vejledende semester:
Midt i studiet. |
| Undervisningsform: Forelæsninger, grupperegning. |
| Evalueringsform:
Bedømmelse af skriftlig eksamen forudsætter godkendelse af obligatoriske opgaver. Skriftlig eksamen
(13-skala
) |
| Kontaktperson: |
Michael R. Hansen, IT, bygn. 343, tlf. 4525 3727 |
|
| Kursusmål: At give de studerende et indblik i forskellige modeller for programmer, datamaskiner og deres styrke. Samt at give de studerende en forståelse for principielle grænser for hvilke problemer, der kan løses ved brug af datamaskiner. Igennem kurset vil de studerende opnå en forståelse for grundlæggende begreber der udnyttes i anvendelsesprogrammer og værktøjer til f.eks. hardware verifikation, oversættere og bevisførere. |
Kursusindhold: Automatbaserede modeller af datamaskiner, såsom endelige tilstandsmaskiner, stakmaskiner og Turingsmaskiner. Karakterisering af de forskellige modellers styrke ved formelle sprog, der beskrives ved regulære udtryk og grammatikker.
For de forskellige datamaskinmodeller vil det blive belyst hvilke typer opgaver, der ikke kan løses af den pågældende datamaskine. |
|
|
