抽象オートマトン理論
【ちゅうしょうおーとまとんりろん】
【chuusyouo-tomatonriron】
抽象自动机理论