형식언어 활용