语言包含相关论文
时间自动机是实时系统形式化建模和验证的主要手段,能够对系统各个组件能否正确交互及通信进行验证.系统模型和待验证属性都用时间......
Communicative Language Teaching可缩写为CLT , 意思为交际教学法。交际教学法认为，语言包含了〝交际能力〞和语言所处的〝文化社......
古埃及美术在世界艺术史上占有重要地位,是人类艺术史上最早、最具民族特色的典型代表。中国剪纸是中国传统艺术的重要组成部分,距......
无穷数据广泛存在于计算机程序和数据库系统中.受到形式验证与数据库两方面应用需求的推动,面向无穷数据的形式模型已经成为理论计......
一、动画片中的听觉语言 动画的各种元素和现实的有很多不同点，它可以仅仅是由一个传说甚至一句话引出的故事和世界，但为了结合人......
在积自动机基础上,利用互模拟关系引出了商自动机,用以解决积自动机的状态组合爆炸问题.进而提出一个自然的测试语言包含的算法,这......
