Typst Automata

NFA

DFA

	Node	Type		Output		Del
	Node	q0	F	a	b	Del
0

Transition Table

#figure(
  table(
    columns: (auto,auto,auto,auto,auto),
    table.header([], [], [alias], [a], [b]),
    [$q_0$], [$=q_0$], [0], [], [],
  )
)

Automata

Use node name as label

Add layout field

#figure(
  automaton(
    (
      "0": (),
    ),
    style: (
      transition: (curve: 0.1),
    ),
    initial: "0",
    final: (),
  ),
)