Index of /ODSA/AV/OpenFLAP/machines/FA/

../
DFACOMPevenamin3b.jff                              06-May-2025 16:06                2118
DFACOMPno3a.jff                                    06-May-2025 16:06                1100
DFACOMPnotendinba.jff                              06-May-2025 16:06                 815
DFANotevena3b.jff                                  06-May-2025 16:06                2066
DFA_noTrapState.jff                                06-May-2025 16:06                 691
DFA_withTrapState.jff                              06-May-2025 16:06                1010
DFAbotheo.jff                                      06-May-2025 16:06                1108
DFAevena.jff                                       06-May-2025 16:06                 454
DFAevenamin3b.jff                                  06-May-2025 16:06                2046
DFAevenaoddb.jff                                   06-May-2025 16:06                1100
DFAno3a.jff                                        06-May-2025 16:06                 990
DFAnotendinba.jff                                  06-May-2025 16:06                 948
DFAodda.jff                                        06-May-2025 16:06                 616
DFAodda3b.jff                                      06-May-2025 16:06                1942
DFAoddaevenb.jff                                   06-May-2025 16:06                1099
EvenBinaryDFACON.jff                               06-May-2025 16:06                 704
EvenBinaryEvenOnesDFA.jff                          06-May-2025 16:06                1221
NFA2DFA2a.jff                                      06-May-2025 16:06                1555
NFA2DFA2b.jff                                      06-May-2025 16:06                1609
NFA2DFAexample1.jff                                06-May-2025 16:06                 774
NFA2DFAexample2.jff                                06-May-2025 16:06                 710
NFAexample1.jff                                    06-May-2025 16:06                 923
NFAexample2.jff                                    06-May-2025 16:06                1367
NFAtoRE.jff                                        06-May-2025 16:06                 768
csabs.jff                                          06-May-2025 16:06                1054
divisibleBy4.jff                                   06-May-2025 16:06                1248
evenaAtLeastOnebZeroOrOdda.jff                     06-May-2025 16:06                1165
everapreceededandfollowedbyb.jff                   06-May-2025 16:06                 786
stminDFA1.jff                                      06-May-2025 16:06                1854
stminDFAE2.jff                                     06-May-2025 16:06                2338