首页> 中文会议>2005年全国理论计算机科学学术年会 >有限状态自动机的移动进程演算模拟

有限状态自动机的移动进程演算模拟

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文对有限状态自动机的移动进程演算模拟进行了研究.文章从一个有趣的角度,间接地研究了这一问题.主要通过演算和其子集的讨论,借助于图灵机(Turingmachine),双计数器机(twocountermachine)等,研究了演算可达性,终止性等判定问题.

著录项

来源
《2005年全国理论计算机科学学术年会》|2005年|122-123|共2页
会议地点秦皇岛
作者
陈韬略; 韩婷婷; 颜锋; 吕建;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类算法理论;
关键词
计算机数学; 移动进程演算; 并发计算;

相似文献

中文文献
外文文献
专利

1. 一个移动进程演算的互模拟同余定义框架 [J] . 陈韬略 ,李斌 ,胡昊 . 计算机科学 . 2004,第001期
2. 移动进程演算中的开互模拟 [J] . 傅育熙 . 计算机学报 . 2001,第007期
3. 一新型移动进程模型—— χ-演算 [J] . 傅育熙 . 上海交通大学学报 . 1997,第8期
4. 有限状态自动机与通信规程模拟：介绍一种实用的通信规程模拟... [J] . 崔子筠 ,包俊美 . 电脑开发与应用 . 1991,第003期
5. 基于有限状态自动机的移动端虚拟实务培训系统研究 [J] . 刘冬爽 ,张文辉 . 中国教育技术装备 . 2016,第008期
6. 用进程演算建模生物化学反应过程 [C] . 董笑菊 ,倪佳华 ,傅育熙 . 2006年全国理论计算机科学学术年会 . 2006
7. 高阶进程演算的互模拟理论和公理化的研究 [A] . 徐贤 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号