有限オートマタ理論
【ゆうげんおーとまたりろん】
【yuugeno-tomatariron】
有限自动机理论