ω-ntb文法及其秩的若干性质

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