Notater - Lars-Erik Lars-Erik har …

Notater - Lars-Erik

Lars-Erik har skrevet noen gode notater om INF 1800. Ta gjerne en titt på dem

http://folk.uio.no/larsereb/

Lars-Erik har også laget et oppgavesett som står til pensum om FSA, Pushdown-automater og pumpelemma.Det er en praktisk oppgave, hvor man lager automater som skal validere HTML-filer.

I oppgave 1 er det begrenset hvor mange tagger som nøstes inni hverandre, dette kan altså uttrykkes med en FSA. I oppgave 2 fjerner jeg denne begrensningen, slik at man må bruke en push-down automat. Jeg håper studentene finner oppgaven engasjerende, da man ser praktisk bruk av teorien de lærer, og mange sikkert kjenner til HTML fra før.