退出
我的积分:
中文文献批量获取
外文文献批量获取
周启海;
西南财经大学经济信息工程学院,成都,610074;
不确定自动机; 确定自动机; 规范自动机; 等价转换算法; 极小化;
机译:从常规表达到使用压缩NFAS的DFAS
机译:线性时间时序逻辑到Biichi自动机的转换算法
机译:线性时间时序逻辑到Buchi自动机的转换算法
机译:NFAS与无限期主义有限的NFAS的状态复杂性
机译:确定GFA基因的序列差异是否引起亚历山大病。
机译:VEINCTR-NFas的免疫原性表位(CD95 / Apo-I)和可溶性Fas在体外可增强T细胞凋亡。二。功能分析及其对HIV-1疾病的潜在影响。
机译:非确定性有限自动机(NFA)概念在视频仿真应用自动售货机中的应用
机译:资源形式因素和GFa控制器的安装
机译:为具有高级功能的正则表达式模式生成非确定性有限自动机(NFA)图
机译:由命令驱动的NFA硬件引擎,对多个自动机进行编码
机译:遍历为具有高级功能的正则表达式模式生成的不确定性有限自动机(NFA)图的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。