识别语言相关论文
时间自动机被广泛用于实时系统验证和模型检测。一方面出现了很多算法和工具;另一方面有不少基于时间自动机的不同模型被提出,以适......
本文首先介绍自动机识别有限词和无限词两种情况,然后结合模型检查方法,把自动机作为规范自动机与模型自动机,使用自动机识别语言......
一、什么是语言交际能力?rn关于语言交际能力,Clark, Seadno和Brownell(1994)的解释是:不断提高使用语言与别人交际的能力,获取和......
时间自动机被广泛用于实时系统验证和模型检验.为适应不同类型的系统验证需要。不少时间自动机的相关模型被提出.时间树自动机是这样......
到目前为止,交替的ω-有究自动机的接受条件仅有6种,本文给出了6种新形式的接受条件,并研究了交替的ω-有究自动机交些条件下识别语言的能......
方宏一的《广播电视语言弱音节丢失现象的探讨与对策》一文,是文理结合的研究成果,具有创见。......