Awesome

finite (v0.3.2)

finite is a Typst package for rendering finite automata on top of CeTZ.

For Typst 0.6.0 or later, import the package from the typst preview repository:

#import "@preview/finite:0.3.1": automaton

After importing the package, simply call #automaton() with a dictionary holding a transition table:

#import "@preview/finite:0.3.1": automaton

#automaton((
  q0: (q1:0, q0:"0,1"),
  q1: (q0:(0,1), q2:"0"),
  q2: (),
))

The output should look like this: Example for a finite automaton drawn with finite

See manual.pdf for a full manual of the package.

The documentation is created using Mantys, a Typst template for creating package documentation.

To compile the manual, Mantys needs to be available as a local package. Refer to Mantys' manual for instructions on how to do so.

Added styling options for intial states:
- stroke sets a stroke for the marking.
- scale scales the marking by a factor.
Updated manual.

Bumped tools4typst to v0.3.2.
Introducing automaton specs as a data structure.
Changes to automaton command:
- Changed label-format argument to state-format and input-format.
- layout can now take a dictionary with (state: coordinate) pairs to position states.
Added #powerset command, to transform a NFA into a DFA.
Added #add-trap command, to complete a partial DFA.
Added #accepts command, to test a word against an NFA or DFA.
Added transpose-table and get-inputs utilities.
Added "Start" label to the mark for initial states.
- Added option to modify the mark label for initial states.
Added anchor option for loops, to position the loop at one of the eight default anchors.
Changed curve option to be the height of the arc of the transition.
- This makes styling more consistent over longer distances.
Added rest key to custom layouts.