ω—NTB文法及其秩的若干性质

摘要

cqvip:本文引入了ω-HTB文法及其秩的概念,证明了ω-HTB语言和ω超线性语言是同一语言类,给出了ω-NTB文法秩的若干重要性质。