簡単なオートマトン。