抽象オートマトン
【ちゅうしょうおーとまとん】
【chuusyouo-tomaton】
抽象自动机