가상 자유 그룹의 문맥-자유 전역 이미지를 가진 부분집합

가상 자유 그룹에서 모든 공액류가 인식 가능한 문맥-자유 집합이다.