引言
基于Web瀏覽器的操作平臺是采用B/S結構實現(xiàn)的。但 在實際文字編版中，數(shù)學公式、化學符號、生物圖本、音樂樂 譜等特殊非文本符號的存儲嵌入極為困難。本文討論采用編 碼嵌入法鏈接原始圖形對象的實現(xiàn)技術與方法，引入自動機 技術實現(xiàn)了編碼在文本中的識別問題。
1自動機理論的發(fā)展與原理
自動機的結構理論是自動機抽象理論的進一步發(fā)展。結 構理論研究的重點是自動機的綜合、由元自動機構造自動機以 及對輸入和輸出通道傳遞的元信號進行編碼的方法。
由于設計新型電子計算機的迫切需要，數(shù)字自動機的結 構理論得到迅速的發(fā)展。通用電子數(shù)字計算機可以看作更廣 泛的數(shù)字自動機中的一類。數(shù)字自動機的結構理論涉及布爾代 數(shù)、命題演算、謂詞演算和信息論的有關問題。數(shù)字自動機的 結構理論與數(shù)字自動機的綜合問題直接相關，包括抽象綜合、 組合綜合、結構綜合、部件綜合和可靠性綜合。1938年C.E.香 農(nóng)就用布爾代數(shù)解決繼電網(wǎng)絡的組合綜合，后來用于電子計算 機邏輯網(wǎng)絡的綜合。20世紀40年代蘇聯(lián)學者B.H.舍斯塔科 夫解決了數(shù)字自動機的結構綜合和部件綜合問題。到50年代 S.C.克林和E.F.穆爾解決了抽象綜合問題，后來D.D.奧芬卡 姆夫和F.霍恩又進一步發(fā)展了抽象綜合。J.von諾伊曼解決了 可靠性綜合問題。到60年代蘇聯(lián)學者B.M.格羅什科夫把抽 象綜合和結構綜合結合起來，使結構理論的表達形式適合于 解決任何數(shù)字自動機的綜合問題，建立了數(shù)字自動機綜合的 一般數(shù)學理論。
由元自動機構造自動機的方法主要有兩類：第一類“級 聯(lián)方法”，即用串聯(lián)、并聯(lián)和混聯(lián)方法把若干臺元自動機聯(lián)成 一臺自動機，它具有樹狀、星狀、網(wǎng)狀等多種拓撲結構。級聯(lián) 方法的逆問題是級聯(lián)分解問題，自動機的級聯(lián)分解與大系統(tǒng) 的分解等價。有限自動機的級聯(lián)分解問題與有限自動機的半群 結構有關，可以根據(jù)半群的結構理論和群的整除性理論解決。 已經(jīng)證明有限自動機級聯(lián)分解定理。第二類“鄰域連接方法”, 現(xiàn)已發(fā)展成為細胞自動機理論，在一致結構的大規(guī)模集成電 路和并行計算機中得到廣泛應用。
2解決方案
以試題為例。系統(tǒng)中試題全部采用文本方式存儲，試題 中的公式、圖形等元素用特殊的編碼代替。例如：
“計算姬廣伽"+。腳的值：（）”
我們存儲為：
“計算 @A010001 的值：（）”
其中“@A010001”表示圖形X"巴/伽）/（1+ e'）dt在數(shù) 據(jù)庫中的編碼值，A01表示學科編碼，0001為該圖形編號。
3數(shù)據(jù)模型
數(shù)據(jù)存儲結構如圖1所示：
圖1數(shù)據(jù)存儲結構E-R圖
4算法模型
在試題讀取時，采用狀態(tài)機實現(xiàn)如圖2所示。
圖2中0狀態(tài)向屏幕輸出；1狀態(tài)進入圖形識別狀態(tài)；2 狀態(tài)識別學科門類頭字符；3狀態(tài)開始選取學科門類；4狀態(tài) 讀取鏈接文件并顯示在屏幕上。
圖2嵌入式內(nèi)容識別狀態(tài)圖
5程序算法描述
算法如下：
Char s[]=” 5.計算：@A010001 的值：()
Int i=0 ；
Char f[8]；
各狀態(tài)算法如表1所列。
6結語
綜上所述，利用有限自動機，簡化了實現(xiàn)過程，解決了 圖形(化學符號、生物圖本、音樂樂譜等)在網(wǎng)頁上的顯示問題。 算法簡化了分析過程，實現(xiàn)了 JSP語言應用的技術難題，也為 我們解決相關難題提供了新的思路，應用前景良好。
下載文檔
