自動(dòng)機(jī)在文本嵌入鏈接圖形存儲(chǔ)策略中的應(yīng)用

引言

基于Web瀏覽器的操作平臺(tái)是采用B/S結(jié)構(gòu)實(shí)現(xiàn)的。但 在實(shí)際文字編版中，數(shù)學(xué)公式、化學(xué)符號(hào)、生物圖本、音樂(lè)樂(lè) 譜等特殊非文本符號(hào)的存儲(chǔ)嵌入極為困難。本文討論采用編 碼嵌入法鏈接原始圖形對(duì)象的實(shí)現(xiàn)技術(shù)與方法，引入自動(dòng)機(jī) 技術(shù)實(shí)現(xiàn)了編碼在文本中的識(shí)別問(wèn)題。

1自動(dòng)機(jī)理論的發(fā)展與原理

自動(dòng)機(jī)的結(jié)構(gòu)理論是自動(dòng)機(jī)抽象理論的進(jìn)一步發(fā)展。結(jié) 構(gòu)理論研究的重點(diǎn)是自動(dòng)機(jī)的綜合、由元自動(dòng)機(jī)構(gòu)造自動(dòng)機(jī)以 及對(duì)輸入和輸出通道傳遞的元信號(hào)進(jìn)行編碼的方法。

由于設(shè)計(jì)新型電子計(jì)算機(jī)的迫切需要，數(shù)字自動(dòng)機(jī)的結(jié) 構(gòu)理論得到迅速的發(fā)展。通用電子數(shù)字計(jì)算機(jī)可以看作更廣 泛的數(shù)字自動(dòng)機(jī)中的一類。數(shù)字自動(dòng)機(jī)的結(jié)構(gòu)理論涉及布爾代 數(shù)、命題演算、謂詞演算和信息論的有關(guān)問(wèn)題。數(shù)字自動(dòng)機(jī)的 結(jié)構(gòu)理論與數(shù)字自動(dòng)機(jī)的綜合問(wèn)題直接相關(guān)，包括抽象綜合、 組合綜合、結(jié)構(gòu)綜合、部件綜合和可靠性綜合。1938年C.E.香 農(nóng)就用布爾代數(shù)解決繼電網(wǎng)絡(luò)的組合綜合，后來(lái)用于電子計(jì)算 機(jī)邏輯網(wǎng)絡(luò)的綜合。20世紀(jì)40年代蘇聯(lián)學(xué)者B.H.舍斯塔科 夫解決了數(shù)字自動(dòng)機(jī)的結(jié)構(gòu)綜合和部件綜合問(wèn)題。到50年代 S.C.克林和E.F.穆爾解決了抽象綜合問(wèn)題，后來(lái)D.D.奧芬卡 姆夫和F.霍恩又進(jìn)一步發(fā)展了抽象綜合。J.von諾伊曼解決了 可靠性綜合問(wèn)題。到60年代蘇聯(lián)學(xué)者B.M.格羅什科夫把抽 象綜合和結(jié)構(gòu)綜合結(jié)合起來(lái)，使結(jié)構(gòu)理論的表達(dá)形式適合于 解決任何數(shù)字自動(dòng)機(jī)的綜合問(wèn)題，建立了數(shù)字自動(dòng)機(jī)綜合的 一般數(shù)學(xué)理論。

由元自動(dòng)機(jī)構(gòu)造自動(dòng)機(jī)的方法主要有兩類：第一類“級(jí) 聯(lián)方法”，即用串聯(lián)、并聯(lián)和混聯(lián)方法把若干臺(tái)元自動(dòng)機(jī)聯(lián)成 一臺(tái)自動(dòng)機(jī)，它具有樹狀、星狀、網(wǎng)狀等多種拓?fù)浣Y(jié)構(gòu)。級(jí)聯(lián) 方法的逆問(wèn)題是級(jí)聯(lián)分解問(wèn)題，自動(dòng)機(jī)的級(jí)聯(lián)分解與大系統(tǒng) 的分解等價(jià)。有限自動(dòng)機(jī)的級(jí)聯(lián)分解問(wèn)題與有限自動(dòng)機(jī)的半群 結(jié)構(gòu)有關(guān)，可以根據(jù)半群的結(jié)構(gòu)理論和群的整除性理論解決。 已經(jīng)證明有限自動(dòng)機(jī)級(jí)聯(lián)分解定理。第二類“鄰域連接方法”, 現(xiàn)已發(fā)展成為細(xì)胞自動(dòng)機(jī)理論，在一致結(jié)構(gòu)的大規(guī)模集成電 路和并行計(jì)算機(jī)中得到廣泛應(yīng)用。

2解決方案

以試題為例。系統(tǒng)中試題全部采用文本方式存儲(chǔ)，試題 中的公式、圖形等元素用特殊的編碼代替。例如：

“計(jì)算姬廣伽"+。腳的值：（）”

我們存儲(chǔ)為：

“計(jì)算 @A010001 的值：（）”

其中“@A010001”表示圖形X"巴/伽）/（1+ e'）dt在數(shù) 據(jù)庫(kù)中的編碼值，A01表示學(xué)科編碼，0001為該圖形編號(hào)。

3數(shù)據(jù)模型

數(shù)據(jù)存儲(chǔ)結(jié)構(gòu)如圖1所示：

圖1數(shù)據(jù)存儲(chǔ)結(jié)構(gòu)E-R圖

4算法模型

在試題讀取時(shí)，采用狀態(tài)機(jī)實(shí)現(xiàn)如圖2所示。

圖2中0狀態(tài)向屏幕輸出；1狀態(tài)進(jìn)入圖形識(shí)別狀態(tài)；2 狀態(tài)識(shí)別學(xué)科門類頭字符；3狀態(tài)開始選取學(xué)科門類；4狀態(tài) 讀取鏈接文件并顯示在屏幕上。

圖2嵌入式內(nèi)容識(shí)別狀態(tài)圖

5程序算法描述

算法如下：

Char s[]=” 5.計(jì)算：@A010001 的值：()

Int i=0 ；

Char f[8]；

各狀態(tài)算法如表1所列。

6結(jié)語(yǔ)

綜上所述，利用有限自動(dòng)機(jī)，簡(jiǎn)化了實(shí)現(xiàn)過(guò)程，解決了 圖形(化學(xué)符號(hào)、生物圖本、音樂(lè)樂(lè)譜等)在網(wǎng)頁(yè)上的顯示問(wèn)題。 算法簡(jiǎn)化了分析過(guò)程，實(shí)現(xiàn)了 JSP語(yǔ)言應(yīng)用的技術(shù)難題，也為 我們解決相關(guān)難題提供了新的思路，應(yīng)用前景良好。

20211223_61c43834d835b__自動(dòng)機(jī)在文本嵌入鏈接圖形存儲(chǔ)策略中的應(yīng)用