1277.57 양자 유한 오토마타 (QFA)의 개요