1277.12 ε-NFA에서 NFA로의 변환