形式言語と有限オートマトン入門 - メルカリ