Hallo,

Lösungsversuche für den Aufgabentyp Convert_To_NFA-Direct, die wohl vom
Datentyp Autolib.NFA.Data.NFA(Char)(Int) sein müssen, führen bei Eingabe einer
Zustandsmenge ("states"), die nicht alle Zustände in der Übergangsfunktion
("trans") erfasst, zu einer Exception, die nicht alle Studenten zur
Problemursache führt, nämlich zu:

got exceptionof value NFA.Dot.numeric

Ich hätte auch eher erwartet, dass die Standard-Konsistenzprüfung oder die
Eigenschaft "Sane" zu einer "normalen" Fehlermeldung i.S. der Rückmeldung zur
Lösung führt, etwa: "Die Zustandsmenge ist nicht konsistent mit der
Übergangsfunktion."

Zum Nachvollziehen hänge ich eine Konfiguration und eine exceptionverursachende
Lösungseingabe unten an.

Falls unbekannt und ungewollt, handelt es sich vielleicht ein ähnliches
Phänomen wie bei Bug 220 [1]?

Viele Grüße,
Frank Loebe

[1] http://dfa.imn.htwk-leipzig.de/bugzilla/show_bug.cgi?id=220


Konfiguration zum Testen:

( Convert
      { name = Just
                   [ "aller W\246rter \252ber {a,b,c}, die kein bab enthalten,"
]
      , input = Exp
                    All - All b a b All
      }
, [ Alphabet
        (mkSet "abc")
  , Deterministic , Complete
  ]
)


Lösungseingabe zum Testen:

NFA
    { alphabet = mkSet "abc" , states = mkSet [ 1 , 3 ]
    , starts = mkSet [ 2 ] , finals = mkSet [ 2 ]
    , trans = collect [ ( 1 , 'a' , 2 ) , ( 2 , 'a' , 1 )
                      , ( 2 , 'a' , 3 ) , ( 2 , 'b' , 3 ) , ( 3 , 'b' , 2 )
                      ]
    }