To learn more about how to use the applet use the built-in help.

Some examples to try.

You can view the example automata by choosing "File->Load..." from the applet menu, and then entering the data file name. Here is a list of the automata files:

• rumVendor.fa ---- the vending machine example
• 3mults.fa ---- non-negative decimal numbers divisible by 3
• i_like_rice.fa ---- FA accepting {i, like, rice}
• i_like_lice.fa ---- FA accepting {i, like, lice}
• evenNumberOfBs.fa
• not3multNumberOfAs.fa
• CartesianProduct.fa
• intersection.fa
• union.fa
• symmetricDifference.fa
• 5thBitFromLeft.fa
• 3rdBitFromRight.fa
• 4thBitFromLeft.fa
• 4thBitFromRightNFA.fa

Download the application:

• (tar.gz)
• (zip)