Epsilon Transitions
Epsilon transitions are an optional feature of Non-deterministic Finite Automata
which constitute a transition that is always taken. For example:
To create an epsilon transition in finsm, simply create a transition arrow between
two states (or a self-loop), and enter the LaTeX code \epsilon. The app will
automatically consider this an epsilon transition when simulating. Note that this
also means that \epsilon is a reserved LaTeX expression that can't be used as
a normal transition. However, including \epsilon in a larger LaTeX expression
is allowed and will not create an epsilon transition. Still, it's likely a good
idea to avoid the use of \epsilon in your transitions (unless you know explicitly
why it should be used in your state machine!), as it may cause confusion.