finite

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

Usage

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

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

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

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

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

The output should look like this:

Further documentation

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

Development

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.

Changelog

Version 0.3.2

• Fixed an issue with final states not beeing recognized properly (#5)

Version 0.3.1

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

Version 0.3.0

• 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.

Version 0.2.0

• Bumped CeTZ to v0.1.1.

Version 0.1.0

• Initial release submitted to typst/packages.