...
机译:上下文无关语言的抽取引文形式化的一些应用
non-context-free languagesclosureintersectionpumping lemmaformalizationCoq;
机译:无上下文语言的抽水引理的形式化
机译:多种上下文无关语言的强抽动引理失败
机译:非线性上下文无关语言的新抽水引理
机译:确定性上下文无关语言和抽运Lemmas的交集和联合层次结构
机译:自动提取基于词素的双语词典,用于丰富形态的语言
机译:将基于语义的概率无容论语法应用于医学语言处理 - 解析药物判决的初步研究
机译:一些应用程序形式化的泵送语言的形式化