REGULARITET & AUTOMATER Indhold Kurset vil dække følgende emner indenfor teori om formelle sprog: endelige automater, regulære udtryk og regulære grammatikker egenskaber ved disse, bl.a. ækvivalens og begrænsninger eksempler på praktiske anvendelser bevisteknikker, f.eks. induktion relation til mere generelle beregningsmodeller som kontekstfri grammatikker og Turing-maskiner

Mål Formålet med kurset at den studerende skal opnå følgende kompetencer: at kunne referere den basale terminologi (strenge, sprog, klasser af sprog samt basale operationer på disse) at kunne beskrive basale abstrakte sprogformalismer (regulære udtryk, endelige automater, regulære grammatikker, kontekstfri grammatikker) – fra intuitivt niveau og konkrete eksempler til formel notation og generelle definitioner at kunne beskrive egenskaber ved formalismerne, bl.a. ækvivalens, begrænsninger og beslutningsproblemer at kunne forklare og udføre algoritmer, der oversætter mellem formalismerne eller afgør beslutningsproblemer – fra konkrete eksempler til generelle og formelle beskrivelser at kunne bevise og analysere egenskaber ved formalismerne (ved hjælp af konstruktive beviser og induktionsbeviser) – fra intuitivt niveau til formelle detaljer

Eksamenform og vurderingskriterier Eksamen vil vurdere i hvor høj grad den studerende besidder ovennævnte kompetencer. For at kunne indstilles til eksamen skal man have godkendt besvarelser af 6 obligatoriske opgaver. Form: mundtlig, 20 min, uden forberedelse Eksamensspørgsmål: regulære udtryk endelige automater lukkethedsegenskaber nondeterministiske automater minimering af automater begrænsninger af regulære sprog kontekstfri grammatikker Det er den studerendes opgave at vælge en disposition, svarende til ca. 10-12 minutters præsentation, til hvert spørgsmål.

Undervisningsformer Forelæsningerne er baseret på en kombination af powerpoint-præsentationer, tavleterror samt mini-quiz’er Studiecafe hvor man løser opgaver med vejledning efter behov (opgaver er blanding af teoretiske og programmering), temaer Holdøvelser bruges til gennemgang af løsninger, diskussion af ugens pointer, samt udarbejdelse af dispositioner til eksamen

Evalueringsformer - officielt skema - ”hjemmelavet”

Rød: god fornemmelse for at sådanne overvejelser kan gøre kurserne bedre, lyst til at prøve radikalt nyt Gul: tilfredshed hos studerende og lærere, højere gennemførelse Sort: eksplicit om mål => forsøg på faking blandt studerende, faren for SOLO-kvalme Grøn: forelæsninger (evt. studiecafeer) til forskellige SOLO-niveauer, studenterarbejdspladser i nærheden af underviserne, eet hold pr. gruppe, tilbud om prøveeksamen hos instruktor (supplement til traditionel spørgetime) opkvalificering af instruktorer! mentor-ordning (møde 1 gang pr. kvarter) Blå: øøøøøhhhh…. (citat: Michael)