fsm Documentation

De volgende klassen worden gedefinieerd:

Fsm representeert een automaat. Er zijn memberfuncties om de (eind-, begin- of andere) staten op te halen, om het alfabet te kennen etc. Tevens zijn er functies om de automaat op te bouwen of te wijzigen: Fsm::add_state etc.
De overgangsfunctie is beschikbaar in een normale (Fsm::delta) en een deterministische (Fsm::ddelta) versie. Deze laatste kan enkel gebruikt worden voor deterministische automaten.
In een meer gesophisticeerd ontwerp zou men intern een meer efficiente implementatie kunnen gebruiken voor de overgangen van een deterministische automaat.
Parser is een hulpklasse die in staat is om een automaat op te bouwen uit een beschrijving op een input stream. Enkel de publieke interface van Fsm wordt gebruikt, wat de Parser onafhankelijk maakt van de implementatie van Fsm.
Parser gebruikt nocommentstream, een stream met een filterstreambuf die commentaar wegfiltert, zie hoofstuk 10 van het boek.
DfaMaker is een hulpklasse die een deterministische Fsm kan bouwen die equivalent is met een gegeven nondeterministische automaat. Enkel de publieke interface van Fsm wordt gebruikt, wat DfaMaker onafhankelijk maakt van de implementatie van Fsm.
Optimizer is een hulpklasse die een optimale Fsm kan bouwen die equivalent is met een gegeven deterministische automaat. Enkel de publieke interface van Fsm wordt gebruikt, wat Optimizer onafhankelijk maakt van de implementatie van Fsm.

Er zijn twee hoofdprogramma's:

fsm (broncode in main.C)
De functionaliteit van dit programma wordt beschreven in de opgave.
De volgende figuur (gegenereerd door fsm2dot en dot) laat de input automaat zien voor
```
        fsm -o nfa0.txt onfa0.txt
```
Input voor fsm -o nfa0.txt onfa0.txt

Het resultaat is te zien in de volgende figuur.

Output van fsm -o nfa0.txt onfa0.txt
fsm2dot (broncode in fsm2dot.C)
Dit programma is een filter die een automaat (in het formaat herkend door Parser) beschrijving vertaalt naar een graaf specificatie voor gebruikt door het programma dot dat dan weer kan gebruikt worden om een grafische voorstelling van de automaat te genereren.

FSM [ August, 2001]