Export Mode
Once you've built and thoroughly tested your state machine, you can export your machine in another file format! When you switch to the export tab, you will be greeted by this page:
Exporting is straightforward: You just select the format you want your
export file to be, then click on the Export button. (Yes, I know there's
only one option right now :) )
Exporting to LaTeX works on a copy-and-paste basis; When the Export button
is pressed, a pop-up menu will appear. You can just copy and paste the code into
your LaTeX document. Just make sure that the necessary preambles are included
in your document! (Check the comments in the export code to see which ones
you need)
Yes! Coming Soon™
Sometimes, you may have created a faulty machine, and forgot to fix your mistakes before exporting. What's nice about finsm is that exporting is not allowed unless those errors are fixed. You will get an error message, similar to the one that appears in Simulate mode.
Also, keep in mind that the type of your machine you want to export does matter; you can change your machine type in Simulate mode as well.