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