|
Parent folder |
|
-
|
|
DFACOMPevenamin3b.jff |
|
2.1 kB
|
|
|
DFACOMPno3a.jff |
|
1.1 kB
|
|
|
DFACOMPnotendinba.jff |
|
815 Bytes
|
|
|
DFANotevena3b.jff |
|
2.1 kB
|
|
|
DFA_noTrapState.jff |
|
691 Bytes
|
|
|
DFA_withTrapState.jff |
|
1.0 kB
|
|
|
DFAbotheo.jff |
|
1.1 kB
|
|
|
DFAevena.jff |
|
454 Bytes
|
|
|
DFAevenamin3b.jff |
|
2.0 kB
|
|
|
DFAevenaoddb.jff |
|
1.1 kB
|
|
|
DFAno3a.jff |
|
990 Bytes
|
|
|
DFAnotendinba.jff |
|
948 Bytes
|
|
|
DFAodda.jff |
|
616 Bytes
|
|
|
DFAodda3b.jff |
|
1.9 kB
|
|
|
DFAoddaevenb.jff |
|
1.1 kB
|
|
|
EvenBinaryDFACON.jff |
|
704 Bytes
|
|
|
EvenBinaryEvenOnesDFA.jff |
|
1.2 kB
|
|
|
NFA2DFA2a.jff |
|
1.6 kB
|
|
|
NFA2DFA2b.jff |
|
1.6 kB
|
|
|
NFA2DFAexample1.jff |
|
774 Bytes
|
|
|
NFA2DFAexample2.jff |
|
710 Bytes
|
|
|
NFAexample1.jff |
|
923 Bytes
|
|
|
NFAexample2.jff |
|
1.4 kB
|
|
|
NFAtoRE.jff |
|
768 Bytes
|
|
|
csabs.jff |
|
1.1 kB
|
|
|
divisibleBy4.jff |
|
1.2 kB
|
|
|
evenaAtLeastOnebZeroOrOdda.jff |
|
1.2 kB
|
|
|
everapreceededandfollowedbyb.jff |
|
786 Bytes
|
|
|
stminDFA1.jff |
|
1.9 kB
|
|
|
stminDFAE2.jff |
|
2.3 kB
|
AV