有限オートマトンの記述方法