푸시다운 자동 기계 - 다른 언어