已閱讀1頁,還剩74頁未讀, 繼續(xù)免費閱讀
版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
1、 LTLNFBA: LTLNFBA: LTL LTL 公式到 公式到 Büchi chi 自動機的轉換 自動機的轉換 作者姓名 作者姓名 宋俊 宋俊 學校導師姓名、職稱 學校導師姓名、職稱 田聰 田聰 教授 教授 領 域 計算機技術 計算機技術 企業(yè)導師姓名、職稱 企業(yè)導師姓名、職稱 朱立明 朱立明 高工 高工 申請學位類別 申請學位類別 工程碩士 工程
2、碩士 提交 提交學位 學位論文日期 論文日期 20 2014 14 年 12 月 10701 10701 1203121884 1203121884 TN82 TN82 TP301.1 P301.1 公開 公開 西安電子科技大學 西安電子科技大學 碩士學位論文 碩士學位論文 LTLNFBA: LTLNFBA: LTL LTL 公式到 公式到 Büchi chi 自動機的轉換 自動機的轉換
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- Uppaal時間自動機規(guī)格說明到PVS時間自動機模板的轉換.pdf
- uml2.0序列圖到事件確定有限自動機轉換的研究
- ac自動機
- UML時序圖模型到UPPAAL時間自動機模型轉換方法研究和工具實現.pdf
- 循環(huán)有限自動機和有限自動機的路代數.pdf
- 樹自動機與模糊樹自動機的代數性質.pdf
- 用DNA分子自動機模擬有窮自動機.pdf
- 有限自動機理論05章下推自動機
- 初等元胞自動機的演化及模糊元胞自動機.pdf
- UML協作圖到自動機觀測模型轉化方法的研究.pdf
- 元胞自動機模型應用及模糊元胞自動機.pdf
- 同步格值自動機和同步格值有限自動機.pdf
- 環(huán)境自動機的學習.pdf
- 公式時鐘自動機——一種新的形式化驗證工具.pdf
- 有限自動機的化合與等價于(輸入)存貯線性有限自動機問題.pdf
- 幾類自動機的性質探討.pdf
- 域上的有限自動機.pdf
- 模糊有限自動機與基于量子邏輯的自動機的一些拓撲性質.pdf
- DNA分子自動機網絡.pdf
- 量子自動機的乘積研究.pdf
評論
0/150
提交評論