有限オートマトンから正規文法への変換