搜索到 篇“ 确定有限自动机 “的相关文章

相关作者

闵兰
作品数:23被引量:214H指数:6
供职机构:成都理工大学
研究主题:确定有限自动机 大学数学 教学 矩阵 命题逻辑
段振华
作品数:213被引量:237H指数:8
供职机构:西安电子科技大学
研究主题:时序逻辑 形式化验证 命题投影时序逻辑 投影时序逻辑 语句
刘益
作品数:15被引量:20H指数:3
供职机构:宜宾学院计算机与信息工程学院
研究主题:确定有限自动机 命题逻辑 逻辑 知识结构 XML模式
雷丽晖
作品数:8被引量:84H指数:5
供职机构:西安电子科技大学计算理论与技术研究所
研究主题:确定有限自动机 组合WEB服务 形式化验证 有限自动机 J2EE
董群峰
作品数:13被引量:0H指数:0
供职机构:中国科学技术大学
研究主题:TCAM 三态内容寻址存储器 匹配方法 有穷状态自动机 DFA