オートマトン

文字列集合を表すモデル

大学1年の情報の授業でやった（忘れてた）

丸と二重丸の2種類の状態と、文字列（これは矢印の集合）