本文討論的實施方式涉及數(shù)據(jù)檢索技術(shù)。

背景技術(shù)：
在諸如html的標(biāo)記語言中，利用由文本等表示的標(biāo)簽來指定文本的修飾信息（指定字符的大小、排版狀態(tài)等）?；谛揎椥畔⒌男揎椀氖纠ㄟ@樣的修飾：通過多種不同的表述(notation)（例如，設(shè)置有讀音的字符串的表述、設(shè)置有拼音的中文的表述等）利用字符信息來書寫具有一個含義的語言單位（構(gòu)成語言的單位，例如單詞和字符）。在通過標(biāo)記語言書寫的文本中，通過標(biāo)簽指定表述（顯示規(guī)則，例如顯示位置和顯示大?。?。例如，在ruby注解(rubyannotation)被提供給字符串的情況下，通過標(biāo)簽來區(qū)分是針對讀音字符指定的表述還是針對要設(shè)置讀音的字符（親字符）指定的表述?；谥付╮uby注解的標(biāo)簽，親字符和讀音字符（或表述）被同時記載（adscript）。在html中，通過諸如“<ruby><rb>七夕</rb><rp>(</rp><rt>"ta""na""ba""ta"</rt><rp>)</rp><rb>祭</rb><rp>(</rp><rt>"ma""tsu"</rt><rp>)</rp></ruby>"ri"”的描述（描述D1）來表示“七夕祭“ri””的字符信息的一部分（七、夕和祭各自表示原說明中與一個字符碼對應(yīng)的一個中文字符，“ri”表示與一個字符碼（UTF-8中的0xE3828A）對應(yīng)的一個平假名字符り）。在描述D1的情況下，“七夕”（七和夕各自表示原說明中的一個中文字符）為親字符，“"ta""na""ba""ta"”（"ta"、"na"和"ba"以及"ri"各自表示原說明中的一個平假名字符）為讀音字符。當(dāng)不包括標(biāo)簽信息時，描述D1為“七夕..."ta""na""ba""ta"...祭..."ma""tsu"..."ri"”。因此，當(dāng)利用諸如“七夕祭"ri"”的檢索字符串執(zhí)行檢索時，確定“七夕..."ta""na""ba""ta"...祭..."ma""tsu"..."ri"”與檢索字符串不一致。對于這種問題，已經(jīng)公開了這樣的技術(shù)：將用于區(qū)分沒有讀音的字符串、親字符和讀音字符的信息與作為檢索對象的文檔中的字符信息（除標(biāo)簽之外）關(guān)聯(lián)，以僅將檢索字符串與區(qū)分信息所關(guān)聯(lián)的字符（與和檢索字符串的第一字符一致的字符相同）進(jìn)行核對。當(dāng)在核對中檢索字符串的開頭與親字符彼此一致時，跳過與存在于下一親字符之前的讀音字符的核對，執(zhí)行與存在于所跳過的讀音字符之后的親字符的核對。然而，當(dāng)檢索字符串的開頭字符與親字符一致時，跳過與讀音的核對。因此，當(dāng)檢索字符串的一部分與親字符一致，而其它部分與讀音字符一致時，確定檢索字符串與文檔中的字符信息不一致。例如，確定描述D1中不包括諸如“七夕"ma""tsu""ri""和""ta""na""ba""ta"祭"ri"”的檢索字符串。例如，公布了日本特開2003-330917號公報。

技術(shù)實現(xiàn)要素：
根據(jù)本發(fā)明的一方面，一種檢索裝置包括處理器，該處理器被配置為：接收檢索字符信息；在文檔數(shù)據(jù)包括表明同時記載了第一字符信息和第二字符信息的指定的情況下，將指示所述檢索字符信息的核對處理的狀態(tài)的狀態(tài)信息復(fù)制到所述文檔數(shù)據(jù)中的所述指定前面的第三字符信息上；基于所述第一字符信息與所述檢索字符信息的核對結(jié)果更新所述狀態(tài)信息；以及基于所述第二字符信息與所述檢索字符信息的核對結(jié)果更新復(fù)制狀態(tài)信息。通過權(quán)利要求中具體指出的元件和組合，將實現(xiàn)并獲得本發(fā)明的目的和優(yōu)點應(yīng)當(dāng)理解，以上總體描述和以下詳細(xì)描述均是示例性和說明性的，并非對要求保護(hù)的本發(fā)明的限制。附圖說明圖1示出計算機(jī)的功能塊的示例；圖2是自動機(jī)的示例性示圖；圖3示出自動機(jī)的數(shù)據(jù)配置示例；圖4示出狀態(tài)信息的示例；圖5示出指示與檢索字符串一致的部分的表的示例；圖6示出存儲區(qū)域的時間序列變化；圖7示出包括計算機(jī)的示例性系統(tǒng)配置；圖8示出計算機(jī)的示例性硬件配置；圖9示出計算機(jī)的示例性軟件配置；圖10示出由檢索單元執(zhí)行的檢索處理的示例性流程圖；圖11示出自動機(jī)生成流程圖；圖12A示出核對的示例性流程圖；圖12B示出核對的示例性流程圖；圖13A是自動機(jī)的示例性示圖；圖13B是自動機(jī)的示例性示圖；圖14A示出存儲區(qū)域的時間序列變化；圖14B示出存儲區(qū)域的時間序列變化；以及圖15示出存儲區(qū)域的時間序列變化。具體實施方式圖1示出根據(jù)第一實施方式的計算機(jī)1的功能塊的示例。計算機(jī)1包括檢索單元11和存儲單元12。例如，存儲單元12存儲文件組F1至Fn（檢索對象）。檢索單元11針對存儲在存儲單元12中的文件組F1至Fn執(zhí)行檢索。檢索單元11包括接收單元13、生成單元14、讀出單元15、檢測單元16、核對單元17和輸出單元18。接收單元13接收包括對檢索字符串的指定的檢索請求。生成單元14基于包括在由接收單元13接收到的檢索請求中的檢索字符串生成自動機(jī)。讀出單元15執(zhí)行對作為檢索對象的文件組F1至Fn的讀出控制。檢測單元16從通過讀出單元15的控制讀出的文件（稱作文件Fi）檢測以多種表述顯示具有一個含義的字符信息的指定。當(dāng)檢測單元16檢測到以多種表述顯示具有一個含義的字符信息的指定（例如，指定插入讀音的標(biāo)簽信息）時，檢測單元16將包括所述指定的部分通知給核對單元17。核對單元17利用由生成單元14生成的自動機(jī)在由讀出單元15讀出的文件（稱作文件Fi）中的字符信息與檢索字符串之間執(zhí)行核對。當(dāng)核對單元17接收到來自檢測單元16的通知時，核對單元17復(fù)制所述通知中指示的部分處的狀態(tài)信息（指示自動機(jī)的狀態(tài)），以獲得兩條狀態(tài)信息。另外，核對單元17針對一條狀態(tài)信息反映與具有重疊的語義內(nèi)容的一個字符串的核對結(jié)果，針對另一條狀態(tài)信息反映與具有重疊的語義內(nèi)容的另一字符串的核對結(jié)果。輸出單元18輸出由核對單元17執(zhí)行的核對的結(jié)果。圖2是由生成單元14生成的自動機(jī)的模型示圖。圖2所示的自動機(jī)對應(yīng)于檢索字符串“七夕"ma""tsu""ri"”。核對單元17針對從作為檢索對象的文件順序地讀取的每一條字符信息確定字符信息是否滿足自動機(jī)中包括的狀態(tài)轉(zhuǎn)換條件。首先，每當(dāng)核對單元17從由讀出單元15讀取的文件Fi讀出字符信息時，例如，核對單元17重復(fù)地確定字符信息是否滿足自動機(jī)的初始狀態(tài)下的轉(zhuǎn)換條件。即，核對單元17從文件Fi順序地讀出字符信息，以將該字符信息與轉(zhuǎn)換條件1（從初始狀態(tài)（0）轉(zhuǎn)換為后續(xù)狀態(tài)（1）的條件）的七的字符信息進(jìn)行核對。當(dāng)在核對結(jié)果中，從文件Fi讀取的字符信息與轉(zhuǎn)換條件1的七一致時，核對單元17將自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)闋顟B(tài)（1）。當(dāng)自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)闋顟B(tài)（1）時，核對單元17確定字符信息是否滿足狀態(tài)（1）下的轉(zhuǎn)換條件。即，核對單元17將轉(zhuǎn)換為狀態(tài)（1）之后從文件Fi讀取的字符信息與轉(zhuǎn)換條件1（從狀態(tài)（1）轉(zhuǎn)換為狀態(tài)（2）的條件）的夕的字符信息進(jìn)行核對。當(dāng)在核對結(jié)果中，讀出的字符信息與夕的字符信息一致時，核對單元17將自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)闋顟B(tài)（2）。另外，核對單元17將讀出的字符信息與轉(zhuǎn)換條件2（從狀態(tài)（1）轉(zhuǎn)換為狀態(tài)（1）的條件）的七的字符信息進(jìn)行核對。當(dāng)在核對結(jié)果中，讀出的字符信息與七的字符信息一致時，核對單元17將自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)闋顟B(tài)（1）。當(dāng)在核對結(jié)果中，讀出的字符信息既不與轉(zhuǎn)換條件1一致，也不與轉(zhuǎn)換條件2一致時，核對單元17將自動機(jī)的狀態(tài)返回至初始狀態(tài)（0）。當(dāng)自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)闋顟B(tài)（2）時，核對單元17確定字符信息是否滿足狀態(tài)（2）下的轉(zhuǎn)換條件。即，核對單元17將轉(zhuǎn)換為狀態(tài)（2）之后從文件Fi讀取的字符信息與轉(zhuǎn)換條件1（從狀態(tài)（2）轉(zhuǎn)換為狀態(tài)（3）的條件）的"ma"的字符信息進(jìn)行核對。當(dāng)在核對結(jié)果中，讀出的字符信息與"ma"的字符信息一致時，核對單元17將自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)闋顟B(tài)（3）。另外，核對單元17將讀出的字符信息與轉(zhuǎn)換條件2（從狀態(tài)（2）轉(zhuǎn)換為狀態(tài)（1）的條件）的七的字符信息進(jìn)行核對。當(dāng)在核對結(jié)果中，讀出的字符信息與七的字符信息一致時，核對單元17將自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)闋顟B(tài)（1）。當(dāng)在核對結(jié)果中，讀出的字符信息既不與轉(zhuǎn)換條件1一致，也不與轉(zhuǎn)換條件2一致時，核對單元17將自動機(jī)的狀態(tài)返回至初始狀態(tài)（0）。當(dāng)自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)闋顟B(tài)（3）時，核對單元17確定字符信息是否滿足狀態(tài)（3）下的轉(zhuǎn)換條件。即，核對單元17將轉(zhuǎn)換為狀態(tài)（3）之后從文件Fi讀取的字符信息與轉(zhuǎn)換條件1（從狀態(tài)（3）轉(zhuǎn)換為狀態(tài)（4）的條件）的"tsu"的字符信息進(jìn)行核對。當(dāng)在核對結(jié)果中，讀出的字符信息與"tsu"的字符信息一致時，核對單元17將自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)闋顟B(tài)（4）。另外，核對單元17將讀出的字符信息與轉(zhuǎn)換條件2（從狀態(tài)（3）轉(zhuǎn)換為狀態(tài)（1）的條件）的七的字符信息進(jìn)行核對。當(dāng)在核對結(jié)果中，讀出的字符信息與七的字符信息一致時，核對單元17將自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)闋顟B(tài)（1）。當(dāng)在核對結(jié)果中，讀出的字符信息既不與轉(zhuǎn)換條件1一致，也不與轉(zhuǎn)換條件2一致時，核對單元17將自動機(jī)的狀態(tài)返回至初始狀態(tài)（0）。當(dāng)自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)闋顟B(tài)（4）時，核對單元17確定字符信息是否滿足狀態(tài)（4）下的轉(zhuǎn)換條件。即，核對單元17將轉(zhuǎn)換為狀態(tài)（4）之后從文件Fi讀取的字符信息與轉(zhuǎn)換條件1（從狀態(tài)（4）轉(zhuǎn)換為狀態(tài)（F）的條件）的"ri"的字符信息進(jìn)行核對。當(dāng)在核對結(jié)果中，讀出的字符信息與"ri"的字符信息一致時，核對單元17將自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)闋顟B(tài)（F）。另外，核對單元17將讀出的字符信息與轉(zhuǎn)換條件2（從狀態(tài)（4）轉(zhuǎn)換為狀態(tài)（1）的條件）的七的字符信息進(jìn)行核對。當(dāng)在核對結(jié)果中，讀出的字符信息與七的字符信息一致時，核對單元17將自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)闋顟B(tài)（1）。當(dāng)在核對結(jié)果中，讀出的字符信息既不與轉(zhuǎn)換條件1一致，也不與轉(zhuǎn)換條件2一致時，核對單元17將自動機(jī)的狀態(tài)返回至初始狀態(tài)（0）。當(dāng)自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)闋顟B(tài)（F）時，核對單元17將這樣的信息存儲在存儲單元12中，該信息使得在轉(zhuǎn)換為狀態(tài)（F）時讀取的字符信息能夠被指定。例如，存儲在存儲單元12中的信息是與檢索字符串一致的字符串在文件Fi中的位置。例如，指示文件Fi中的位置的信息可以是從開始讀出文件Fi到轉(zhuǎn)換為狀態(tài)（F）為止讀取的字符信息的條數(shù)。核對單元17按照上述過程順序地執(zhí)行自動機(jī)的狀態(tài)轉(zhuǎn)換的確定。因此，當(dāng)核對單元17按照七→夕→"ma"→"tsu"→"ri"的順序從文件Fi連續(xù)讀出字符信息時，核對單元17確定包括了檢索字符串“七夕"ma""tsu""ri"”?，F(xiàn)在更詳細(xì)地描述由核對單元17執(zhí)行的自動機(jī)的各個狀態(tài)轉(zhuǎn)換的確定。圖3示出圖2的模型示圖中所示的自動機(jī)的數(shù)據(jù)配置（表T1）。圖3所示的表T1指示在圖2所示的自動機(jī)的各個狀態(tài)是轉(zhuǎn)換源狀態(tài)的情況下的轉(zhuǎn)換目標(biāo)狀態(tài)和轉(zhuǎn)換條件。在表T1中，轉(zhuǎn)換條件1和轉(zhuǎn)換目標(biāo)狀態(tài)1的組合、轉(zhuǎn)換條件2和轉(zhuǎn)換目標(biāo)狀態(tài)2的組合以及轉(zhuǎn)換目標(biāo)狀態(tài)3與各個轉(zhuǎn)換源狀態(tài)關(guān)聯(lián)。例如，當(dāng)自動機(jī)的狀態(tài)為初始狀態(tài)（0），并且滿足轉(zhuǎn)換條件1（在圖2的示例中為七）時，自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)檗D(zhuǎn)換目標(biāo)狀態(tài)1。另外，當(dāng)滿足轉(zhuǎn)換條件2時，自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)檗D(zhuǎn)換目標(biāo)狀態(tài)2。當(dāng)既不滿足轉(zhuǎn)換條件1，也不滿足轉(zhuǎn)換條件2時，自動機(jī)的狀態(tài)轉(zhuǎn)變?yōu)檗D(zhuǎn)換目標(biāo)狀態(tài)3。通過生成單元14的處理生成表T1。當(dāng)接收單元13接收到檢索字符串時，生成單元14根據(jù)包括在檢索字符串中的各條字符信息的順序生成圖3所示的表T1，以將表T1存儲在存儲單元12中。圖4示出指示狀態(tài)的狀態(tài)信息的示例。狀態(tài)信息被存儲在圖4所示的存儲區(qū)域R0中。存儲區(qū)域R0可以是存儲單元12中設(shè)置的存儲區(qū)域，或者是檢索單元11中包括的寄存器中的存儲區(qū)域。例如，假設(shè)存儲區(qū)域R0是由地址"000"指示的存儲區(qū)域。在使用多條狀態(tài)信息的情況下，使用與存儲區(qū)域R0毗鄰的存儲區(qū)域R1（例如，由與通過使存儲區(qū)域R0的地址遞增而獲得的值對應(yīng)的地址"001"指示的存儲區(qū)域）。核對單元17通過參照存儲在存儲單元12中的表T1以及存儲在存儲區(qū)域中的狀態(tài)信息來執(zhí)行核對（已參照圖2的模型示圖進(jìn)行了描述）。例如，核對單元17通過參照存儲區(qū)域R0獲取狀態(tài)信息，并從存儲在存儲單元12中的表T1提取這樣的記錄：其中，所獲取的狀態(tài)信息中指示的狀態(tài)被設(shè)置為轉(zhuǎn)換源狀態(tài)。隨后，核對單元17從文件Fi獲取字符信息，并確定獲取的字符信息是否滿足所提取的記錄中指示的轉(zhuǎn)換條件。另外，當(dāng)所獲取的字符信息滿足轉(zhuǎn)換條件時，核對單元17將存儲在存儲區(qū)域R0中的狀態(tài)信息更新為指示與所滿足的轉(zhuǎn)換條件對應(yīng)的轉(zhuǎn)換目標(biāo)狀態(tài)的狀態(tài)信息。當(dāng)所獲取的字符信息不滿足轉(zhuǎn)換條件時，核對單元17將存儲在存儲區(qū)域R0中的狀態(tài)信息更新為指示初始狀態(tài)（0）的狀態(tài)信息。當(dāng)核對單元17開始核對文件Fi時，核對單元17首先在存儲區(qū)域R0中保存指示初始狀態(tài)（0）的狀態(tài)信息。例如，當(dāng)存儲區(qū)域R0中保存的信息指示初始狀態(tài)（0），并且核對單元17從文件Fi讀出七的字符信息時，核對單元17將保存在存儲區(qū)域R0中的狀態(tài)信息從指示初始狀態(tài)（0）的狀態(tài)信息更新為指示狀態(tài)（1）的狀態(tài)信息。當(dāng)指示狀態(tài)（F）的狀態(tài)信息保存在存儲區(qū)域R0中時，核對單元17確定與檢索字符串“七夕"ma""tsu""ri"”一致，并將指示文件Fi中與檢索字符串一致的部分的信息存儲在存儲單元12的表T2中。圖5示出表T2。表T2將用于標(biāo)識文件Fi（包括與檢索字符串一致的字符信息）的信息與指示文件中的位置的信息關(guān)聯(lián)。現(xiàn)在描述在核對單元17接收到來自檢測單元16的通知的情況下核對單元17的控制。在由核對單元17執(zhí)行的從文件Fi讀出字符信息的過程中，檢測單元16確定文檔數(shù)據(jù)中是否包括以多種表述顯示具有一個含義的字符信息的指定。例如，所述指定是可擴(kuò)展超文本標(biāo)記語言（xhtml）等中的<ruby>標(biāo)簽、<rb>、<rt>等，其為指定讀音表述的標(biāo)簽信息。在使用xhtml的文檔數(shù)據(jù)中，在插于<ruby>標(biāo)簽之間的范圍內(nèi)，插于<rb>標(biāo)簽之間的字符信息被寫為親字符，插于<rt>標(biāo)簽之間的字符信息被寫為讀音字符。例如，當(dāng)檢測單元16檢測到<rb>標(biāo)簽時，檢測單元16通知核對單元17檢測到<rb>標(biāo)簽。當(dāng)核對單元17接收到所述通知，并檢測到<rb>標(biāo)簽是從文件Fi讀出時，例如，核對單元17復(fù)制保存在存儲區(qū)域R0中的狀態(tài)信息，并使得存儲區(qū)域R1能夠保存所述狀態(tài)信息。另外，核對單元17針對通過復(fù)制獲得的一條狀態(tài)信息（存儲在存儲區(qū)域R0中）通過讀音的親字符（插于<rb>標(biāo)簽之間的字符信息）反映自動機(jī)轉(zhuǎn)換，針對通過復(fù)制獲得的另一條狀態(tài)信息（存儲在存儲區(qū)域R1中）通過讀音字符（插于<rt>標(biāo)簽之間的字符信息）反映自動機(jī)轉(zhuǎn)換。例如，假設(shè)在狀態(tài)信息指示初始狀態(tài)（0）時從文件Fi讀取描述D1。另外，假設(shè)檢索字符串為“七夕"ma""tsu""ri"”。圖6示出在讀出描述D1的情況下存儲區(qū)域R0至R5的時間序列變化。首先，假設(shè)在讀出描述D1之前，存儲在存儲區(qū)域R0中的狀態(tài)信息為“0”，存儲在存儲區(qū)域R0至R5中的信息如（S1）所示。當(dāng)核對單元17接收到來自檢測單元16的通知，并檢測到<rb>標(biāo)簽時，核對單元17將存儲在存儲區(qū)域R0中的狀態(tài)信息存儲在存儲區(qū)域R1中。在這種情況下，存儲在存儲區(qū)域R0至R5中的信息如（S2）所示。例如，根據(jù)作為復(fù)制源的存儲區(qū)域以及復(fù)制的重復(fù)次數(shù)來確定要作為復(fù)制目標(biāo)的存儲區(qū)域。當(dāng)核對單元17復(fù)制存儲在存儲區(qū)域R0中的狀態(tài)信息時，由于第一次復(fù)制，核對單元17將存儲在存儲區(qū)域R0中的狀態(tài)信息復(fù)制到存儲區(qū)域R1（由地址"001"指示）上。在這種情況下，地址的最低數(shù)位的值為"0"的存儲區(qū)域是復(fù)制源，地址的最低數(shù)位的值為"1"的存儲區(qū)域是復(fù)制目標(biāo)。當(dāng)進(jìn)一步執(zhí)行復(fù)制時，由于第二次復(fù)制，地址的次低數(shù)位的值為"0"的存儲區(qū)域（由諸如000和001的地址指示的存儲區(qū)域）的狀態(tài)信息被復(fù)制到地址的次低數(shù)位的值為"1"的存儲區(qū)域（由諸如010和011的地址指示的存儲區(qū)域）上。上述尋址使得即使多次檢測到<rb>標(biāo)簽時，也能夠通過插于<rb>標(biāo)簽之間的字符信息的核對以及插于<rt>標(biāo)簽之間的字符信息的核對來切換反映核對結(jié)果的存儲區(qū)域。例如，核對單元17在第一次檢測到<rb>標(biāo)簽時根據(jù)地址的最低數(shù)位的值"0"或"1"切換存儲區(qū)域，在第二次檢測到<rb>標(biāo)簽時，根據(jù)地址的次低數(shù)位的值"0"或"1"切換存儲區(qū)域。隨后，核對單元17參照存儲區(qū)域R0（由地址"000"指示）的狀態(tài)信息和自動機(jī)（表T1），以讀出轉(zhuǎn)換條件。另外，核對單元17確定從文件Fi的插于<rb>標(biāo)簽之間的范圍讀取的開頭字符七是否滿足該轉(zhuǎn)換條件。在這種情況下，檢索字符串為“七夕"ma""tsu""ri"”，從文件Fi讀取的開頭字符為七，使得存儲在存儲區(qū)域R0中的狀態(tài)信息從初始狀態(tài)（0）更新為狀態(tài)（1）。另外，核對單元17確定在七之后讀取的夕是否滿足從狀態(tài)（1）轉(zhuǎn)換為狀態(tài)（2）的條件。在這種情況下，夕滿足從狀態(tài)（1）轉(zhuǎn)換為狀態(tài)（2）的條件，使得核對單元17將存儲在存儲區(qū)域R0中的狀態(tài)信息更新為指示狀態(tài)（2）的狀態(tài)信息。在這種情況下存儲在存儲區(qū)域R0至R5中的信息如（S3）所示。核對單元17在夕的處理之后針對插于<rt>標(biāo)簽之間的"ta"執(zhí)行核對。核對單元17參照存儲區(qū)域R1（由地址"001"指示）以及表T1，以讀出轉(zhuǎn)換條件。讀出的字符信息"ta"與轉(zhuǎn)換為狀態(tài)（1）的條件七不一致，使得存儲在存儲區(qū)域R1中的狀態(tài)信息仍為初始狀態(tài)（0）。當(dāng)核對單元17從文件Fi讀出"na"、"ba"和"ta"中的任一個時，與"ta"的情況一樣，核對單元17將存儲在存儲區(qū)域R1中的狀態(tài)信息保持為初始狀態(tài)（0）。在這種情況下存儲在存儲區(qū)域R0至R5中的信息如（S4）所示。然后，檢測單元16檢測<rb>標(biāo)簽的讀出，核對單元17進(jìn)一步復(fù)制狀態(tài)信息。例如，存儲在存儲區(qū)域R0中的狀態(tài)信息被復(fù)制到存儲區(qū)域R2（由地址"010"指示）上，存儲在存儲區(qū)域R1中的狀態(tài)信息被復(fù)制到存儲區(qū)域R3（由地址"011"指示）上。在這種情況下存儲在存儲區(qū)域R0至R5中的信息如（S5）所示。隨后，核對單元17針對存儲在地址的第二數(shù)位為"0"的存儲區(qū)域（存儲區(qū)域R0和存儲區(qū)域R1）中的各個狀態(tài)信息基于插于<rb>標(biāo)簽之間的字符信息祭執(zhí)行轉(zhuǎn)換。存儲在存儲區(qū)域R0中的狀態(tài)信息指示狀態(tài)（2），使得轉(zhuǎn)換條件與"ma"一致。讀出的字符為祭，與"ma"不一致，使得存儲在存儲區(qū)域R0中的狀態(tài)信息被更新為狀態(tài)（0）。存儲在存儲區(qū)域R1中的狀態(tài)信息指示初始狀態(tài)（0），與轉(zhuǎn)換條件七不一致，使得存儲區(qū)域R1的狀態(tài)信息仍為初始狀態(tài)（0）。在這種情況下存儲在存儲區(qū)域R0至R5中的信息如（S6）所示。另外，核對單元17針對存儲在地址的第二數(shù)位為"1"的存儲區(qū)域（存儲區(qū)域R2和存儲區(qū)域R3）中的各個狀態(tài)信息基于插于<rt>標(biāo)簽之間的字符信息"ma"執(zhí)行轉(zhuǎn)換。存儲在存儲區(qū)域R2中的狀態(tài)信息指示狀態(tài)（2），使得轉(zhuǎn)換條件與"ma"一致。讀出的字符為"ma"，使得存儲在存儲區(qū)域R2中的狀態(tài)信息被更新為狀態(tài)（3）。存儲在存儲區(qū)域R3中的狀態(tài)信息指示初始狀態(tài)（0），與轉(zhuǎn)換條件七不一致，使得存儲區(qū)域R3的狀態(tài)信息仍為狀態(tài)（0）。另外，核對單元17針對存儲在存儲區(qū)域R2和存儲區(qū)域R3中的各個狀態(tài)信息基于字符信息"tsu"執(zhí)行轉(zhuǎn)換。存儲區(qū)域R2的狀態(tài)信息指示狀態(tài)（3），使得轉(zhuǎn)換條件與"tsu"一致。讀出字符信息"tsu"，使得核對單元17將存儲區(qū)域R2的狀態(tài)信息更新為狀態(tài)（4）。存儲區(qū)域R3的狀態(tài)信息指示狀態(tài)（0），并且不滿足轉(zhuǎn)換條件七，使得核對單元17將存儲在存儲區(qū)域R3中的狀態(tài)信息保持為狀態(tài)（0）。在這種情況下存儲在存儲區(qū)域R0至R5中的信息如（S7）所示。當(dāng)核對單元17檢測到讀出結(jié)束讀音表述（</ruby>）的指定時，核對單元17釋放存儲多條狀態(tài)信息當(dāng)中的重疊的狀態(tài)信息的存儲區(qū)域。在上述示例中，存儲在存儲區(qū)域R0中的狀態(tài)信息、存儲在存儲區(qū)域R1中的狀態(tài)信息以及存儲在存儲區(qū)域R3中的狀態(tài)信息指示狀態(tài)（0），因而重疊。例如，核對單元17釋放存儲區(qū)域R1和存儲區(qū)域R3。另外，核對單元17針對從文件Fi讀取的字符信息繼續(xù)核對。當(dāng)讀出字符信息"ri"時，核對單元17針對存儲在存儲區(qū)域R0和存儲區(qū)域R2中的各個狀態(tài)信息執(zhí)行轉(zhuǎn)換。存儲在存儲區(qū)域R0中的狀態(tài)信息指示狀態(tài)（0）。從狀態(tài)（0）轉(zhuǎn)換為狀態(tài)（1）的條件為七。字符信息"ri"不對應(yīng)于七，使得核對單元17將存儲在存儲區(qū)域R0中的狀態(tài)信息保持為狀態(tài)（0）。存儲在存儲區(qū)域R2中的狀態(tài)信息指示狀態(tài)（4）。從狀態(tài)（4）轉(zhuǎn)換為狀態(tài)（F）的條件為"ri"，并且滿足該轉(zhuǎn)換條件，使得核對單元17將存儲在存儲區(qū)域R2中的狀態(tài)信息更新為狀態(tài)（F）。在這種情況下存儲在存儲區(qū)域R0至R5中的信息如（S8）所示。存在這種情況：文檔數(shù)據(jù)包括指定針對具有相同含義的語言單元提供多種表述的一系列部分，例如“七夕..."ta""na""ba""ta"...祭..."ma""tsu"..."ri"”。在顯示上，提供有多種表述的部分被讀取為“七夕祭"ri"”、“"ta""na""ba""ta"祭"ri"”、“七夕"ma""tsu""ri"”或“"ta""na""ba""ta""ma""tsu""ri"”。然而，文檔數(shù)據(jù)包括“七夕..."ta""na""ba""ta"...祭..."ma""tsu"..."ri"”，使得“七夕祭"ri"”、“"ta""na""ba""ta"祭"ri"”、“七夕"ma""tsu""ri"”和“"ta""na""ba""ta""ma""tsu""ri"”均不對應(yīng)于“七夕..."ta""na""ba""ta"...祭..."ma""tsu"..."ri"”。在上述核對中，在提供有多種表述的連續(xù)部分當(dāng)中，針對指定了親字符表述的字符信息“七夕”（前面的部分）的末尾（例如，夕）以及指定了讀音字符表述的字符信息“"ma""tsu""ri"”（后面的部分）的開頭（例如，"ma"）連續(xù)（例如，“夕"ma"”）的字符信息執(zhí)行核對。因此，即使諸如“"ta""na""ba""ta"”和祭的字符信息存在于“七夕..."ta""na""ba""ta"...祭..."ma""tsu"..."ri"”之間，也可進(jìn)行核對并提取“七夕"ma""tsu""ri"”作為連續(xù)的字符信息。關(guān)于上述末尾和開頭，指定了親字符表述的字符信息（前面的部分）和指定了讀音字符表述的字符信息（后面的部分）連續(xù)就足夠了。因此，字符數(shù)量不受限制。根據(jù)上述核對，即使執(zhí)行與混合有多種類型的表述的檢索字符串（例如，“七夕"ma""tsu""ri"”）的核對，也可提供一致確定。根據(jù)實施方式的一個方面，可防止在指定提供多種類型的表述的字符信息以及在基于提供多種表述的指定顯示時順序地顯示字符信息的核對字符串的情況下，確定核對字符串與指定提供多種類型的表述的字符信息彼此不一致。圖7示出包括計算機(jī)1的系統(tǒng)配置。圖7所示的系統(tǒng)包括計算機(jī)1、計算機(jī)2、存儲裝置3和網(wǎng)絡(luò)4。文件組F1至Fn被存儲在計算機(jī)1的存儲單元12中，但是例如，文件組F1至Fn可以存儲在經(jīng)由網(wǎng)絡(luò)4連接的存儲裝置3中。在這種情況下，讀出單元15不是從存儲單元12而是從存儲裝置3讀出文件組F1至Fn。圖8示出計算機(jī)1的硬件配置示例。例如，圖1所示的各個功能塊通過圖8所示的硬件配置來實現(xiàn)。例如，計算機(jī)1包括處理器301、隨機(jī)存取存儲器（RAM）302、只讀存儲器（ROM）303、驅(qū)動裝置304、存儲介質(zhì)305、輸入接口（I/F）306、輸入裝置307、輸出接口（I/F）308、輸出裝置309、通信接口（I/F）310和總線311。各個硬件經(jīng)由總線311彼此連接。通信I/F310對經(jīng)由網(wǎng)絡(luò)4的通信執(zhí)行控制。輸入接口306與輸入裝置307連接，并將從輸入裝置307接收到的輸入信號發(fā)送給處理器301。輸出接口308與輸出裝置309連接，并使得輸出裝置309能夠執(zhí)行與處理器301的指令對應(yīng)的輸出。RAM302是可讀寫的存儲裝置，例如，是諸如靜態(tài)RAM（SRAM）和動態(tài)RAM（DRAM）的半導(dǎo)體存儲器。可使用閃存來代替RAM。ROM303還包括可編程ROM（PROM）等。驅(qū)動裝置304對存儲在存儲介質(zhì)305中的信息執(zhí)行讀取和寫入中的至少一個。存儲介質(zhì)305存儲由驅(qū)動裝置304寫入的信息。例如，存儲介質(zhì)305是諸如硬盤、壓縮盤（CD）、數(shù)字多功能盤（DVD）和藍(lán)光光盤的存儲介質(zhì)。例如，計算機(jī)1還包括用于多種類型的存儲介質(zhì)中的每一種的驅(qū)動裝置304和存儲介質(zhì)305。輸入裝置307根據(jù)操作發(fā)送輸入信號。例如，輸入裝置307是附接到計算機(jī)1的機(jī)身的諸如鍵盤和按鈕的鍵裝置以及諸如鼠標(biāo)和觸摸面板的指點裝置。輸出裝置309根據(jù)計算機(jī)1的控制輸出信息。例如，輸出裝置309是諸如顯示器的圖像輸出裝置（顯示裝置）、諸如揚聲器的音頻輸出裝置等。另外，例如，諸如觸摸屏的輸入/輸出裝置被用作輸入裝置307和輸出裝置309。另選地，例如，輸入裝置307和輸出裝置309可不包括在計算機(jī)1中，而可以是從外部連接至計算機(jī)1的裝置。處理器301將存儲在ROM303和存儲介質(zhì)305中的程序讀出到RAM302上，并根據(jù)讀出的程序的過程執(zhí)行檢索單元11的處理。此時，RAM302被用作處理器301的工作區(qū)域。存儲單元12的功能被實現(xiàn)為使得ROM303和存儲介質(zhì)305存儲程序和文件組F1至Fn，并且RAM302被用作處理器301的工作區(qū)域。參照圖9描述由處理器301讀出的程序。圖9示出在計算機(jī)1中操作的軟件的配置示例?？刂茍D9所示的硬件組21的操作系統(tǒng)（OS）22在計算機(jī)1中操作。處理器301按照根據(jù)OS22的過程操作，以控制并管理硬件21。因此，通過應(yīng)用程序和中間件的處理由硬件21執(zhí)行。另外，在計算機(jī)1中，將檢索處理程序23讀出到RAM302上，以由處理器301執(zhí)行。另外，處理器301基于檢索處理程序23執(zhí)行處理（通過根據(jù)OS22控制硬件21來執(zhí)行該處理），從而實現(xiàn)檢索單元11的功能。圖10示出由檢索單元11執(zhí)行的檢索處理的流程。當(dāng)檢索處理程序23啟動時（S100），檢索單元11執(zhí)行預(yù)處理（S101）。例如，此預(yù)處理確保用于表T1和表T2的存儲區(qū)域、獲取由讀出單元15讀出的文件組F1至Fn的文件列表等。接收單元13確定是否存在檢索請求（S102）。當(dāng)接收單元13未接收到檢索請求時（S102：否），接收單元13重復(fù)所述確定，直到接收單元13接收到檢索請求為止。當(dāng)接收單元13接收到檢索請求時，生成單元14生成自動機(jī)，該自動機(jī)用于檢索字符串與文件組F1至Fn中包括的字符串之間的核對（S103）。圖11示出生成單元14基于檢索字符串生成自動機(jī)的流程的示例。圖11所示的流程可用于檢索字符串不包括字符信息重復(fù)的部分的情況，類似“七夕"ma""tsu""ri"”。例如，諸如“"de""n""de""n""mushi"”（"de"、"n"、"de"和"n"各自表示原說明中的一個平假名字符，"mushi"表示一個中文字符）的字符串包括重復(fù)的字符信息（“"de""n"”重復(fù)）。當(dāng)針對檢索字符串“"de""n""de""n""mushi"”生成自動機(jī)時，使用與圖11中不同的流程。在使用圖11所示的流程時核對對象中包括諸如“..."de""n""de""n""de""n""mushi"...”的字符串的情況下，狀態(tài)轉(zhuǎn)變直至“"de""n""de""n"”，并且后續(xù)的"de"與"mushi"不一致。因此，生成使?fàn)顟B(tài)返回至初始狀態(tài)的自動機(jī)。如果狀態(tài)返回至初始狀態(tài)，則剩余字符串“"de""n""mushi"”與“"de""n""de""n""mushi"”不一致。根據(jù)以上描述，可使用另一流程來處理包括諸如“"de""n""de""n""mushi"”的重復(fù)字符信息的檢索字符串。生成單元14響應(yīng)于接收單元13的檢索請求接收來開始處理（S200）。生成單元14首先從由接收單元13接收到的檢索請求獲取檢索字符串（S201）。然后，生成單元14對所獲取的檢索字符串的長度N進(jìn)行計數(shù)（S202）。生成單元14從0至N-1順序地選擇整數(shù)i，并重復(fù)地執(zhí)行從S204至S210的處理（S203）。生成單元14向表T1添加一條記錄（S204）。生成單元14將S204中生成的記錄的轉(zhuǎn)換源狀態(tài)設(shè)置為S203中選擇的整數(shù)"i"（S205）。另外，生成單元14將S204中生成的記錄的轉(zhuǎn)換條件設(shè)置為S201中獲取的檢索字符串的第i+1個字符（S206）。隨后，生成單元14確定整數(shù)i是否為N-1（S207）。當(dāng)整數(shù)i為N-1時（S207：是），S204中生成的記錄的轉(zhuǎn)換目標(biāo)狀態(tài)1被設(shè)置為"F（指示核對完成的信息）"（S208）。當(dāng)整數(shù)i不為N-1（S207：否），生成單元14將S204中生成的記錄的轉(zhuǎn)換目標(biāo)狀態(tài)1設(shè)置為"i+1"（S209）。另外，生成單元14將S204中生成的記錄的轉(zhuǎn)換條件2設(shè)置為檢索字符串中的第一個字符，將轉(zhuǎn)換目標(biāo)狀態(tài)2設(shè)置為1，將轉(zhuǎn)換目標(biāo)狀態(tài)3設(shè)置為"0"（S210）。在S210的處理之后，生成單元14確定i是否為N-1。當(dāng)i不為N-1時，生成單元14在S203中選擇下一整數(shù)，并執(zhí)行從S204至S210的處理（S211）。當(dāng)i為N-1時，生成單元14結(jié)束自動機(jī)生成處理（S212），執(zhí)行圖10所示的剩余檢索處理流程。描述圖10所示的剩余檢索處理流程。當(dāng)通過生成單元14的處理生成自動機(jī)時（S103），讀出單元15從文件組F1至Fn中選擇一個文件（S104）。讀出單元15從存儲單元12讀出在S104中選擇的文件Fi（S105）。當(dāng)執(zhí)行S105時，檢測單元16和核對單元17針對文件Fi中的字符信息基于由生成單元14生成的自動機(jī)執(zhí)行核對。圖12A和圖12B示出由核對單元17執(zhí)行的核對的流程。當(dāng)開始核對時（S300），核對單元17從文件Fi讀出數(shù)據(jù)（S301）。例如，數(shù)據(jù)讀出單位是標(biāo)簽信息單位、一個字符的字符信息單位等。隨后，核對單元17確定在S301中讀出的數(shù)據(jù)是否不為標(biāo)簽信息（S302）。當(dāng)在S301中讀出的數(shù)據(jù)是標(biāo)簽信息時（S302：否），檢測單元16確定讀出的標(biāo)簽信息是否為<rb>標(biāo)簽（S313）。當(dāng)讀出的標(biāo)簽信息是<rb>標(biāo)簽時（S313：是），核對單元17復(fù)制存儲在存儲區(qū)域中的狀態(tài)信息（S314）。如上所述，復(fù)制目標(biāo)的地址由復(fù)制的重復(fù)次數(shù)和復(fù)制源的地址來指定。另外，核對單元17存儲復(fù)制的重復(fù)次數(shù)（S315）。核對單元17確認(rèn)復(fù)制重復(fù)次數(shù)，并將存儲區(qū)域的地址當(dāng)中的地址的距最低數(shù)位達(dá)重復(fù)次數(shù)的數(shù)位為"0"的存儲區(qū)域中的狀態(tài)信息設(shè)置為選擇對象（S316）。即，就在之前執(zhí)行的S314的復(fù)制中的復(fù)制源的狀態(tài)信息是選擇對象。當(dāng)讀出的標(biāo)簽信息不是<rb>標(biāo)簽時（S313：否），核對單元17確定讀出的標(biāo)簽信息是否為<rt>標(biāo)簽（S317）。當(dāng)讀出的標(biāo)簽信息是<rt>標(biāo)簽時（S317：是），核對單元17確認(rèn)復(fù)制重復(fù)次數(shù)，并將存儲區(qū)域的地址當(dāng)中的地址的距最低數(shù)位達(dá)重復(fù)次數(shù)的數(shù)位為"1"的存儲區(qū)域中的狀態(tài)信息設(shè)置為選擇對象（S318）。當(dāng)執(zhí)行S316或S318的處理時，再次執(zhí)行S301的數(shù)據(jù)讀出處理。當(dāng)讀出的標(biāo)簽信息不是<rt>標(biāo)簽時（S317：否），核對單元17確定讀出的標(biāo)簽信息是否為</ruby>標(biāo)簽（S319）。當(dāng)讀出的標(biāo)簽信息是</ruby>標(biāo)簽時（S319：是），將存儲在存儲區(qū)域中的所有狀態(tài)信息設(shè)置為選擇對象（S320）。在S320中，核對單元17還設(shè)置指示重疊的狀態(tài)信息的刪除許可的標(biāo)志。在稍后描述的S310中參照此標(biāo)志。當(dāng)讀出的標(biāo)簽信息不是</ruby>標(biāo)簽時（S319：否），核對單元17使數(shù)據(jù)讀出的位置前進(jìn)直至與讀出的標(biāo)簽對應(yīng)的結(jié)束標(biāo)簽（S321）。當(dāng)在S301中核對單元17未讀出標(biāo)簽信息，而是讀出字符信息時，核對單元17選擇作為選擇對象的狀態(tài)信息當(dāng)中的一條狀態(tài)信息（S303）。作為選擇對象的狀態(tài)信息是在開始核對時存儲在存儲區(qū)域R0中的狀態(tài)信息。在S314的處理中復(fù)制狀態(tài)信息之后，通過S316或S318的處理來指定要作為選擇對象的狀態(tài)信息。當(dāng)在S303中核對單元17選擇狀態(tài)信息時，核對單元17對讀出的字符信息執(zhí)行核對，并更新選擇的狀態(tài)信息（S304）。如上所述，執(zhí)行此更新，使得核對單元17從表T1獲取轉(zhuǎn)換源狀態(tài)為所選擇的狀態(tài)信息的記錄，并將與是否滿足包括在所獲取的記錄中的轉(zhuǎn)換條件對應(yīng)的轉(zhuǎn)換目標(biāo)狀態(tài)存儲在存儲有所選擇的狀態(tài)信息的存儲區(qū)域中。當(dāng)在S304中更新狀態(tài)信息時，核對單元17確定在S304中更新的狀態(tài)信息是否指示"F"（S305）。"F"表示指示自動機(jī)的終點的狀態(tài)。當(dāng)在S305的確定中狀態(tài)信息為"F"時（S305：是），將文件Fi的標(biāo)識信息以及指示S301中讀出的字符信息在文件中的位置的信息存儲在表T2中（S306）。在S306的處理之后，核對單元17還將更新的狀態(tài)信息更新為初始狀態(tài)（0）（S307）。當(dāng)在S305的確定中狀態(tài)信息不為"F"時（S305：否），或者當(dāng)執(zhí)行S307的處理時，核對單元17確定作為選擇對象的狀態(tài)信息當(dāng)中是否存在未被選擇的狀態(tài)信息。當(dāng)存在未被選擇的狀態(tài)信息時，核對單元17再次執(zhí)行S303的處理，以選擇未被選擇的狀態(tài)信息（S308）。在不存在未被選擇的狀態(tài)信息的情況下，核對單元17執(zhí)行S309的處理。核對單元17確定存儲在存儲區(qū)域中的狀態(tài)信息當(dāng)中是否存在以重疊的方式指示相同狀態(tài)信息的狀態(tài)信息（S309）。當(dāng)存在重疊的狀態(tài)信息時（S309：是），核對單元17確認(rèn)是否通過S320的處理設(shè)置了指示重疊的狀態(tài)信息的刪除許可的標(biāo)志。當(dāng)設(shè)置了指示刪除許可的標(biāo)志時，核對單元17釋放存儲有重疊的狀態(tài)信息的存儲區(qū)域，并且還將重疊的狀態(tài)信息從作為選擇對象的狀態(tài)信息中移除（S310）。另外，當(dāng)通過S310的處理，狀態(tài)信息的條數(shù)變得僅為一條時，核對單元17清除指示刪除許可的標(biāo)志。當(dāng)在S309的處理中不存在重疊的狀態(tài)信息時（S309：否），或者當(dāng)執(zhí)行S310的處理時，核對單元17確定是否存在要從文件Fi讀取的字符信息（S311）。當(dāng)文件Fi中存在要讀出的字符信息時（S311：是），核對單元17再次執(zhí)行S301的處理。當(dāng)文件Fi中不存在要讀出的字符信息時（S311：否），核對結(jié)束，執(zhí)行圖10所示的檢索處理流程（S312）。描述圖10所示的剩余檢索處理流程。當(dāng)S106的核對結(jié)束時，讀出單元15確定文件組F1至Fn中是否存在未選擇的文件。當(dāng)存在未選擇的文件時，讀出單元15再次執(zhí)行S104的處理（S107）。當(dāng)不存在未選擇的文件時，輸出單元18輸出由核對單元17獲得的核對結(jié)果（S108）。例如，核對結(jié)果的輸出是存儲在表T2中的信息的顯示。另外，包括表T2的各個記錄中指示的部分附近的字符信息可被讀出以進(jìn)行顯示。另外，文件組F1至Fn的各個文件與指示文件的存儲目標(biāo)的地址信息可預(yù)先彼此關(guān)聯(lián)，以輸出與存儲在表T2中的文件ID關(guān)聯(lián)的地址信息。當(dāng)S108的處理結(jié)束時，檢索單元11確定是否給出檢索處理程序23的結(jié)束指令（S109）。當(dāng)未給出結(jié)束指令時（S109：否），接收單元13再次執(zhí)行S102的處理。當(dāng)給出結(jié)束指令時（S109：是），檢索單元11結(jié)束檢索處理程序23（S110）。根據(jù)上述處理，可從作為檢索對象的文檔數(shù)據(jù)提取包括親字符部分和讀音字符部分二者的字符串，作為與檢索字符串一致的字符串。在以上描述中，響應(yīng)于<rb>標(biāo)簽的檢測來復(fù)制狀態(tài)信息。然而，狀態(tài)信息的復(fù)制的引發(fā)因素可根據(jù)要使用的語言而任意改變?？蓱?yīng)用任何復(fù)制引發(fā)因素，只要在指定通過具有一個含義的多種類型的字符信息的表述中，該引發(fā)因素指示多種類型的字符信息的枚舉的開始即可。例如，在不使用<rb>標(biāo)簽的情況下，插于<ruby>標(biāo)簽之間但未插于<rt>標(biāo)簽之間的字符被設(shè)置為親字符的語法中，響應(yīng)于<ruby>標(biāo)簽的檢測復(fù)制狀態(tài)信息就足夠了。上面描述了顯示中文字符的讀音的示例，但是實施方式不限于此示例?？舍槍ζ倜址峁┳x音，可為中文中的中文字符的表述提供拼音。另外，讀音用于英語，實施方式的上述示例適用于英語。例如，BIOS（基本輸入/輸出系統(tǒng)）通常通過諸如<ruby><rb>B</rb><rp>(</rp><rt>BASIC</rt><rp>)</rp><rb>I</rb><rp>(</rp><rt>INPUT/</rt><rp>)</rp><rb>O</rb><rp>(</rp><rt>OUTPUT</rt><rp>)</rp><rb>S</rb><rp>(</rp><rt>SYSTEM</rt><rp>)</rp></ruby>的描述（描述D2）來表示。例如，"BIOS"、"BASICINPUT/OUTPUTSYSTEM"或"BASICIOSYSTEM"可輸入作為檢索字符串。圖13A示出與檢索字符串"BIOS"對應(yīng)的自動機(jī)。初始狀態(tài)（0）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"1"）為"B"。狀態(tài)（1）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"2"）為"I"，轉(zhuǎn)換條件2（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)2為"1"）為"B"。狀態(tài)（2）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"3"）為"O"，轉(zhuǎn)換條件2（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)2為"1"）為"B"。狀態(tài)（3）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)為"F"）為"S"，轉(zhuǎn)換條件2（對應(yīng)的轉(zhuǎn)換目標(biāo)狀態(tài)為"1"）為"B"。圖13B示出與"BASICIOSYSTEM"對應(yīng)的自動機(jī)。初始狀態(tài)（0）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"1"）為"B"。狀態(tài)（1）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"2"）為"A"，轉(zhuǎn)換條件2（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)2為"1"）為"B"。狀態(tài)（2）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"3"）為"S"，轉(zhuǎn)換條件2（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)2為"1"）為"B"。狀態(tài)（3）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"4"）為"I"，轉(zhuǎn)換條件2（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)2為"1"）為"B"。狀態(tài)（4）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"5"）為"C"，轉(zhuǎn)換條件2（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)2為"1"）為"B"。狀態(tài)（5）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"6"）為"I"，轉(zhuǎn)換條件2（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)2為"1"）為"B"。狀態(tài)（6）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"7"）為"O"，轉(zhuǎn)換條件2（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)2為"1"）為"B"。狀態(tài)（7）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"8"）為"S"，轉(zhuǎn)換條件2（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)2為"1"）為"B"。狀態(tài)（8）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"9"）為"Y"，轉(zhuǎn)換條件2（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)2為"1"）為"B"。狀態(tài)（9）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"10"）為"S"，轉(zhuǎn)換條件2（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)2為"1"）為"B"。狀態(tài)（10）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"11"）為"T"，轉(zhuǎn)換條件2（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)2為"1"）為"B"。狀態(tài)（11）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"12"）為"E"，轉(zhuǎn)換條件2（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)2為"1"）為"B"。狀態(tài)（12）下的轉(zhuǎn)換條件1（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)1為"F"）為"M"，轉(zhuǎn)換條件2（對應(yīng)轉(zhuǎn)換目標(biāo)狀態(tài)2為"1"）為"B"。圖14A和圖14B示出"BIOS"是否與描述D2一致的核對過程。核對單元17基于圖13A所示的自動機(jī)更新存儲在存儲區(qū)域中的狀態(tài)信息。假設(shè)在讀出描述D2之前僅指示初始狀態(tài)（0）的狀態(tài)信息存儲在存儲區(qū)域0000中（S1）。當(dāng)核對單元17從文件Fi讀出<rb>標(biāo)簽時，核對單元17將存儲在存儲區(qū)域0000中的狀態(tài)信息復(fù)制到存儲區(qū)域0001上（S2）。這里，核對單元17將重復(fù)次數(shù)d設(shè)置為"1"。然后，當(dāng)核對單元17讀出"B"時，核對單元17根據(jù)圖13A所示的自動機(jī)更新存儲在存儲區(qū)域0000中的狀態(tài)信息。從初始狀態(tài)（0）轉(zhuǎn)換為狀態(tài)（1）的條件為"B"，使得存儲在存儲區(qū)域0000中的狀態(tài)信息為狀態(tài)（1）（S3）。當(dāng)核對單元17讀出<rt>時，核對單元17將更新對象的存儲區(qū)域轉(zhuǎn)變至存儲區(qū)域0001。核對單元17響應(yīng)于"B"、"A"、"S"、"I"和"C"中的每一個的讀出更新存儲在存儲區(qū)域0001中的狀態(tài)信息。結(jié)果，存儲區(qū)域0001的狀態(tài)信息被更新為初始狀態(tài)（0）（S4）。當(dāng)核對單元17從文件Fi讀出<rb>標(biāo)簽時，核對單元17將存儲在存儲區(qū)域0000和存儲區(qū)域0001中的狀態(tài)信息分別復(fù)制到存儲區(qū)域0010和存儲區(qū)域0011上（S5）。這里，核對單元17將重復(fù)次數(shù)d設(shè)置為"2"。隨后，當(dāng)核對單元17讀出"I"時，核對單元17根據(jù)圖13A所示的自動機(jī)更新存儲在存儲區(qū)域0000中的狀態(tài)信息。從狀態(tài)（1）轉(zhuǎn)換為狀態(tài)（2）的條件為"I"，使得存儲在存儲區(qū)域0000中的狀態(tài)信息變?yōu)樘幱跔顟B(tài)（2）。另外，從初始狀態(tài)（0）轉(zhuǎn)換為狀態(tài)（1）的條件為"B"，使得存儲在存儲區(qū)域0001中的狀態(tài)信息為初始狀態(tài)（0）（S6）。當(dāng)核對單元17讀出<rt>時，核對單元17將更新對象的存儲區(qū)域轉(zhuǎn)變至存儲區(qū)域0010和存儲區(qū)域0011。核對單元17響應(yīng)于"I"、"N"、"P"、"U"、"T"和"/"中的每一個的讀出更新存儲在存儲區(qū)域0010和存儲區(qū)域0011中的狀態(tài)信息。結(jié)果，存儲區(qū)域0010和存儲區(qū)域0011的狀態(tài)信息被更新為初始狀態(tài)（0）（S7）。當(dāng)核對單元17從文件Fi讀出<rb>標(biāo)簽時，核對單元17將存儲在存儲區(qū)域0000至0011中的狀態(tài)信息分別復(fù)制到存儲區(qū)域0100至0111上（S8）。這里，核對單元17將重復(fù)次數(shù)d設(shè)置為"3"。隨后，當(dāng)核對單元17讀出"O"時，核對單元17根據(jù)圖13A所示的自動機(jī)更新存儲在存儲區(qū)域0000中的狀態(tài)信息。從狀態(tài)（2）轉(zhuǎn)換為狀態(tài)（3）的條件為"O"，使得存儲在存儲區(qū)域0000中的狀態(tài)信息為狀態(tài)（3）。另外，從初始狀態(tài)（0）轉(zhuǎn)換為狀態(tài)（1）的條件為"B"，使得存儲在存儲區(qū)域0001至0011中的狀態(tài)信息為初始狀態(tài)（0）（S9）。當(dāng)核對單元17讀出<rt>時，核對單元17將更新對象的存儲區(qū)域轉(zhuǎn)變至存儲區(qū)域0100至0111（S10）。核對單元17響應(yīng)于"O"、"U"、"T"、"P"、"U"和"T"中的每一個的讀出更新存儲在存儲區(qū)域0100至0111中的狀態(tài)信息。結(jié)果，存儲區(qū)域0100至0111的狀態(tài)信息被更新為初始狀態(tài)（0）（S11）。當(dāng)核對單元17從文件Fi讀出<rb>標(biāo)簽時，核對單元17將存儲在存儲區(qū)域0000至0111中的狀態(tài)信息分別復(fù)制到存儲區(qū)域1000至1111上（S12）。這里，核對單元17將重復(fù)次數(shù)d設(shè)置為"4"。隨后，當(dāng)核對單元17讀出"S"時，核對單元17根據(jù)圖13A所示的自動機(jī)更新存儲在存儲區(qū)域0000中的狀態(tài)信息。從狀態(tài)（3）轉(zhuǎn)換為狀態(tài)（F）的條件為"S"，使得存儲在存儲區(qū)域0000中的狀態(tài)信息為狀態(tài)（F）。另外，從初始狀態(tài)（0）轉(zhuǎn)換為狀態(tài)（1）的條件為"B"，使得存儲在存儲區(qū)域0001至0111中的狀態(tài)信息為初始狀態(tài)（0）（S13）。存儲在存儲區(qū)域0000中的狀態(tài)信息指示狀態(tài)（F），使得核對單元17確定描述D2包括"BIOS"。圖15示出"BASICIOSYSTEM"是否與描述D2一致的核對過程。核對單元17基于圖13B所示的自動機(jī)更新存儲在存儲區(qū)域中的狀態(tài)信息。響應(yīng)于從文件Fi讀出<rb>標(biāo)簽，核對單元17將存儲在存儲區(qū)域0000中的狀態(tài)信息復(fù)制到存儲區(qū)域0001上（S1）。這里，核對單元17將重復(fù)次數(shù)d設(shè)置為"1"。隨后，當(dāng)核對單元17順序地讀出"B"、"A"、"S"、"I"和"C"時，核對單元17根據(jù)圖13B所示的自動機(jī)更新存儲在存儲區(qū)域0001中的狀態(tài)信息。從初始狀態(tài)（0）轉(zhuǎn)換為狀態(tài)（1）的條件為"B"，使得存儲在存儲區(qū)域0001中的狀態(tài)信息為狀態(tài)（1）。另外，"A"、"S"、"I"和"C"中的每一個滿足圖13B所示的自動機(jī)中表示的轉(zhuǎn)換條件，使得存儲在存儲區(qū)域0001中的狀態(tài)信息為狀態(tài)（5）（S2）。當(dāng)核對單元17從文件Fi讀出<rb>標(biāo)簽時，核對單元17將存儲在存儲區(qū)域0000和存儲區(qū)域0001中的狀態(tài)信息分別復(fù)制到存儲區(qū)域0010和存儲區(qū)域0011上（S3）。這里，核對單元17將重復(fù)次數(shù)d設(shè)置為"2"。隨后，當(dāng)核對單元17讀出"I"時，核對單元17根據(jù)圖13B所示的自動機(jī)更新存儲在存儲區(qū)域0000和存儲區(qū)域0001中的狀態(tài)信息。從狀態(tài)（5）轉(zhuǎn)換為狀態(tài)（6）的條件為"I"，使得存儲在存儲區(qū)域0001中的狀態(tài)信息為狀態(tài)（6）。另外，從狀態(tài)（1）轉(zhuǎn)換為狀態(tài)（2）的條件為"A"，使得存儲在存儲區(qū)域0000中的狀態(tài)信息為初始狀態(tài)（0）（S4）。當(dāng)核對單元17讀出<rt>時，核對單元17將更新對象的存儲區(qū)域轉(zhuǎn)變至存儲區(qū)域0010和存儲區(qū)域0011。核對單元17響應(yīng)于"I"、"N"、"P"、"U"、"T"和"/"中的每一個的讀出更新存儲在存儲區(qū)域0010和存儲區(qū)域0011中的狀態(tài)信息。結(jié)果，存儲區(qū)域0010和存儲區(qū)域0011的狀態(tài)信息被更新為初始狀態(tài)（0）（S5）。當(dāng)核對單元17從文件Fi讀出<rb>標(biāo)簽時，核對單元17將存儲在存儲區(qū)域0000至0011中的狀態(tài)信息分別復(fù)制到存儲區(qū)域0100至0111上（S6）。這里，核對單元17將重復(fù)次數(shù)d設(shè)置為"3"。隨后，當(dāng)核對單元17讀出"O"時，核對單元17根據(jù)圖13B所示的自動機(jī)更新存儲在存儲區(qū)域0000至0011中的狀態(tài)信息。從狀態(tài)（6）轉(zhuǎn)換為狀態(tài)（7）的條件為"O"，使得存儲在存儲區(qū)域0001中的狀態(tài)信息為狀態(tài)（7）。另外，從初始狀態(tài)（0）轉(zhuǎn)換為狀態(tài)（1）的條件為"B"，使得存儲在存儲區(qū)域0000、0010和0011中的狀態(tài)信息變?yōu)樘幱诔跏紶顟B(tài)（0）（S7）。當(dāng)核對單元17讀出<rt>時，核對單元17將更新對象的存儲區(qū)域轉(zhuǎn)變至存儲區(qū)域0100至0111。核對單元17響應(yīng)于"O"、"U"、"T"、"P"、"U"和"T"中的每一個的讀出更新存儲在存儲區(qū)域0100至0111中的狀態(tài)信息。結(jié)果，存儲區(qū)域0100至0111的狀態(tài)信息被更新為初始狀態(tài)（0）（S8）。當(dāng)核對單元17從文件Fi讀出<rb>標(biāo)簽時，核對單元17將存儲在存儲區(qū)域0000至0111中的狀態(tài)信息分別復(fù)制到存儲區(qū)域1000至1111上（S9）。這里，核對單元17將重復(fù)次數(shù)d設(shè)置為"4"。隨后，當(dāng)核對單元17讀出"S"時，核對單元17根據(jù)圖13B所示的自動機(jī)更新存儲在存儲區(qū)域0000至0111中的狀態(tài)信息。從狀態(tài)（3）轉(zhuǎn)換為狀態(tài)（8）的條件為"S"，使得存儲在存儲區(qū)域0001中的狀態(tài)信息為狀態(tài)（8）。另外，從初始狀態(tài)（0）轉(zhuǎn)換為狀態(tài)（1）的條件為"B"，使得存儲在存儲區(qū)域0000和0010至0111中的狀態(tài)信息為初始狀態(tài)（0）（S10）。當(dāng)核對單元17讀出<rt>時，核對單元17將更新對象的存儲區(qū)域轉(zhuǎn)變至存儲區(qū)域1000至1111。核對單元17響應(yīng)于"S"、"Y"、"S"、"T"、"E"和"M"中的每一個的讀出更新存儲在存儲區(qū)域1000至1111中的狀態(tài)信息。"S"、"Y"、"S"、"T"、"E"和"M"滿足從狀態(tài)（8）至狀態(tài)（F）的各個轉(zhuǎn)換條件，使得存儲在存儲區(qū)域1001中的狀態(tài)信息為狀態(tài)（F）。另外，從初始狀態(tài)（0）轉(zhuǎn)換為狀態(tài)（1）的條件為"B"，使得存儲在存儲區(qū)域1000以及1010至1111中的狀態(tài)信息變?yōu)槌跏紶顟B(tài)（0）（S11）。存儲在存儲區(qū)域1001中的狀態(tài)信息指示狀態(tài)（F），使得核對單元17確定描述D2與"BASICIOSYSTEM"一致。上述實施方式的應(yīng)用使得能夠在檢索字符串為"BIOS"、"BASICINPUT/OUTPUTSYSTEM"或"BASICIOSYSTEM"中的任意情況下提取描述D2作為與檢索字符串一致的字符信息。本文詳述的所有示例和條件語言旨在用于教導(dǎo)目的以幫助讀者理解本發(fā)明以及發(fā)明人為技術(shù)進(jìn)步貢獻(xiàn)的構(gòu)思，并且應(yīng)被解釋為不限于這些具體詳述的示例和條件，說明書中的這些示例的組織也不涉及展示本發(fā)明的優(yōu)勢和劣勢。盡管已經(jīng)詳細(xì)描述了本發(fā)明的實施方式，但是應(yīng)該理解，在不脫離本發(fā)明的精神和范圍的情況下，可對其進(jìn)行各種改變、替換和更改。