退出
我的积分:
中文文献批量获取
外文文献批量获取
虞蕾; 陈火旺;
国防科学技术大学;
计算机学院;
博士后流动站;
湖南;
长沙;
410073;
第二炮兵工程学院;
计算机系;
陕西;
西安;
710025;
PSL(property specification language); FL(foundation language); 双向交换自动机; 非确定自动机; 模型检验;
机译:将非确定性自动机和无上下文语法转换为Parikh等效的单向和双向确定性自动机
机译:将双向不确定一元自动机转换为更简单的自动机
机译:在不构造规范自动机的情况下为给定语言枚举非确定性自动机
机译:字符串集中最小,非循环,确定性,有限状态自动机的构造算法比较
机译:广义弦最优自动机的算法构造和随机分析
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:将非法的自动机和无背景语法转换为Parikh等价单向和双向确定性自动机
机译:模糊星函数,概率自动机及其非概率自动机的逼近。
机译:自动机确定方法,自动机确定装置和自动机确定程序
机译:自动机的确定方法,有限状态传感器的方法的确定,自动机的确定装置和程序的确定
机译:自动机的确定方法,有限状态传感器的确定方法,自动机的确定装置和确定程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。