Typst Finite

Typst-setting finite automata with CeTZ.