1277.9 DFA와 NFA의 동치성 증명