ω—封闭性定理

本文讨论了ω-正规语言,ω-上下文无关语言对同态和逆同态运算的封闭性。证明了一个关于三重簇的闭包定理。