電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
研究了不確定有窮自動(dòng)機(jī)NFA、確定有窮自動(dòng)機(jī)FA、規(guī)范有窮自動(dòng)機(jī)GFA的基本關(guān)系與等價(jià)轉(zhuǎn)換；給出了“NFA→FA”等價(jià)轉(zhuǎn)換算法與“FA→GFA”等價(jià)轉(zhuǎn)換算法，構(gòu)造性證明了從FA到GFA的存在性，提供了自動(dòng)機(jī)極小化算法的研究基礎(chǔ)。
關(guān) 鍵 詞 不確定自動(dòng)機(jī); 確定自動(dòng)機(jī); 規(guī)范自動(dòng)機(jī); 等價(jià)轉(zhuǎn)換算法; 極小化
Abstract The essential relationship and equal value transformation of Non-Finite Automat, Finite Automat and Gauge Finite Automat (abbreviated as NFA, FA & GFA) is studied. An equal value transforming algorithms of "NFA→FA” and "FA→GFA” are given, the existing nature from FA To GFA is proved by construction, with which the basis of an algorithm research on the minimum of an Automat is provided.
Key words non-finite automat; finite automat; gage automat; equal value transforming algorithm; minimum
文獻(xiàn)[1～7]論及不確定有窮自動(dòng)機(jī)“NFA(Non-Finite Automat)確定有窮自動(dòng)機(jī)→FA(Finite Automat)規(guī)范有窮自動(dòng)機(jī)→GFA(Gage Finite Automat)”等價(jià)轉(zhuǎn)換，但存在不足：僅有公理化結(jié)論，而未見(jiàn)構(gòu)造性算法，且在“FA→GFA”等價(jià)轉(zhuǎn)換理論證明中存在不嚴(yán)謹(jǐn)之處[1]。為此，本文給出“NFA→FA→GFA”自動(dòng)機(jī)自動(dòng)轉(zhuǎn)換算法的構(gòu)造、證明與改進(jìn)。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
- 基于Arduino和OLED元胞自动机0次下载
- 基于Arduino和OLED的元胞自动机0次下载
- 同步有界偏序自动机的同步性问题研究5次下载
- 自动机终结字查找算法实现优化综述3次下载
- 基于随机森林与转换算法实现海洋数据的协同转换1次下载
- 基于统计的AC自动机空间优化0次下载
- 异步多进程时间自动机的可覆盖性问题0次下载
- 自动机械设计0次下载
- 元胞自动机的介绍资料3次下载
- 基于元胞自动机的混合交通流模型的研究0次下载
- [自动机与自动线].李绍炎.扫描版0次下载
- 用于信息加密的分子自动机的编码研究9次下载
- 高可用性双机系统的有限自动机10次下载
- 加性细胞自动机的同构性分析35次下载
- 城市发展预测细胞自动机模型及转换规则14次下载
- 传输频率和传输速率怎么换算3364次阅读
- 电容的单位换算有哪些 电容的单位换算公式22027次阅读
- Mahony滤波算法参数自动调节方法介绍1704次阅读
- 如何利用Linux下的工具来自动生成实用的状态机框架？1715次阅读
- 基于自动泊车的自动驾驶控制算法设计与研究1209次阅读
- 词法分析-Antlr-1980次阅读
- 嵌入式软件架构设计之状态机2419次阅读
- 数字二进制计数器的设计和实现2169次阅读
- AutoML：训练模型以识别凹坑2764次阅读
- 自动控制的电动机可逆运行电路6503次阅读
- 自动机器学习的研究动机4122次阅读
- 拆解移动机器人视觉算法5807次阅读
- 新算法教你实现滤波器低通到高通的转换14094次阅读
- 华氏度与摄氏度的换算在线计算 温度转换公式大全16426次阅读
- 常用度量衡单位及换算法表(近似值)1583次阅读
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費(fèi)
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論