電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
研究了不確定有窮自動機NFA、確定有窮自動機FA、規(guī)范有窮自動機GFA的基本關(guān)系與等價轉(zhuǎn)換；給出了“NFA→FA”等價轉(zhuǎn)換算法與“FA→GFA”等價轉(zhuǎn)換算法，構(gòu)造性證明了從FA到GFA的存在性，提供了自動機極小化算法的研究基礎(chǔ)。
關(guān) 鍵 詞 不確定自動機; 確定自動機; 規(guī)范自動機; 等價轉(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
文獻[1～7]論及不確定有窮自動機“NFA(Non-Finite Automat)確定有窮自動機→FA(Finite Automat)規(guī)范有窮自動機→GFA(Gage Finite Automat)”等價轉(zhuǎn)換，但存在不足：僅有公理化結(jié)論，而未見構(gòu)造性算法，且在“FA→GFA”等價轉(zhuǎn)換理論證明中存在不嚴(yán)謹之處[1]。為此，本文給出“NFA→FA→GFA”自動機自動轉(zhuǎn)換算法的構(gòu)造、證明與改進。
- 基于Arduino和OLED元胞自動機
- 基于Arduino和OLED的元胞自動機 0次下載
- 同步有界偏序自動機的同步性問題研究 5次下載
- 自動機終結(jié)字查找算法實現(xiàn)優(yōu)化綜述 3次下載
- 基于隨機森林與轉(zhuǎn)換算法實現(xiàn)海洋數(shù)據(jù)的協(xié)同轉(zhuǎn)換 1次下載
- 基于統(tǒng)計的AC自動機空間優(yōu)化 0次下載
- 異步多進程時間自動機的可覆蓋性問題 0次下載
- 自動機械設(shè)計 0次下載
- 元胞自動機的介紹資料 3次下載
- 基于元胞自動機的混合交通流模型的研究 0次下載
- [自動機與自動線].李紹炎.掃描版 0次下載
- 用于信息加密的分子自動機的編碼研究
- 高可用性雙機系統(tǒng)的有限自動機
- 加性細胞自動機的同構(gòu)性分析
- 城市發(fā)展預(yù)測細胞自動機模型及轉(zhuǎn)換規(guī)則
- Mahony濾波算法參數(shù)自動調(diào)節(jié)方法介紹 1189次閱讀
- 基于自動泊車的自動駕駛控制算法設(shè)計與研究 1209次閱讀
- 詞法分析-Antlr-1 810次閱讀
- 嵌入式軟件架構(gòu)設(shè)計之狀態(tài)機 2145次閱讀
- 什么是光纖陣列FA（Fiber Array）？ 2778次閱讀
- 數(shù)字二進制計數(shù)器的設(shè)計和實現(xiàn) 1868次閱讀
- AutoML：訓(xùn)練模型以識別凹坑 2633次閱讀
- 自動控制的電動機可逆運行電路 6273次閱讀
- 自動機器學(xué)習(xí)的研究動機 4023次閱讀
- 拆解移動機器人視覺算法 5660次閱讀
- 自動白平衡算法 7697次閱讀
- PCB行業(yè)新技能：自動化設(shè)備+工業(yè)機器人 5307次閱讀
- 新算法教你實現(xiàn)濾波器低通到高通的轉(zhuǎn)換 1.3w次閱讀
- 華氏度與攝氏度的換算在線計算 溫度轉(zhuǎn)換公式大全 1.5w次閱讀
- 常用度量衡單位及換算法表(近似值) 1538次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 8基于單片機的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關(guān)電源設(shè)計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
工商網(wǎng)監(jiān)
評論