形式言語とオートマトンを知りたい