Programmet AAAAA—utvecklat av Anders Ahlgren f.d. forskare vid matematiska inst. i Uppsala—är ett verktygsprogram med vars hjälp Du kan experimentera, testa och utveckla idéer i ämnet automater och formella språk. Tex kan AAAAA minimera DFA:er, skapa reguljära uttryck från finita automater och omvänt. AAAAA kan också handskas med ickereguljära språk. Exempelvis kan AAAAA rita parseträd för sammanhangsfria grammatiker, och provköra restriktionsfria dito. En annan tuff egenskap hos AAAAA är dess förmåga att visa ett oändligt språk som en oändlig lista av strängar. Nåväl en lista vars längd begränsas enbart av maskinens minnesresurser. AAAAA kan också rita automater, jämföra olika språk, och i förekommande fall ge exempel på strängar som skiljer dem åt. (Detta kan vara bra när Du vill veta ifall Din lösning är ekvivalent med någon annans.) Men AAAAA kan mycket mer än så. Se användarmanualen. En skärmdumpning nedanför visar AAAAA:s gränssnitt.
Vill Du ladda ner AAAAA, se här.
Vad innehåller laborationerna?
Det rör sig som sagt var om två stycken laborationer av vilka den första i huvudsak avser att introducera AAAAA. Den andra använder AAAAA för konstruktion av en liten miniräknare. Syftet med den andra laborationen är att visa hur sammanhangsfria grammatiker kan användas i kompilatorteknik. Miniräknaren är ju inget annat än en enkel kompilator för ett "programmeringsspråk" som bara består av aritmetiska uttryck. AAAAA spelar rollen av ett verktyg för konstruktion av kompilatorer, liknande de verktyg som används i praktiken, fast enklare att använda och en smula begränsad. Fullständiga beskrivningar av de två laborationerna finns i länkarna ovanför. Dessutom finns det en användarmanual för AAAAA.
När skall laborationerna vara klara, och till vem skall de skickas?
Laborationsrapporter skall vara inskickade senast en vecka efter laborationstillfället. För sent inkomna rapporter beaktas icke.
AAAAA:s gränssnitt
