Hello, World!

Author

Seung-ri Shin (Siho)

Published

August 19, 2026

DFA

A deterministic finite automaton is

\[ M = (Q,\Sigma,\delta,q_0,F). \]

The transition function is

\[ \delta : Q \times \Sigma \rightarrow Q. \]