형식언어와 유한상태머신 - 박진홍, 지음 (교우사, 2003)