\docmentclass(jarticle)
\begin(docment)

言語オートマトンレポート3

\end(docment)