论文部分内容阅读
该文证明了每一个W—CFL都可表示为一个W—Dyck语言与—W—正规集之交的一个同态。该文还把TakumiKasai所证明的:每个上下文无关语言都可表示为一语言D与一正规集之交的一个同态的结果移值到W—语言中,提出W—D语言,而且证明了:每一个W—上下文无关语言都可表示为—W—D语言与—W—正规语言之交的一个同态。(珑摘)