m3talelite / ForGen

Formele Methode project
European Union Public License 1.1
0 stars 1 forks source link

Epsilon overgangen defect #12

Closed guusbeckett closed 9 years ago

guusbeckett commented 9 years ago

Tijdens het werken aan de grammatica ben ik er achter gekomen dat de epsilon overgangen nog niet goed worden geïnterpreteerd. Het programma (ik weet niet 100% waar maar vermoed dat het in de methode epsilonClosure() zit) denkt dat het aan het eind van een epsilon overgang zijn woord al heeft ingevoerd en stopt dus soms zonder ook maar een letter van het woord gebruikt te hebben, dat uiteraard niet de bedoeling is. (Zie het screenshot hieronder) screenshot - 240615 - 22 44 40 Zoals je kan zien worden sommige states als staten waar je eindigt met een a wel goed aangegeven, maar de meesten niet. (De a kan onmogelijk in 1 eindigen vanuit 0 omdat er slechts een epsilon overgang naartoe gaat).