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

../
DFACOMPevenamin3b.jff                              02-Jan-2023 18:50                2118
DFACOMPno3a.jff                                    02-Jan-2023 18:50                1100
DFACOMPnotendinba.jff                              02-Jan-2023 18:50                 815
DFANotevena3b.jff                                  19-Aug-2021 03:22                2066
DFA_noTrapState.jff                                19-Aug-2021 03:22                 691
DFA_withTrapState.jff                              20-Jan-2023 05:38                1010
DFAbotheo.jff                                      02-Jan-2023 18:50                1108
DFAevena.jff                                       19-Aug-2021 03:22                 454
DFAevenamin3b.jff                                  02-Jan-2023 18:50                2046
DFAevenaoddb.jff                                   19-Aug-2021 03:22                1100
DFAno3a.jff                                        19-Aug-2021 03:22                 990
DFAnotendinba.jff                                  19-Aug-2021 03:22                 948
DFAodda.jff                                        19-Aug-2021 03:22                 616
DFAodda3b.jff                                      19-Aug-2021 03:22                1942
DFAoddaevenb.jff                                   19-Aug-2021 03:22                1099
EvenBinaryDFACON.jff                               19-Aug-2021 03:22                 704
EvenBinaryEvenOnesDFA.jff                          19-Aug-2021 03:22                1221
NFA2DFA2a.jff                                      19-Aug-2021 03:22                1555
NFA2DFA2b.jff                                      19-Aug-2021 03:22                1609
NFA2DFAexample1.jff                                19-Aug-2021 03:22                 774
NFA2DFAexample2.jff                                19-Aug-2021 03:22                 710
NFAexample1.jff                                    19-Aug-2021 03:22                 923
NFAexample2.jff                                    19-Aug-2021 03:22                1367
NFAtoRE.jff                                        19-Aug-2021 03:22                 768
csabs.jff                                          19-Aug-2021 03:22                1054
divisibleBy4.jff                                   19-Aug-2021 03:22                1248
evenaAtLeastOnebZeroOrOdda.jff                     19-Aug-2021 03:22                1165
everapreceededandfollowedbyb.jff                   19-Aug-2021 03:22                 786
stminDFA1.jff                                      29-Jan-2023 17:56                1854
stminDFAE2.jff                                     29-Jan-2023 17:56                2338