>>335
有限オートマトンと状態遷移図は学部の最初でやるレベル