JP2994926B2 - 有限状態機械作成方法とパターン照合機械作成方法とこれらを変形する方法および駆動方法 - Google Patents

有限状態機械作成方法とパターン照合機械作成方法とこれらを変形する方法および駆動方法

Info

Publication number
JP2994926B2
JP2994926B2 JP5272304A JP27230493A JP2994926B2 JP 2994926 B2 JP2994926 B2 JP 2994926B2 JP 5272304 A JP5272304 A JP 5272304A JP 27230493 A JP27230493 A JP 27230493A JP 2994926 B2 JP2994926 B2 JP 2994926B2
Authority
JP
Japan
Prior art keywords
machine
state
pattern matching
finite state
state machine
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
JP5272304A
Other languages
English (en)
Other versions
JPH07129369A (ja
Inventor
野 祐 司 菅
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Panasonic Corp
Panasonic Holdings Corp
Original Assignee
Panasonic Corp
Matsushita Electric Industrial Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Priority to JP5272304A priority Critical patent/JP2994926B2/ja
Application filed by Panasonic Corp, Matsushita Electric Industrial Co Ltd filed Critical Panasonic Corp
Priority to DE69422370T priority patent/DE69422370T2/de
Priority to EP99100408A priority patent/EP0917032A3/en
Priority to EP99100407A priority patent/EP0917031A3/en
Priority to EP99200172A priority patent/EP0918267A3/en
Priority to EP99100406A priority patent/EP0917030A3/en
Priority to EP94307964A priority patent/EP0651304B1/en
Priority to EP99100405A priority patent/EP0917029A3/en
Priority to US08/331,260 priority patent/US5495409A/en
Publication of JPH07129369A publication Critical patent/JPH07129369A/ja
Application granted granted Critical
Publication of JP2994926B2 publication Critical patent/JP2994926B2/ja
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
    • G05B19/0426—Programming the control sequence
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/045—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using logic state machines, consisting only of a memory or a programmable logic device containing the logic for the controlled machine and in which the state of its outputs is dependent on the state of its inputs or part of its own output states, e.g. binary decision controllers, finite state controllers
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/32—Circuit design at the digital level
    • G06F30/33—Design verification, e.g. functional simulation or model checking
    • G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F7/00—Methods or arrangements for processing data by operating upon the order or content of the data handled
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06V—IMAGE OR VIDEO RECOGNITION OR UNDERSTANDING
    • G06V10/00—Arrangements for image or video recognition or understanding
    • G06V10/70—Arrangements for image or video recognition or understanding using pattern recognition or machine learning
    • G06V10/74—Image or video pattern matching; Proximity measures in feature spaces
    • G06V10/75—Organisation of the matching processes, e.g. simultaneous or sequential comparisons of image or video features; Coarse-fine approaches, e.g. multi-scale approaches; using context analysis; Selection of dictionaries
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/20—Pc systems
    • G05B2219/23—Pc programming
    • G05B2219/23289—State logic control, finite state, tasks, machine, fsm
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems
    • G05B2219/31—From computer integrated manufacturing till monitoring
    • G05B2219/31451—Petrinet for monitoring process
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems
    • G05B2219/32—Operator till task planning
    • G05B2219/32165—Petrinet
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems
    • G05B2219/32—Operator till task planning
    • G05B2219/32166—Convert petrinet to sequence program for cell and to control program for machine
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems
    • G05B2219/32—Operator till task planning
    • G05B2219/32353—Use elementary control task, finite state machine and loop, inhibit, synchronisation connections
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/02—Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10—TECHNICAL SUBJECTS COVERED BY FORMER USPC
    • Y10S—TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10S707/00—Data processing: database and file management or data structures
    • Y10S707/99941—Database schema or data structure
    • Y10S707/99943—Generating database or data structure, e.g. via user interface

Description

【発明の詳細な説明】
【０００１】
【産業上の利用分野】本発明は、外界の状況に応じて動
作する、化学プラント、発電所、航空機、ロボット、レ
ーダーシステム等に用いる自動制御システムや、計算機
を利用した検索装置や編集装置に用いる有限状態機械を
作成する方法およびその関連技術に関するものである。
【０００２】
【従来の技術】１９４３年にＭｃＣｕｌｌｏｃｈとＰｉ
ｔｔｓによって提唱された有限状態機械の概念は、多く
の研究者の努力によって拡張されると共に、様々な性質
が明らかにされており、現在でも、自動機械や計算機の
最も単純なモデルとして、産業界や学会での研究開発の
基盤として活用されている。また、有限状態機械と相対
をなす言語である正規表現についても、有限状態機械と
の関わりが深く研究されてきた。有限状態機械あるいは
その一種である有限状態オートマトン、および正規表現
については、Ｍ．Ｌ．Ｍｉｎｓｋｙ，”Ｃｏｍｐｕｔａ
ｔｉｏｎ：Ｆｉｎｉｔｅ ａｎｄ Ｉｎｆｉｎｉｔｅ
Ｍａｃｈｉｎｅｓ”，Ｅｎｇｌｅｗｏｏｄ，Ｎｅｗ Ｊ
ｅｒｓｅｙ，（１９６７）や、Ｅ．Ｊ．Ｈｏｐｃｒｏｆ
ｔ， ａｎｄ Ｄ．Ｊ．Ｕｌｌｍａｎ，”Ｆｏｒｍａｌ
Ｌａｎｇｕａｇｅｓ ａｎｄ ｔｈｅｉｒ Ｒｅｌａ
ｔｉｏｎ ｔｏ Ａｕｔｏｍａｔａ”，Ａｄｄｉｓｏｎ
−Ｗｅｓｌｅｙ，Ｍａｓｓ．，（１９６４），野崎他
訳：「言語理論とオートマトン」，サイエンス社（１９
７１）や、Ａ．Ｓａｌｏｍｍａａ，”Ｔｈｅｏｒｙ ｏ
ｆ Ａｕｔｏｍａｔａ”，Ｐｅｒｇａｍｏｎ Ｐｒｅｓ
ｓ，Ｅｎｇｌａｎｄ，（１９６９），北川他訳：「オー
トマトン論」，共立出版（１９７４）や、富田悦次，横
森 貴著：「オートマトン・言語理論」，森北出版（１
９９２）等の成書や、Ｒ．Ｍｃｎａｕｇｈｔｏｎ ａｎ
ｄ Ｈ．Ｙａｍａｄａ，”ＲｅｇｕｌａｒＥｘｐｒｅｓ
ｓｉｏｎｓ ａｎｄ Ｓｔａｔｅ Ｇｒａｐｈｓ ｆｏ
ｒ Ａｕｔｏｍａｔａ”，ＩＲＥ Ｔｒａｎｓａｃｔｉ
ｏｎｓ ｏｎ Ｅｌｅｃｔｒｏｎｉｃ Ｃｏｍｐｕｔｅ
ｒｓ”，（１９６０）等の論文を含む数多くの文献に、
様々な知見が詳細に報告されているので、有限状態機械
およびそれに付随する諸概念の導入的解説は上記の優れ
た文献に譲り、ここでは、本発明の実施例の詳細な説明
の際に必要となる、非決定性Ｍｏｏｒｅ機械、決定性Ｍ
ｏｏｒｅ機械、および正規表現とその拡張である正規変
換の形式的定義を述べるにとどめる。
【０００３】まず、初めに非決定性Ｍｏｏｒｅ機械（Ｎ
ｏｎｄｅｔｅｒｍｉｎｉｓｔｉｃＭｏｏｒｅ ｍａｃｈ
ｉｎｅ、以下ＮＭＯと略記する。）とは、 １）状態の有限集合Ｑ、 ２）外部からの入力を記号化して表現した入力記号の有
限有限集合Σ、 ３）外部への出力を記号化して表現した出力記号の有限
集合Δ、 ４）機械の現在の状態ｐ∈Ｑと外部からの入力ａ∈Σに
対して、次の時点で遷移する状態の集合を与える全域関
数である状態遷移関数δ（ｐ，ａ）、 ５）状態遷移に伴って外部に出力される値を定める遷移
先の状態ｐ∈Ｑのみに依存する出力関数λ（ｐ）、 ６）初期状態ｑ∈Ｑ、 からなる６項組ＮＭＯ＝（Ｑ，Σ，Δ，δ，λ，ｑ）で
あり、初期状態ｑのみの集合｛ｑ｝から出発して、外部
からの現在の入力ａと、現在の状態集合｛ｐ１，ｐ２，
…，ｐＮ｝とから、新たな状態集合δ（ｐ１，ａ）∪…
∪δ（ｐＮ，ａ）に遷移すると同時に、外部に、｛λ
（ｘ）｜ｘ∈δ（ｐ１，ａ）∪…∪δ（ｐＮ，ａ）｝を
出力するという動作を繰り返す。ただし、空集合φ∈Ｑ
からの、任意の入力ａによる遷移先は空集合φであると
し、出力も空集合φであるとする。状態遷移関数δ
（ｐ，ａ）は、全域関数ではあるが、値として空集合φ
を取る場合がある。従って、遷移先である、新たな状態
集合δ（ｐ１，ａ）∪…∪δ（ｐＮ，ａ）が空となるこ
ともあるが、この際には、上記の規定によって空集合の
状態に留まり続ける。
【０００４】次に、決定性Ｍｏｏｒｅ機械（Ｄｅｔｅｒ
ｍｉｎｉｓｔｉｃ Ｍｏｏｒｅ ｍａｃｈｉｎｅ、以下
ＤＭＯと略記する。）とは、 １）状態の有限集合Ｑ、 ２）外部からの入力を記号化して表現した入力記号の有
限有限集合Σ、 ３）外部への出力を記号化して表現した出力記号の有限
集合Δ、 ４）機械の現在の状態ｐ∈Ｑと外部からの入力ａ∈Σに
対して、次の時点で遷移する状態を与える全域関数であ
る状態遷移関数δ’( ｐ，ａ）、 ５）状態遷移に伴って外部に出力される値を定める遷移
先の状態ｐ∈Ｑのみに依存する出力関数λ（ｐ）、 ６）初期状態ｑ∈Ｑ、 からなる６項組ＤＭＯ＝（Ｑ，Σ，Δ，δ’，λ，ｑ）
であり、初期状態ｑから出発して、外部からの現在の入
力ａと、現在の状態ｐとから、新たな状態δ’（ｐ，
ａ）に遷移すると同時に、外部に、λ（δ’（ｐ，
ａ））を出力するという動作を繰り返す。状態遷移関数
δ’（ｐ，ａ）は、Ｑの要素を値とする全域関数なの
で、ＮＭＯの空集合のような問題は生じない。
【０００５】最後に、正規表現を次のように定義する。
Σを、ある記号の有限集合としたとき、Σ上の正規表現
（Ｒｅｇｕｌａｒ Ｅｘｐｒｅｓｓｉｏｎ，正則表現と
も呼ぶ。）とは、以下の１）〜７）により定義されるΣ
上の文字列の集合を表す文字列である（ただし、「Σ上
の文字列」として長さ０の空文字列も含む）。 １）記号φを空集合を表すΣ上の正規表現とする。 ２）記号εを長さ０の文字列のみからなる集合を表すΣ
上の正規表現とする。 ３）ａを｛ａ｝（ａ∈Σ）を表すΣ上の正規表現とす
る。 ４）Ｒ，ＳがΣ上の正規表現のとき、（Ｒ＋Ｓ）は、
｛ｔ｜ｔはＲが表す集合の要素またはＳが表す集合の要
素｝を表す正規表現とする。 ５）Ｒ，ＳがΣ上の正規表現のとき、（ＲＳ）は、｛ｒ
ｓ｜ｒはＲが表す集合の要素、かつｓはＳが表す集合の
要素｝を表す正規表現とする。 ６）ＲがΣ上の正規表現のとき、（Ｒ＊）は正規表現 （…（（ε＋Ｒ）＋（ＲＲ））＋（ＲＲＲ））＋…） と等価な正規表現とする。 ７）上記１）〜６）で作成されたものだけが、正規表現
である。ただし、解釈にあいまいさが生じない限り、括
弧は省略可能であるとする。
【０００６】また、後の議論で必要になる、Σ上からΔ
上への正規変換（ＲｅｇｕｌａｒＴｒａｎｓｆｏｒｍａ
ｔｉｏｎ、以降はＲＴと略記する。）とは、本発明で独
自に定めた正規表現の拡張概念であり、Σ上の文字列の
集合をΔ上の文字列の集合に変換する方法を表す以下の
１）〜５）によって定義される文字列である。 １）ＲがΣ上の正規表現で、かつｄがΔ上の文字列のと
き、（Ｒ／ｄ）は、Ｒが表すΣ上の文字列の集合を集合
｛ｄ｝に変換し、それ以外のΣ上の文字列全てからなる
集合を空集合に変換する、Σ上からΔ上への正規変換で
ある。 ２）（Ｒ／ｄ），（Ｓ／ｅ）がΣ上からΔ上への正規変
換のとき、（（Ｒ／ｄ）＋（Ｓ／ｅ））は、Ｒが表すが
Ｓが表さないΣ上の文字列の集合を｛ｄ｝に変換し、Ｓ
が表すがＲが表さないΣ上の文字列の集合を｛ｅ｝に変
換し、ＲもＳも表すΣ上の文字列の集合を｛ｄ，ｅ｝に
変換し、それ以外のΣ上の文字列全てからなる集合を空
集合に変換する、Σ上からΔ上への正規変換である。 ３）（Ｒ／ｄ），（Ｓ／ｅ）がΣ上からΔ上への正規変
換のとき、（Ｒ／ｄ）（Ｓ／ｅ）は、Ｒが表すが（Ｒ
Ｓ）が表さないΣ上の文字列の集合を｛ｄ｝に変換し、
（ＲＳ）を表すΣ上の文字列の集合を｛ｄｅ｝に変換
し、それ以外のΣ上の文字列全てからなる集合を空集合
に変換する、Σ上からΔ上への正規変換である。 ４）（Ｒ／ｄ）がΣ上からΔ上への正規変換のとき、 （（Ｒ／ｄ）＊）は正規変換 （…（（（ε／ｄ）＋（Ｒ／ｄ））＋（Ｒ／ｄ）（Ｒ／
ｄ））＋…） と等価な正規変換とする。 ５）上記１）〜４）で作成されたものだけが、正規変換
である。ただし、解釈にあいまいさが生じない限り、括
弧は省略可能であるとする。
【０００７】ところで、これまでの研究で、与えられた
正規変換から当該正規変換が表す変換と同一の変換を行
なうＮＭＯを、当該正規変換の長さのオーダーの計算量
で効率よく作成する方法（Ｒｏｂｉｎｓｏｎの方法）
や、与えられたＮＭＯと等価なＤＭＯを作成する方法
（部分集合構成法）が知られている。このうち、本発明
との関わりが深い、部分集合構成法を、従来技術の例と
して説明する。
【０００８】まず、あるＮＭＯとＤＭＯとが等価である
とは、任意の入力列に対して、当該ＮＭＯとＤＭＯが同
一の出力列を出力することであると定義する。すると、
与えられたＮＭＯ＝（Ｑ，Σ，Δ，δ，λ，ｑ）に等価
なＤＭＯ＝（Ｑ’，Σ，Δ’，δ’，λ’，ｑ’）を以
下のようにして作成することができる。まず、状態集合
Ｑ’はＱの部分集合全てを要素として含む集合とすし、
初期状態ｑ’は、｛ｑ｝であるとする。同様に出力記号
集合Δ’はΔの部分集合全てを要素として含む集合と
し、出力関数λ’（｛ｑ１，…，ｑＮ｝）の値はλ（ｑ
１）∪…∪λ（ｑＮ）と定める。また、外部からの入力
を表す記号の集合ΣはＮＭＯと同一であるとする。最後
に、Ｑ’の任意の要素｛ｑ１，…，ｑＮ｝とΣの任意の
要素ｃに対する状態遷移関数δ’（｛ｑ１，…，ｑ
Ｎ｝，ｃ）の値を、δ（ｑ１，ｃ）∪…∪δ（ｑＮ，
ｃ）であると定める。このようにして作成したＤＭＯ
が、元のＮＭＯと等価であることは、外部入力の列の長
さに関する帰納法によって、容易に示すことができる。
【０００９】ここで、これまで説明した従来の有限状態
機械作成方法を用いた、従来の製品自動検査システムの
例を説明する。図２６は従来の製品自動検査システムの
一実施例の全体構成を示すブロック図である。図２６に
おいて、２０１は、ベルトコンベア上を流れる製品の第
１の特徴を調べて、０か１かのどちらかの値を出力する
第１のセンサ、２０２は、ベルトコンベア上を流れる製
品の第２の特徴を調べて、やはり０か１かのどちらかの
値を出力する第２のセンサ、２０３はＤＭＯを応用した
専用電子回路による制御装置、２０４は、検査の結果、
良品と判定された製品に、検査印を押す捺印ロボット、
２０５は、制御装置２０３に供給するＤＭＯのデータ
を、外部機器からのＮＭＯデータに基づいて作成するＤ
ＭＯ作成手段である。
【００１０】以上のような構成において、まず、ＤＭＯ
作成手段２０５による、制御装置２０３のＤＭＯの作成
方法を説明する。制御装置２０３の動作は、図２７
（ａ）のようなＮＭＯで指定されているものとする。た
だし、図２７（ａ）の状態Ｓ0 は個々の製品の検査を始
める際の初期状態であり、ＮＭＯの現在の状態集合から
の遷移先が空集合になる（遷移先が１つも定義されてい
ない。）入力の場合には、不良と判定して、次の製品の
検査に進み、２重丸の状態（Ｓ5 ）に至った場合には、
良品と判定して捺印ロボット１０４を動かして検査印を
押すものとする。また、外部入力は、第１のセンサ２０
１からの値「１」の入力をＡ１、値「０」の入力をＡ０
で表し、第２のセンサ２０２からの値「１」の入力をＢ
１、値「０」の入力をＢ０で表すものとする。実際の入
力は、この２つのセンサ２０１、２０２の入力の組み合
わせであるから、「Ａ１Ｂ０」のように表される。
【００１１】さて、図２７（ａ）はＮＭＯであるから、
ある瞬間に２つ以上の状態を取り得る。従って、そのま
ま電子回路として実現することは得策ではないため、図
２７（ａ）のＮＭＯから部分集合構成法を用いてＤＭＯ
を作成する。図２７（ｂ）は、図２７（ａ）のＮＭＯに
部分集合構成法を適用して、ＤＭＯを作成する過程を示
したものであり、図２８は、図２７（ｂ）に従って作成
されたＤＭＯの状態遷移グラフである。
【００１２】部分集合構成法は、非決定性の複数の状
態、即ち、状態の部分集合を、決定性の１状態に対応づ
け、状態の部分集合がそれぞれの外部入力でどのように
遷移するかを調べることによって、決定性の状態遷移図
（機械）を構成する方法であり、図２７（ｂ）の各行
が、状態の特定の部分集合に対応する。このようにして
作成した図２８のＤＭＯをもとに、電子回路による制御
装置２０３が、プログラマブルＩＣ、フィールドプログ
ラマブルゲートアレイなどの、プログラム可能な回路素
子や、マイクロコンピュータによって実現される。
【００１３】多くのプログラマブル素子には、図２８の
ようなＤＭＯから、当該素子のプログラムを自動生成す
るソフトウエアが添付されており、制御回路の回路構成
を回路図よりも高い抽象度で表現する方法として、有限
状態機械モデルを用いた制御回路の設計が広く用いられ
ていることを付言しておく。
【００１４】有限状態機械は、上述した各種の制御シス
テムだけでなく、各種のパターン照合機械としても幅広
い応用が可能である。その際には、外部からの入力とし
て照合対象データを構成する要素を順に与えると、見つ
け出したいパターンの種類を表す記号あるいは番号が、
当該パターン照合機械がパターンに合致するデータ部分
を「読み込んだ」直後に出力されることになる。見つけ
出したいパターンは、上記の動作を指定する正規変換等
で記述し、これからＮＭＯを作成し、さらに作成したＮ
ＭＯからＤＭＯを作成し、作成したＤＭＯを用いてパタ
ーン照合動作を実行する。パターン照合動作は、ＮＭＯ
を用いても可能であるが、照合対象データが長い、即ち
照合対象データを構成する要素の個数が多い場合には、
ＤＭＯを用いる方がパターン照合時間の面で有利とな
る。
【００１５】一般に、照合対象データの長さをＮ、正規
変換の長さ即ち文字列長をＭとすると、最悪の場合に、
ＮＭＯを用いたパターン照合では、ＮＭに比例した処理
時間がかかるのに対し、ＤＭＯを用いたパターン照合で
は、Ｎに比例した処理時間で済む。ただし、ＤＭＯを用
いるためには、ＮＭＯからＤＭＯを作成するのに、最悪
の場合に２のＭ乗に比例する処理時間がかかる。従っ
て、Ｎが大きい、即ち照合対象データが長い場合には、
ＤＭＯを用いる方が、処理時間の面でＮＭＯを用いるよ
りも有利になることになる。
【００１６】ここで、上記の枠組みを用いる従来のパタ
ーン照合機械の一種として、従来のパターン照合装置の
例を説明する。このパターン照合装置は、「文字列を１
度走査するだけで複数個の文字列との同時照合ができる
こと」や、「正規表現で照合文字列のパターンを指定で
きること」などの特徴を持つ。
【００１７】図２９は、従来の文書検索装置の一部であ
る従来のパターン照合装置の一実施例の全体構成図であ
る。図２９において、２３１は、文字を表す文字番号の
列からなる入力文書を格納し１文字ずつ読み出すことの
できる入力文書メモリ、２３２は、入力文書と照合条件
条件との照合状態を表す状態番号を、状態番号と文字番
号を要素番号とした２次元の表としてランダムアクセス
メモリに格納した状態番号表メモリ、２３３は、状態番
号表メモリ２３２の出力する状態番号を記録する状態番
号記録回路、２３４は、状態番号記録回路２３３の出力
する状態番号から、必要な外部動作の番号を求める動作
番号表メモリ、２３５は、状態番号表メモリ２３２およ
び動作番号表メモリ２３４に供給するＤＭＯのデータ
を、外部機器からのＮＭＯデータに基づいて作成するＤ
ＭＯ作成手段である。
【００１８】以上の構成において、以下その動作につい
て説明する。まず、照合動作に先立って、外部からＤＭ
Ｏ作成手段２３５に、検索したい文字列の集団と検索成
功時の動作を表すＮＭＯとを入力してＤＭＯを作成し、
作成したＤＭＯのデータを、状態番号表メモリ２３２お
よび動作番号表メモリ２３４に格納する。
【００１９】次に、入力文書メモリ２３１を初期化し
て、入力文書データを格納し、入力文書の着目文字を文
書の先頭にセットする。同時に、状態番号記録回路２３
３を初期化して、現在の状態番号を特別な値、例えば０
にセットする。また、照合条件条件を状態番号表と動作
番号表の形に変形して、照合動作に先立って、それぞれ
動作番号表メモリ２３４、および状態番号表メモリ２３
２に格納しておく。以上で初期化動作が終了し、照合動
作の本体に進む。次に、状態番号記録回路２３３の出力
する「現在の状態番号」と、入力文書メモリ２３１が出
力する「着目する文字の文字番号」とを組み合わせた番
号をアドレスとして状態番号表メモリ２３２の表を引
き、次の状態の状態番号を求めて状態番号記録回路２３
３に新たな状態番号として記録する。
【００２０】今、入力文書中の文字の文字番号が、０か
ら６５５３５までの範囲であり、状態番号が０から８１
９１までの範囲であり、状態番号表メモリ２３２のアド
レスは、２進数を表す２９本の信号線で与えるとすれ
ば、状態番号表メモリ２３２のアドレス線のうち、下位
の桁を表す１３本には文字番号を、上位の桁を表す１６
本には、状態番号を、それぞれ入力すればよい。そし
て、記録した状態番号で動作番号表メモリ２３２の表を
引き、その動作番号の値に応じて、文書検索装置の他の
部分が種々の動作、例えば「入力文書メモリが現在着目
している文字の文書中での位置を記録する」などの動作
を行なう。その後、入力文書格納メモリ２３１の「入力
文書の着目位置」が１文字だけ末尾方向にずらされる。
この、「現在の状態と着目文字とから次の状態を求め
て、状態に応じた動作を行なった後、次の文字に着目す
る」という動作を、動作番号が「動作停止」になるか、
あるいは入力文書の最終文字に到達するか、のどちらか
の条件が満たされるまで繰り返すことにより、入力文書
の照合が完了する。
【００２１】状態番号表メモリ２３２には、例えば図１
６のような正規変換によって指定された照合条件を元に
して算出したＤＭＯの状態遷移表そのものが格納される
ことになる。図１７は、図１６の正規表現から、Ｒｏｂ
ｉｎｓｏｎの方法を用いて作成したＮＭＯの状態遷移
表、図１８はＮＭＯの状態遷移グラフ、図３０〜図３２
は、図１８のＮＭＯに部分集合構成法を適用してＤＭＯ
を構成する過程および結果の状態遷移表を示す図、図２
３はＤＭＯの状態遷移グラフである。ただし、図３０に
おいて、ｓｔａｔｅ項目はＮＭＯの状態番号を表し、ｏ
ｕｔｐｕｔ項目はＮＭＯの出力記号を表し、ａ，ｂ，
ｃ，ｄの各項目は、それぞれの文字での遷移先の状態集
合を表し、＄項目は、入力文字セット中の、ａ，ｂ，
ｃ，ｄ以外の文字を便宜上１文字で代表する仮想的な文
字”＄”での遷移先の状態集合を表す。
【００２２】また、図３１の「ＮＭＯからＤＭＯの作
成」において、 ＤＭＯ＿ｓｔａｔｅ（ｉ）：｛ｑ１，ｑ２，・・・ｑ
ｍ｝ とあるのは、作成すべきＤＭＯの状態番号がｉ番の状態
が、ＮＭＯのｍ個の状態ｑ１，ｑ２，・・・ｑｍを要素
に持つ状態集合に対応することを表し、 ＤＭＯ＿ｇｏｔｏ（｛ｉ｝，”ｘ”）＝｛ｐ１，・・・
ｐｎ｝（ｊ） とあるのは、作成すべきＤＭＯの、状態ｉでの、文字”
ｘ”での遷移先が、ＮＭＯのｎ個の状態 ｐ１，・・・
ｐｎ を要素に持つ状態集合に対応することを表す。
【００２３】また、図３２の「作成されたＤＭＯ」にお
いて、ｓｔａｔｅ項目はＤＭＯの状態番号を表し、ｏｕ
ｔｐｕｔ項目はＤＭＯの出力記号を表し、ａ，ｂ，ｃ，
ｄの各項目は、それぞれの文字での遷移先の状態番号を
表し、＄項目は、入力文字セット中の、ａ，ｂ，ｃ，ｄ
以外の文字を便宜上１文字で代表する仮想的な文字”
＄”での遷移先の状態番号を表し、最終行のＴｏｔａｌ
ｘｘ Ａｒｃｓは、作成されたＤＭＯに、（遷移元も
遷移先も同一の遷移を１遷移と数えた場合に）ｘｘ個の
遷移が存在することを表す。
【００２４】以上の説明から、ＤＭＯが、機器の制御や
パターンの照合など、様々な分野に応用することが可能
で、かつ、外部入力に対して、ＤＭＯの複雑さによらな
い一定の処理時間で応答できることが理解できる。
【００２５】
【発明が解決しようとする課題】しかしながら、こうし
た従来の有限状態機械作成方法には、ＮＭＯからの作成
時間が長いこと、および作成結果であるＤＭＯのサイズ
（実際の応用装置では状態遷移表のサイズ）が大きい、
という２つの問題があった。
【００２６】大きなサイズの状態遷移表を作成するため
には、状態遷移表の有効な要素の個数に比例した処理時
間以上の時間がかかるため、実際には、上記の２つの問
題は互いに関連している。また、ＮＭＯをそのまま用い
ると、作成時間が短くサイズも小さいが、ＮＭＯが複雑
になると、ＮＭＯの動作が遅くなるという問題があっ
た。この他に、ＮＭＯの動作中に、よく通過する状態や
遷移をＤＭＯのように変形して、ＮＭＯの動作速度を上
げることが困難であるという問題があった。
【００２７】本発明は、以上のような従来の問題点を解
決するためになされたもので、状態遷移の手間の若干の
増大を許すかわりに、ＤＭＯよりもサイズが小さい「失
敗遷移付き有限状態機械」（Ａｈｏ−Ｃｏｒａｓｉｃｋ
法）を、従来のＤＭＯ作成方法である部分集合構成法よ
りも高速に作成する有限状態機械作成方法と、この有限
状態機械をパターン照合用に特殊化したパターン照合機
械を作成するパターン照合機械作成方法と、これら有限
状態機械作成方法およびパターン照合機械作成方法で作
成された機械を変形する方法とこれらを高速に駆動する
方法とを提供することを目的とする。
【００２８】
【課題を解決するための手段】上記目的を達成するため
に、本発明は、図１に示すように有限状態機械作成方法
およびパターン照合機械作成方法１０として、初期状態
生成手段１１と、未処理要素選択手段１２と、成功関数
値算定格納手段１３と、失敗関数値算定格納手段１４
と、出力関数値算定格納手段１５と、要素追加格納手段
１６とを備えたものである。
【００２９】本発明はまた、図２に示すように、指定さ
れた内部状態と外部入力とに対応して機械を変形する有
限状態機械変形方法およびパターン照合機械変形方法２
０として、遷移先調査手段２１と、失敗先決定手段２２
と、遷移先決定格納手段２３と、失敗定義削除手段２４
とを備えたものである。
【００３０】本発明はまた、図３に示すように、記憶容
量の許す限り高速動作が可能な有限状態機械作成方法３
０として、有限状態機械作成手段３１と、記憶領域判定
手段３２と、変形対象状態選択手段３２と、有限状態機
械変形手段３３とを備えたものである。
【００３１】本発明はまた、図４に示すように、記憶容
量の許す限り高速動作が可能なパターン照合機械作成方
法４０として、パターン照合機械作成手段４１と、記憶
領域判定手段４２と、変形対象状態選択手段４３と、パ
ターン照合機械変形手段４４とを備えたものである。
【００３２】本発明はまた、図５に示すように、有限状
態機械の動作中に、状態遷移の頻度を計測し、高頻度で
状態遷移する部分を変形して動作途中からの高速化を図
る有限状態機械駆動方法５０として、有限状態機械作成
手段５１と、有限状態機械駆動手段５２と、失敗回数計
数判定手段５３と、有限状態機械変形手段５４とを備え
たものである。
【００３３】本発明はまた、図６に示すように、パター
ン照合機械の動作中に、状態遷移の頻度を計測し、高頻
度で状態遷移する部分を変形して動作途中からの高速化
を図るパターン照合機械駆動方法６０として、パターン
照合機械作成手段６１と、パターン照合機械駆動手段６
２と、失敗回数計数判定手段６３と、パターン照合機械
変形手段６４とを備えたものである。
【００３４】
【作用】
（有限状態機械作成方法）有限状態機械作成の際には、
非決定性有限状態機械の状態の集合ｑと、ｑの部分集合
ｐの組＜ｐ，ｑ＞を決定性有限状態機械の内部状態と見
なし、その第１段階では、図１の初期状態生成手段１１
が、決定性有限状態機械作成の初期状態を非決定性有限
状態機械の初期状態ｓを用いて、＜｛ｓ｝，｛ｓ｝＞と
定めて、未処理の要素として要素追加格納手段１６に送
って要素集合に加えるとともに、初期状態での決定性有
限状態機械の出力を、非決定性有限状態機械のｓでの出
力のみからなる集合と定めて、出力関数値算定格納手段
１５に送って格納し、さらに空集合φの組＜φ，φ＞を
処理済の要素として、要素追加格納手段１６に送って格
納するとともに、＜φ，φ＞での出力関数の値λ（＜
φ，φ＞）を空集合φと定めて出力関数値算定格納手段
１５に送って格納し、さらに任意の外部入力ｃに対する
成功関数ｇ（＜φ，φ＞，ｃ）の値を＜φ，φ＞と算定
して、成功関数値算定格納手段１３に送って格納する。
【００３５】有限状態機械作成の第２段階では、要素集
合中に未処理の要素がなければ、未処理要素選択手段１
２がこれを検出して有限状態機械作成を終了し、要素集
合中に、未処理要素が含まれていれば、未処理要素選択
手段１２が要素集合から任意の算法によって未処理要素
＜ｐ，ｑ＞を１つ選択するとともに、未処理要素＜ｐ，
ｑ＞を処理済の要素に変更する。
【００３６】有限状態機械作成の第３段階では、決定性
有限状態機械作成の第２段階で選択した要素＜ｐ，ｑ＞
の第１成分である非決定性有限状態機械の状態集合ｐの
いずれかの要素について、非決定性有限状態機械の次の
内部状態が定義されている外部からの入力ｃがあれば、
成功関数値算定格納手段１３が、ｃに対する成功関数ｇ
（＜ｐ，ｑ＞，ｃ）の値＜ｘ，ｙ＞を、ｙの値として、
非定性有限状態機械の、外部からの入力がｃで現在の状
態がｐの要素である場合の非決定性有限状態機械の次の
内部状態の和集合を選び、ｘの値としてｙの値そのも
の、あるいはｙの値の空でない真部分集合を選ぶことで
算定して格納し、要素追加格納手段１６が、＜ｘ，ｙ＞
が要素集合中になければ、未処理の要素として要素集合
中に追加するとともに、出力関数値算定格納手段１５
が、状態＜ｘ，ｙ＞での出力関数λ（＜ｘ，ｙ＞）の値
ｗがまだ定義されていない場合には、ｗの値として、非
決定性有限状態機械の、ｙの各要素での出力の集合を選
ぶことにより算定して格納する。
【００３７】有限状態機械作成の第４段階では、前記内
部状態＜ｐ，ｑ＞の、ｐのいずれの要素についても非決
定性有限状態機械の次の内部状態が定義されていない外
部からの入力ｄがある場合に、各々のｄに対して、失敗
関数値算定手段１４が、ｄに依存しない失敗関数ｆ（＜
ｐ，ｑ＞）の値を、集合ｑから集合ｐの要素を除いた差
集合ｑ−ｐと、ｑ−ｐの任意の部分集合ｚの組＜ｚ，ｑ
−ｐ＞で算定して格納するとともに、出力関数値算定格
納手段が１５、状態＜ｘ，ｙ＞での出力関数λ（＜ｘ，
ｙ＞）の値ｗが未定義の場合には、ｗとして、非決定性
有限状態機械の、ｑ−ｐの各要素での出力の集合を選ぶ
ことにより算定して格納する。有限状態機械作成の第５
段階では、有限状態機械作成の第２段階に戻って処理を
続行することで、従来よりも状態遷移表のサイズが小さ
な決定性有限状態機械を、高速に作成することができ
る。
【００３８】（パターン照合機械作成方法）パターン照
合機械作成の際には、非決定性有限状態機械の状態の集
合ｐと、パターン照合機械の状態ｒとの組＜ｐ，ｒ＞を
パターン照合機械の内部状態と見なし、その第１段階で
は、図１の初期状態生成手段１１が、パターン照合機械
の初期状態Ｓを、非決定性有限状態機械の初期状態ｓを
用いて、＜｛ｓ｝，Ｓ＞と算定して未処理の要素として
要素追加格納手段１６に送って要素集合に加えるととも
に、初期状態での決定性有限状態機械の出力を、非決定
性有限状態機械のｓでの出力のみからなる集合と定め
て、出力関数値算定格納手段１５に送って格納する。
【００３９】パターン照合機械作成の第２段階では、要
素集合中に未処理の要素がなければ、未処理要素選択手
段１２がこれを検出して有限状態機械作成を終了し、前
記要素集合中に、未処理要素が含まれていれば、未処理
要素選択手段１２が要素集合から、最も早期に要素集合
に追加された未処理要素＜ｐ，ｒ＞を選択するとともに
未処理要素＜ｐ，ｒ＞を処理済の要素に変更する。
【００４０】パターン照合機械作成の第３段階では、前
記有限状態機械作成方法の第２段階で選択した要素＜
ｐ，ｒ＞の第１成分である非決定性有限状態機械の状態
集合ｐのいずれかの要素について、成功関数値算定格納
手段１３が、非決定性有限状態機械の次の内部状態が定
義されている外部からの入力ｃがあれば、成功関数値算
定格納手段１３が、ｃに対する成功関数ｇ（＜ｐ，ｒ
＞，ｃ）の値＜ｘ，ｙ＞を、ｙの値として、＜ｐ，ｒ＞
が初期状態Ｓの場合にはＳを選び、＜ｐ，ｒ＞が初期状
態以外の場合には、＜ｐ，ｒ＞の第２部分ｒを取り出す
演算Ｒ（＜ｐ，ｒ＞）を成功関数ｇ（・，ｃ）が初めて
定義されるまで、１回以上繰り返した状態ｕ＝Ｒ（Ｒ
（…Ｒ（＜ｐ，ｒ＞）…））と文字ｃとの組に対する成
功関数の値ｇ（ｕ，ｃ）を選び、ｘの値として、ｐの要
素と文字ｃに対する非決定性有限状態機械の次の状態の
和集合ｊから、演算Ｒを０回以上適用した後、パターン
照合機械の状態＜ｐ，ｒ＞の第１成分ｐを取り出す演算
Ｐを適用してできる集合の列Ｐ（ｙ），Ｐ（Ｒ
（ｙ）），Ｐ（Ｒ（Ｒ（ｙ）），…の和集合ｋ＝Ｐ
（ｙ）ＵＰ（Ｒ（ｙ））ＵＰ（Ｒ（Ｒ（ｙ））Ｕ …の
差集合ｕ−ｋを選び、もしもｘの値が空集合ならば成功
関数ｇ（＜ｐ，ｒ＞，ｃ）の値として、＜ｘ，ｙ＞では
なくｙを選ぶことで算定して格納した後で、要素追加格
納手段１６が、＜ｘ，ｙ＞が要素集合中になければ、未
処理の要素として要素集合中に追加するとともに、出力
関数値算定格納手段１５が、状態＜ｘ，ｙ＞での出力関
数λ（＜ｘ，ｙ＞）の値ｗを、ｗの値として、Ｐ（ｇ
（＜ｐ，ｒ＞，ｃ））の要素での非決定性有限状態機械
の出力の和集合とＱ（ｇ（＜ｐ，ｒ＞，ｃ））でのパタ
ーン照合機械の出力の和集合を選ぶことにより算定して
格納する。
【００４１】パターン照合機械作成の第４段階では、内
部状態＜ｐ，ｒ＞と、ｐのいずれの要素についても非決
定性有限状態機械の次の内部状態が定義されていない文
字ｄがあれば、失敗関数値算定格納手段１４が、ｄに依
存しない失敗関数ｆ（＜ｐ，ｒ＞）の値を、ｒであると
算定して格納する。
【００４２】パターン照合機械作成の第５段階では、前
記有限状態機械作成方法の第２段階に戻って処理を続行
することにより、従来よりも状態遷移表のサイズが小さ
なパターン照合機械を、高速に作成することができる。
【００４３】（有限状態機械変形方法）指定された内部
状態と外部入力とに関して有限状態機械を変形する際に
は、その第１段階では、図２の遷移先調査手段２１が、
指定された前記内部状態＜ｐ，ｑ＞と、指定された前記
外部入力ｃとに対する前記成功関数ｇ（＜ｐ，ｑ＞，
ｃ）の値が定義されているかどうか調査して、既に定義
されている場合には、変形処理を終了する。
【００４４】有限状態機械変形の第２段階では、失敗先
決定手段２２が、指定された前記内部状態＜ｐ，ｑ＞
に、前記有限状態機械で定まっている失敗関数ｆ（・）
を、関数値ｖに対して初めて成功関数ｇ（ｖ，ｃ）が定
義されるまで、１回以上作用させた状態ｈ＝ｆ（ｆ（…
ｆ（＜ｐ，ｑ＞）…））を求める。
【００４５】有限状態機械変形の第３段階では、遷移先
決定手段２３が、指定された内部状態＜ｐ，ｑ＞での、
指定された外部入力ｃに対する遷移先を、成功関数の値
として、ｇ（＜ｐ，ｑ＞，ｃ）＝ｇ（ｈ，ｃ）で算定し
て格納する。
【００４６】有限状態機械変形の第４段階では、失敗定
義削除手段２４が、ｇ（＜ｐ，ｑ＞，ｃ）の値の定義を
追加することによって、任意の外部入力ｘについて、成
功関数ｇ（＜ｐ，ｑ＞，ｘ）の値が定義される場合に
は、失敗関数ｆ（＜ｐ，ｑ＞）の定義を取り消す。
【００４７】有限状態機械変形の第５段階では、変形処
理を終了することによって、望みの状態遷移だけを、効
率よく、しかも有限状態機械の動作中に行なうことがで
きる。
【００４８】（パターン照合機械変形方法）指定された
内部状態と外部入力とに関してパターン照合機械を変形
する際には、その第１段階では、図２の遷移先調査手段
２１が、指定された内部状態＜ｐ，ｑ＞と指定された文
字ｃとに対する成功関数ｇ（＜ｐ，ｒ＞，ｃ）の値が定
義されているかどうか調査して、既に定義されている場
合には、変形処理を終了する。
【００４９】パターン照合機械変形の第２段階では、失
敗先決定手段２２が、指定された内部状態＜ｐ，ｒ＞
に、パターン照合機械で定まっている失敗関数ｆ（・）
を、関数値ｖに対して初めて成功関数ｇ（ｖ，ｃ）が定
義されるまで、１回以上作用させた状態ｈ＝ｆ（ｆ（…
ｆ（＜ｐ，ｒ＞）…））を求める。
【００５０】パターン照合機械変形の第３段階では、遷
移先決定手段２３が、指定された前記内部状態＜ｐ，ｒ
＞での、指定された前記文字ｃに対する遷移先を、成功
関数の値として、ｇ（＜ｐ，ｒ＞，ｃ）＝ｇ（ｈ，ｃ）
で算定して格納する。
【００５１】パターン照合機械変形の第４段階では、失
敗定義削除手段２４が、ｇ（＜ｐ，ｒ＞，ｃ）の値の定
義を追加することによって、任意の文字ｘについて、成
功関数ｇ（＜ｐ，ｒ＞，ｘ）の値が定義される場合に
は、失敗関数ｆ（＜ｐ，ｒ＞）の定義を取り消す。
【００５２】パターン照合機械変形の第５段階では、変
形処理を終了することによって、望みの状態遷移だけ
を、効率よく、しかもパターン照合機械の動作中に行な
うことができる。
【００５３】（有限状態機械作成方法）記憶容量の許す
限り高速動作が可能な有限状態機械の作成の際には、図
３の有限状態機械作成手段３１が上記有限状態機械作成
方法を用いて決定性有限状態機械を作成した後、記憶領
域判定手段３２が、決定性有限状態機械の状態遷移のた
めに確保している記憶領域が、予め定められた大きさ以
下であるかどうか調べ、記憶領域が、予め定められた大
きさ以下である限り、変形対象状態選択手段３３が決定
性有限状態機械の初期状態から近い内部状態から順に、
変形対象状態を選択し、有限状態機械変形手段３４が、
予め定められた外部入力の集合の各要素に対して上記有
限状態機械変形方法を用いて決定性有限状態機械を変形
する操作を繰り返して、最終的な有限状態機械を作成す
ることにより、与えられた記憶容量の範囲内で、統計的
に最高の動作を行なう前記決定性有限状態機械を系統的
に構成することができる。
【００５４】（パターン照合機械作成方法）記憶容量の
許す限り高速動作が可能なパターン照合機械の作成の際
には、図４のパターン照合機械作成手段４１が上記パタ
ーン照合機械作成方法を用いてパターン照合機械を作成
した後、記憶領域判定手段４２が、パターン照合機械の
状態遷移のために確保している記憶領域が、予め定めら
れた大きさ以下であるかどうか調べ、記憶領域が、予め
定められた大きさ以下である限り、変形対象状態選択手
段４３が、パターン照合機械の初期状態から近い内部状
態から順に、変形対象状態を選択し、パターン照合機械
変形手段４４が、予め定められた文字集合の各要素に対
して上記パターン照合機械変形方法を用いてパターン照
合機械を変形する操作を繰り返して、最終的なパターン
照合機械を作成することによって、与えられた記憶容量
の範囲内で、統計的に最高の動作を行なうパターン照合
機械を系統的に構成することができる。
【００５５】（有限状態機械駆動方法）有限状態機械の
動作中に、状態遷移の頻度を計測し、高頻度で状態遷移
する部分を変形して動作途中からの高速化を図る有限状
態機械の駆動の際には、まず、図５の有限状態機械作成
手段５１が、上記有限状態機械作成方法を用いて決定性
有限状態機械を作成した後、有限状態機械駆動手段５２
が、作成された決定性有限状態機械を駆動すると同時
に、失敗回数計数判定手段５３が、決定性有限状態機械
の駆動開始から、決定性有限状態機械の各内部状態から
実際の外部入力によって次の内部状態に遷移する際の失
敗関数の適用回数を各々の外部入力と個々の外部入力毎
に記録し、特定の内部状態および特定の外部入力の組に
ついて、失敗回数が予め定められた回数に達したら、有
限状態機械駆動手段５２が、一旦前記有限状態機械の駆
動動作を中断し、有限状態機械変形手段５４に、当該内
部状態および当該外部入力を通知し、有限状態機械変形
手段５４は、この組を上記有限状態機械変形方法を適用
して決定性有限状態機械を変形した後、有限状態機械駆
動手段５２が中断していた動作を変形後の前記決定性有
限状態機械を用いて再開することによって、照合対象デ
ータ毎に最適な有限状態機械による高速な照合を行なう
ことができる。
【００５６】（パターン照合機械駆動方法）パターン照
合機械の動作中に、状態遷移の頻度を計測し、高頻度で
状態遷移する部分を変形して動作途中からの高速化を図
るパターン照合機械の駆動の際には、まず、図６のパタ
ーン照合機械作成手段６１が、上記パターン照合機械作
成方法を用いてパターン照合機械を作成した後、パター
ン照合機械駆動手段６２が、作成されたパターン照合機
械を駆動すると同時に、失敗回数計数判定手段６３が、
パターン照合機械の駆動開始から、パターン照合機械の
各内部状態から実際の文字によって次の内部状態に遷移
する際の失敗関数の適用回数を各々の内部状態と個々の
文字毎に記録し、特定の内部状態および特定の文字の組
について、失敗回数が予め定められた回数に達したら、
パターン照合機械駆動手段６２が、一旦パターン照合動
作を中断し、パターン照合機械変形手段６４に当該内部
状態および当該文字を通知し、パターン照合機械変形手
段６４は、この組を対象として、上記パターン照合機械
変形方法を適用してパターン照合機械を変形した後、パ
ターン照合機械駆動手段６２が中断していたパターン照
合動作を変形後のパターン照合機械を用いて再開するこ
とによって、照合対象データ毎に最適な有限状態機械に
よる高速な照合を行なうことができる。
【００５７】
【実施例】以下、本発明の実施例について説明するが、
個別の実施例の説明に先立って、本発明の基本をなす以
下の事項について説明する。 １）失敗遷移付き有限状態機械とその作成方法および作
成方法の正当性 ２）パターン照合のための上記有限状態機械の２段階に
わたる特殊化 ３）失敗遷移付き有限状態機械およびパターン照合機械
の変形方法
【００５８】本発明で用いる失敗遷移付き有限状態機械
（Ｆｉｎｉｔｅ ｓｔａｔｅ Ｍａｃｈｉｎｅ ｗｉｔ
ｈ Ｆａｉｌｕｒｅ ｔｒａｎｓｉｔｉｏｎｓ、以下Ｆ
ＦＭと略記する。）とは、失敗遷移付きＭｏｏｒｅ機械
（Ｍｏｏｒｅ ｍａｃｈｉｎｅ ｗｉｔｈ Ｆａｉｌｕ
ｒｅ ｔｒａｎｓｉｔｉｏｎｓ、以下ＦＭＯと略記す
る。）と失敗遷移付きＭｅａｌｙ機械（ＭＥａｌｙ ｍ
ａｃｈｉｎｅ ｗｉｔｈＦａｉｌｕｒｅ ｔｒａｎｓｉ
ｔｉｏｎｓ、以下ＦＭＥと略記する。）の総称とする。
ＦＭＯ、ＦＭＥとは、次の７項組、 ＦＭＯ＝（Ｓ，Σ，Δ，ｇ，ｆ，μ，ｓ） ＦＭＥ＝（Ｓ，Σ，Δ，ｇ，ｆ，λ，ｓ） のことである。ただし、各項は次のように定義する。 Ｓは、状態の有限集合、Σは、入力記号の有限集合、Δ
は、出力記号の有限集合、ｇは、成功関数で、Ｓ×Σか
らＳへの部分関数、ｆは、失敗関数で、ＳからＳへの部
分関数、μは、ＦＭＯの出力関数で、ＳからΔの部分集
合族への全域関数、λは、ＦＭＥの出力関数で、Ｓ×Σ
からΔの部分集合族への全域関数、ｓは、初期状態で、
Ｓの特定の要素、
【００５９】ＦＭＯ、ＦＭＥと、従来の決定性有限状態
機械である決定性Ｍｏｏｒｅ機械（ＤＭＯ）、決定性Ｍ
ｅａｌｙ機械（ＤＭＥ）との違いは、状態遷移の方法の
みであり、ＤＭＯ、ＤＭＥがともに現在の状態ｑと現在
の入力記号ｃによって次の状態を定める全域関数である
状態遷移関数δ（ｑ，ｃ）を用いて１ステップで状態遷
移を行なうのに対して、ＦＭＯ、ＦＭＥでは、状態ｑ
と、一部の限られた入力記号ｃとによって次の状態を定
める部分関数である成功関数ｇ（ｑ，ｃ）と、成功関数
の値が定義されていない場合に、他の状態の状態遷移情
報を利用して遷移するために、利用する他の状態を指定
する失敗関数ｆ（ｑ）を用いた、以下のようなマルチス
テップの状態遷移を行なう。
【００６０】１）現在の状態ｑ∈Ｓおよび現在の入力記
号ｃ∈Σに対して、成功関数ｇ（ｑ，ｃ）が定義されて
いれば、次の状態をｇ（ｑ，ｃ）とし、状態遷移を完了
する。このとき、ＦＭＯではμ（ｑ）を、ＦＭＥでは、
λ（ｑ，ｃ）を出力する。 ２）ｇ（ｑ，ｃ）が定義されていない場合には、状態ｑ
を失敗関数の値ｆ（ｑ）で置き換えて、１）に戻って処
理を続行する。
【００６１】上記の状態遷移処理は、成功関数と失敗関
数が部分関数で、しかも失敗関数の値域に制限がないた
め、一般のＦＭＯ、ＦＭＥでは、遷移先が定義されない
場合や、有限回で処理が終了しない場合が生ずる。
【００６２】ある、ＦＭＯがΣ上の任意の入力系列に対
して、状態遷移動作が有限ステップで終了して遷移先が
求まるとき、そのＦＭＯはｗｅｌｌ−ｆｏｒｍｅｄであ
ると呼ぶことにする。
【００６３】ＦＭＥに関しても同様に、あるＦＭＥがΣ
上の任意の入力系列に対して、状態遷移動作が有限ステ
ップで終了して遷移先が求まるとき、そのＦＭＥはｗｅ
ｌｌ−ｆｏｒｍｅｄであると呼ぶことにする。
【００６４】また、あるＦＭＯ（ＦＭＥ）とＮＭＯ（Ｎ
ＭＥ）とが、任意の入力記号系列に対し、同一の出力記
号系列を出力するとき、そしてそのときに限り、当該Ｆ
ＭＯ（ＦＭＥ）と、当該ＮＭＯ（ＮＭＥ）とは等価であ
ると呼ぶことにする。
【００６５】以下の議論はＦＭＯに関するものに限定す
るが、ＦＭＥに関する議論も同様に進めることができる
事を注意しておく。
【００６６】さて、上記定義の下で、与えられたＮＭＯ
に等価な、ｗｅｌｌ−ｆｏｒｍｅｄなＦＭＯを作成する
基本作成法を以下に掲げる。ただし、ＮＭＯを（Ｑ，
Σ，Δ，δ，λ，ｑ0 ）とし、作成すべきＦＭＯを
（Ｓ，Σ，Δ，ｇ，ｆ，μ，ｓ0 ）とし、Ｓは｛＜ｐ，
ｑ＞｜ｑ⊆Ｑかつｐ⊆ｑかつ（ｐ≠φまたはｐ＝ｑ）｝
の部分集合とする。
【００６７】［作成方法１］ １）まず、集合Ｓを空とし、初期状態ｓ0 を、ｓ0 ＝＜
｛ｑ0 ｝，｛ｑ0 ｝＞と定め、ｓ0 を、処理済みの印の
付いていない要素としてＳに追加する。また初期状態で
の出力をμ（ｓ0 ）＝｛λ（ｑ0 ）｝と定める。次にｑ
が空集合φである状態＜φ，φ＞を処理済みの印のつい
た要素としてＳに追加し、この状態での任意の入力記号
ｃに対する成功関数の値を、ｇ（＜φ，φ＞，ｃ）＝＜
φ，φ＞と定め、さらに＜φ，φ＞での出力値をμ（＜
φ，φ＞）＝φと定める。
【００６８】２）Ｓから処理済みの印の付いていない要
素＜ｐ，ｑ＞を１つ選択し、処理済みの印を付ける。も
し、Ｓの全ての要素に処理済みの印がついている場合に
は、処理を終了する。
【００６９】３）式（１）となる各々の入力記号ｃ∈Σ
に対して、状態＜ｐ，ｑ＞と入力記号ｃに対する成功関
数を、次式（２）で定める。
【００７０】
【数１】
【００７１】 ｇ（＜ｐ，ｑ＞，ｃ）＝＜ｘ，ｙ＞ ・・・（２） ただし、ｙは式（３）とし、ｘはｙの空でない任意の部
分集合とする。
【００７２】
【数２】 そしてもし、＜ｘ，ｙ＞がＳの要素でない場合には、＜
ｘ，ｙ＞を、処理済みの印の付いていない要素としてＳ
に追加し、かつ＜ｘ，ｙ＞での出力の値を次式（４）で
定める。
【００７３】
【数３】
【００７４】４）式（５）となる入力記号ｃ∈Σが存在
する場合には、状態＜ｐ，ｑ＞での失敗関数の値を次式
（６）で定める。
【００７５】
【数４】
【００７６】 ｆ（＜ｐ，ｑ＞）＝＜ｚ，ｑ−ｐ＞ ・・・（６） ただし、ｚには、ｑ−ｐの部分集合を任意に選択する
が、ｑ−ｐ≠φの際には空でないものを選ぶものとす
る。そしてもし、＜ｚ，ｑ−ｐ＞がＳの要素でない場合
には、＜ｚ，ｑ−ｐ＞を処理済みの印の付いていない要
素としてＳに追加し、かつ＜ｚ，ｑ−ｐ＞での出力の値
を次式（７）で定める。
【００７７】
【数５】 ５）２）に戻って処理を続ける。
【００７８】作成方法１の正当性は、以下の２つの命題
が成立する事で理解することができる。 ［命題１］ 作成方法１は、ｗｅｌｌ−ｆｏｒｍｅｄな
ＦＭＯを作成する。 ［命題２］ 作成方法１が作成するＦＭＯは、下のＮＭ
Ｏと等価である。
【００７９】［命題１の証明］作成方法１で作成したＦ
ＭＯの任意の状態＜ｐ，ｑ＞からの状態遷移動作が有限
ステップで終了することを、集合ｑの要素数｜ｑ｜に関
する帰納法で示す。 １° ｜ｑ｜＝０であるＦＭＯの状態は＜φ，φ＞のみ
であり、この場合には作成方法１のステップ２）によ
り、状態遷移動作は、任意の入力記号に対して１ステッ
プで終了し、題意が成り立つ。 ２° ｜ｑ｜≦ｍ（０≦ｍとする）である全ての状態に
ついて題意が成り立つと仮定すれば、｜ｑ｜＝ｍ＋１で
ある任意の状態＜ｐ，ｑ＞からの、入力記号ｃによる状
態遷移動作は、以下の２者のいずれかとなる。 ａ）作成方法１のステップ３）で定めた成功関数ｇ（＜
Ｐ，ｑ＞，ｃ）によって１ステップで終了して、遷移先
が求まる。 ｂ）作成方法１のステップ４）で定めた失敗関数の値で
ある状態＜ｚ，ｑ−ｐ＞からの状態遷移動作に帰着す
る。
【００８０】ａ）の場合には題意が成り立つ。ｂ）の場
合は、次のように分類できる。 ｂ１）ｐ＝ｑの場合 この場合には、ｆ（＜ｐ，ｑ＞）＝＜φ，φ＞となっ
て、上記１°に帰着し、題意が成り立つ。 ｂ２）ｐ≠ｑの場合 この場合には、ｐ⊆ｑより、｜ｑ−ｐ｜＜｜ｑ｜＝ｍ＋
１即ち｜ｑ−ｐ｜≦ｍが成り立ち、帰納法の仮定から、
ｆ（＜ｐ，ｑ＞）からの状態遷移動作は有限ステップで
終了し、題意が成り立つ。 結局、｜ｑ｜＝ｍ＋１の任意の状態＜ｐ，ｑ＞について
題意が成り立つ。
【００８１】上記１°，２°と、状態数が有限であるこ
とから、任意の状態＜ｐ，ｑ＞について題意が成り立
つ。（証明終わり）
【００８２】次に、命題２を証明するためには、次の補
題が成り立つことを利用する。 ［補題１］ｑx を、初期状態ｑ0 のＮＭＯに入力列ｘを
入力した時の状態集合とし、ｓx を、初期状態ｓ0 のＦ
ＭＯに入力列ｘを入力した時の状態とする。ＦＭＯは、
作成方法１によってＮＭＯから構成されたものとする。
また、関数Ｑを次式（８）で定義する。 Ｑ（＜ｐ，ｑ＞）≡ｑ ・・・（８） このとき、任意の文字列ｘに対して、次式（９）が成り
立つ。 ｑx ＝Ｑ（Ｓx ） ・・・（９）
【００８３】補題１は、文字列ｘの長さ｜ｘ｜に関する
帰納法を用いて容易に示すことができる。さて、この補
題１を用いると、命題２は、以下の様に証明できる。
【００８４】［命題２の証明］補題１と、作成方法１の
ステップ３），４）より、初期状態から、任意の文字列
ｘを入力した時のＮＭＯ，ＦＭＯの最終出力は、
【００８５】ＮＭＯでは、
【数６】
【００８６】ＦＭＯでは、
【数７】 となり、作成方法１で構成したＦＭＯは、任意の入力文
字列に対し、元のＮＭＯと同一文字列を出力し、題意が
成り立つ（証明終わり）。
【００８７】以上で、本発明の基本をなす新しい型の有
限状態機械の定義と、その作成方法および作成方法の正
当性の説明を終わる。
【００８８】次に、パターン照合のための前記有限状態
機械の２段階にわたる特殊化について説明する。テキス
ト文字列を先頭から順次走査して、Ｎ個の正規表現Ｒｊ
（ｊ＝１，…，Ｎ）とのパターン照合を行ない、Ｒｊと
の照合が成功した場合には、Ｄｊ（ｊ＝１，…，Ｎ）を
出力するＦＭＯを構成するには、まず、 （Σ* / ε）((Ｒ1/Ｄ1)｜( Ｒ2/Ｄ2)｜・・・ ｜ (Ｒ N/ Ｄ N))・・・（１２） に対応するＮＭＯを、Ｒｏｂｉｎｓｏｎの構成法などの
既知の方法によって構成し、構成したＮＭＯに対して、
作成方法１を適用すればよい。この中間構成物であるＮ
ＭＯには、開始状態から任意の時刻で開始状態に戻る
「ループ」ができる点に注目すれば、状態集合を開始状
態ｓ0 を「離れる」時刻で区分することによって、作成
方法１を変形した、以下のパターン照合用の失敗遷移付
き有限状態機械の構成法を得る。ただし、ＮＭＯを
（Ｑ，Σ，Δ，δ，λ，ｑ0 ）とし、作成すべきＦＭＯ
を（Ｓ，Σ，Δ，ｇ，ｆ，μ，ｓ0 ）とし、Ｑの空でな
いＮ個の部分集合ｐj （ｊ＝１，…，Ｎ）の列＜ｐ1 ，
…，ｐn ＞全体の作る集合の部分集合がＳであるとす
る。
【００８９】［作成方法２］ １）初期状態ｓ0 として、＜｛ｑ0 ｝＞を選んでＳに入
れるとともに、キューに入れる。また、初期状態での出
力μ（ｓ0 ）の値を｛λ（ｑ0 ）｝と定める。
【００９０】２）もし、キューが空ならば、処理を終了
する。もし、キューが空でないなら、キューの先頭の要
素Ｐ≡＜ｐ1 ，…，ｐn ＞をキューから取り出す。
【００９１】３）式（１３）となる全ての文字ｃ∈Σに
ついて、成功関数ｇを次のように定める。まず、ｎ＋１
個の集合ｘ1 ，ｘ2 ，…，ｘn ，ｘn+1 を次式（１
４），（１５）で求める。
【００９２】
【数８】
【００９３】 ｘ1 ＝ｐ1 ・・・（１４）
【数９】
【００９４】次に、ｘi のうち、空集合でないものを、
添字の昇順に並べた列Ｙ≡＜ｙ1 ，…，ｙm ＞を成功関
数ｇ（Ｐ，ｃ）の値とする。さらに、ＹがＳに含まれて
いない場合には、ＹをＳの要素に加えるとともにキュー
に入れ、Ｙでの出力を次式（１６）で求める。
【００９５】
【数１０】
【００９６】４）式（１７）となる文字ｃ∈Σが存在す
る場合には、失敗関数ｆを次式（１８）で定める。
【００９７】
【数１１】
【００９８】 ｆ（ｐ）＝＜ｐ1 ，ｐ2,・・・,p n-1 ＞ ・・・（１８）
【００９９】５）ステップ２）に戻って処理を続ける。
【０１００】上記の作成方法２では、キューの先頭から
取り出した要素Ｐの文字ｃによる遷移先Ｙは、ｘn+1 以
外の部分がｐ1 ，…，ｐn-1 のみによって定まる。従っ
て、もしＲ≡＜ｐ1 ，…，ｐn-1 ＞がＳの要素で、Ｒで
の文字ｃによる遷移先がＷならば、Ｐは＜Ｒ，ｐ＞と書
け、Ｙは＜Ｗ，ｙ＞と書けることになる。この性質を利
用して、作成方法２と等価で、より効率のよい、以下の
作成方法を得る。
【０１０１】ただし、ＮＭＯを（Ｑ，Σ，Δ，δ，λ，
ｑ0 ）とし、作成すべきＦＭＯを（Ｓ，Σ，Δ，ｇ，
ｆ，μ，ｓ0 ）とし、Ｑの空でない部分集合ｐと、Ｓの
要素ｒの順序対Ｒ≡＜ｐ，ｒ＞全体の作る集合の部分集
合がＳであるとする。また、Ｒ≡＜ｐ，ｒ＞の第１要素
ｐ、第２要素ｒを得る関数を、それぞれｐ（Ｒ），ｒ
（Ｒ）と書く。
【０１０２】［作成方法３］ １）初期状態ｓ0 として、＜｛ｑ0 ｝，ｓ0 ＞を選んで
Ｓに入れるとともに、キューに入れる。また、初期状態
での出力μ（ｓ0 ）の値を｛λ（ｑ0 ）｝と定める。
【０１０３】２）もし、キューが空ならば、処理を終了
する。もし、キューが空でないなら、キューの先頭の要
素Ｒをキューから取り出す。
【０１０４】３）式（１９）となる全ての文字ｃ∈Σに
ついて、成功関数ｇを次のように定める。まず、ｘを次
式（２０）および（２１）で求める。
【０１０５】
【数１２】
【０１０６】 ｘ＝Ｒ（Ｒ＝Ｓ0 の場合） ・・・（２０） ｘ＝ｇ( ｒ（ｒ(・・・ｒ（Ｒ）・・・)))( Ｒ≠Ｓ0 の場合）・・・（２１） ただし、関数 ｒ（・） の適用は、ｇ（・，ｃ）が初
めて定義されるまで、１回以上続ける。次に、ｙを次式
（２２）で求める。
【０１０７】
【数１３】
【０１０８】ｙが空でない場合には、Ｙ≡＜ｙ，ｘ＞を
成功関数ｇ（Ｒ，ｃ）の値とし、ｙが空集合の場合に
は、Ｙ≡ｘを成功関数ｇ（Ｒ，ｃ）の値とする。さら
に、ＹがＳに含まれていない場合には、ＹをＳの要素に
加えるとともにキューに入れ、Ｙでの出力を次式（２
３）で定める。
【０１０９】
【数１４】
【０１１０】４）式（１９）となる文字ｃ∈Σが存在す
る場合には、失敗関数ｆを、次式（２４）で定める。 ｆ（Ｙ）＝ｒ（Ｒ） ・・・（２４）
【０１１１】５）ステップ２）に戻って処理を続ける。
【０１１２】以上で、パターン照合のための前記有限状
態機械の２段階にわたる特殊化についての説明を終わ
る。
【０１１３】次に、失敗遷移付き有限状態機械およびパ
ターン照合機械の変形方法についての説明する。
【０１１４】まず、前記作成方法１で作成したＦＭＯを
（Ｓ，Σ，Δ，ｇ，ｆ，μ，ｓ０）とし、Ｓは｛＜ｐ，
ｑ＞｜ｑ⊆Ｑかつｐ⊆ｑかつ（ｐ≠φまたはｐ＝ｑ）｝
の部分集合とする。このＦＭＯの特定の状態 Ｐ≡＜
ｐ，ｑ＞からの、外部入力ｃでの遷移先が、必ず成功関
数ｇ（＜ｐ，ｑ＞，ｃ）で定義されるように、以下のよ
うにＦＭＯを変形することが可能である。
【０１１５】［変形方法１］ １）もし、指定した状態＜ｐ，ｑ＞と、着目した外部入
力ｃについて、ＦＭＯの成功関数ｇ（＜ｐ，ｑ＞，ｃ）
が定義されていれば、処理を終了する。 ２）着目する状態Ｐとして、新たにｆ（＜ｐ，ｑ＞）を
考える。 ３）もし、着目した状態Ｐと、着目した外部入力ｃにつ
いて、ＦＭＯの成功関数ｇ（Ｐ，ｃ）が定義されていな
ければステップ２）に戻って処理を続行する。 ４）状態＜ｐ，ｑ＞，外部入力ｃでの成功関数ｇ（＜
ｐ，ｑ＞，ｃ）の値を、ｇ（Ｐ，ｃ）と定義する。 ５）もし上記のステップ４）により、任意の外部入力ｘ
について、成功関数ｇ（＜ｐ，ｑ＞，ｘ）の値が定義さ
れるようになった場合には、失敗関数ｆ（＜ｐ，ｑ＞）
の定義を取り消す。 ６）処理を終了する。
【０１１６】前記作成方法３で作成したパターン照合用
のＦＭＯについても、上と同様の方法で、指定した状態
からの指定した文字による遷移を成功関数による１段階
の動作で実行するように変形することができる。
【０１１７】しかも、この変形操作は、前記変形方法１
から容易にわかるように、局所的なものであり、ＦＭＯ
全体の変形を伴わないため、高速に実行できる。さら
に、この変形操作は、ＦＭＯの動作時でも、状態遷移中
でなければ任意の時点で実行できるため、動作時中に必
要な部分だけを動的に変形し、外部入力にフィットした
ＦＭＯを構成することが可能になる。
【０１１８】以上で、失敗遷移付き有限状態機械および
パターン照合機械の変形方法についての説明を終わり、
個別の実施例の説明に移る。
【０１１９】（実施例１）以下、本発明の第１の実施例
について図面を参考にしながら説明する。図７は本発明
の有限状態機械作成方法を適用した製品自動検査システ
ムの一実施例を示す全体構成図である。
【０１２０】図７において、１０１は、ベルトコンベア
上を流れる製品の第１の特徴を調べて、０か１かのどち
らかの値を出力する第１のセンサ、１０２は、ベルトコ
ンベア上を流れる製品の第２の特徴を調べて、やはり０
か１かのどちらかの値を出力する第２のセンサ、１０３
はＦＭＯを応用した電子回路による制御装置、４０４
は、検査の結果、良品と判定された製品に検査印を押す
捺印ロボット１０５は、制御装置１０３に供給するＦＭ
Ｏのデータを外部機器からのＮＭＯデータに基づいて作
成するＦＭＯ作成手段であり、図１に示した各手段を備
えている。
【０１２１】以上のような構成において、まず、ＦＭＯ
作成手段１０５による、制御装置１０３に格納するＦＭ
Ｏの作成方法を説明する。制御装置１０３の動作は、図
８のようなＮＭＯで指定されているものとする。ただ
し、図８の状態Ｓ0 は個々の製品の検査を始める際の初
期状態であり、図８のＮＭＯの現在の状態集合からの遷
移先が空集合になる（遷移先が１つも定義されていな
い。）入力の場合には、不良と判定して、次の製品の検
査に進み、２重丸の状態（Ｓ5 ）に至った場合には、
（Ａ）の動作、即ち良品と判定して製品に検査印を押す
ものとする。
【０１２２】また、外部入力は、第１のセンサ１０１か
らの値「１」の入力をＡ１で表し、第１のセンサ１０１
からの値「０」の入力をＡ０で表し、第２のセンサ１０
２からの値「１」の入力をＢ１で表し、第２のセンサ１
０２からの値「０」の入力をＢ０で表すものとする。実
際の入力は、この２つのセンサの入力の組み合わせであ
るから、「Ａ１Ｂ０」のように表される。
【０１２３】さて、図８はＮＭＯであるから、ある瞬間
に２つ以上の状態を取り得る。従って、そのまま電子回
路として実現することは得策ではないため、図８のＮＭ
Ｏから本発明の作成方法（作成方法１）を用いて、ＦＭ
Ｏを作成する。
【０１２４】図９は、図８のＮＭＯに本発明の作成方法
１を適用してＦＭＯを作成する過程を示したものであ
る。図９において、遷移先が”−”になっている場合に
は、成功関数が定義されないことを、失敗関数の項目
が”−”になっている場合には、失敗関数が定義されな
いことを、それぞれ表す。
【０１２５】図１０は、図９に従って作成されたＦＭＯ
を表した状態遷移グラフである。図１０において、点線
のアークは、失敗関数による着目状態の移動を表す。図
１０と図２８とを比較すると、同一のＮＭＯから作成さ
れた決定性のＦＭＯでありながら、ＤＭＯでは、各状態
から必ず４種（入力の組み合わせ数）の遷移が定義され
ているのに対し、ＦＭＯでは、成功関数が部分関数であ
り、元のＮＭＯの状態遷移関数と同程度の定義域をもつ
ことが見て取れる。
【０１２６】このようなＤＭＯとＦＭＯの間の「有効遷
移数」の差は、入力の組み合わせが本実施例よりも多い
場合、例えば、入力のセンサが２個ではなく１０個ある
場合には、特に顕著になる。
【０１２７】従って、入力の組み合わせが多い場合に
は、ＦＭＯをプログラマブルＩＣに実装する場合でも、
ＤＭＯの場合に比べて、極めて小型の回路規模のＩＣで
実装できることになる。たとえば、積和型、即ち組み合
わせ回路がｎ本の入力線の信号レベルＤ1 ，Ｄ2 ，・・
・Ｄn とその反転値の２ｎ個の信号から任意の信号をｍ
本選んで論理積をとるプログラム可能な部分（これを積
項線と呼ぶ）が一定個数配置され、出力は一定本数の積
項線の出力の論理和で定まるタイプのＰＡＬと呼ばれる
プログラマブルＩＣの場合には、ＦＭＯを実装するほう
が、ＤＭＯを実装するよりも積項線の本数が少ないＩＣ
で済む。
【０１２８】（実施例２）次に、本発明の第２の実施例
について図面を参照しながら説明する。図１１は本発明
の有限状態機械作成方法を適用した製品自動検査システ
ムの一実施例を示す全体構成図である。
【０１２９】図１１において、５０１は、ベルトコンベ
ア上を流れる製品の第１の特徴を調べて、０か１かのど
ちらかの値を出力する第１のセンサ、５０２は、ベルト
コンベア上を流れる製品の第２の特徴を調べて、やはり
０か１かのどちらかの値を出力する第２のセンサ、５０
３はＦＭＯを応用した専用電子回路による制御装置、５
０４は、検査の結果、良品と判定された製品に検査印を
押す捺印ロボット、５０５は、制御装置５０３に供給す
るＦＭＯのデータを外部機器からのＮＭＯデータに基づ
いて作成するＦＭＯ作成手段、５０６は、ＦＭＯ作成手
段５０５の作成したＦＭＯを、制御装置５０３の記憶容
量に余裕がある限り変形して、状態遷移を成功関数の適
用による１段階の動作に置き換えるＦＭＯ変形手段であ
り、図２に示した各手段を備えている。ただし、ＦＭＯ
変形手段５０６は、作成・変形したＦＭＯが制御装置５
０３に格納できる限り、初期状態に近い状態から順に、
ＦＭＯの失敗遷移を取り除いていく、図３で説明した作
成方法を採用しているものとする。
【０１３０】以上の構成は、ＦＭＯ変形手段５０６以外
は図１と同一であり、ＦＭＯ作成手段５０５が作成した
ＦＭＯをそのまま用いるか、変形して用いるかが異な
る。
【０１３１】制御装置５０３の動作は、図８のＮＭＯで
指定されているものとすると、ＦＭＯ変形手段５０６
は、上記の実施例と同一の作成処理を行ない、図１０の
ＦＭＯを作成する。このＦＭＯがＦＭＯ変形手段５０６
に送られる。今、制御装置５０３は、状態遷移表を、成
功関数については、（始点、終点、外部入力）の３つ組
の集合の形で、失敗関数については、（始点、終点）の
組の集合の形で、それぞれ記憶するものとし、成功関数
の３つ組を１個記憶する毎に３語の記憶容量を消費し、
失敗関数の組を１個記憶する毎に、２語の記憶容量を消
費するこのとする。そして、制御装置５０３全体では、
１００語分の記憶容量があるものとする。またＦＭＯ変
形手段５０６は、このような制御装置５０３の記憶装置
の消費の仕方および記憶容量の限界を知っているものと
する。
【０１３２】図１０のＦＭＯを受け取ったＦＭＯ変形手
段５０６は、まず、図１０のＦＭＯをそのまま格納した
場合の記憶容量を算出する。図１０のＦＭＯには、２０
個の成功関数の３つ組と、１１個の失敗関数の組がある
ので、２０＊３＋１１＊２で合計８２語分の記憶容量を
消費し、あと１８語分の余裕があることがわかるので、
ＦＭＯの初期状態から順に、失敗遷移を消去する処理に
入る。
【０１３３】まず、初期状態ｔ0 と、４通りの外部入力
について、特許請求の範囲の請求項６に記載された有限
状態機械変形方法を順に適用する。
【０１３４】外部入力「Ａ０Ｂ１」、および「Ａ１Ｂ
０」については、状態ｔ0 での成功関数がすでに定義さ
れているため、変形処理は第１段階で中止される。
【０１３５】外部入力「Ａ０Ｂ０」および「Ａ１Ｂ１」
については、ｆ（ｔ0 ）の値がｔ3であることから、ｈ
の値はともにｔ3 となり、しかも、状態ｔ3 では「Ａ０
Ｂ０」および「Ａ１Ｂ１」に対する成功関数の値がとも
にｔ3 であると定義されているで、状態ｔ0 での成功関
数の値は、 ｇ（ｔ0 ，”Ａ０Ｂ０”）≡ｔ3 ｇ（ｔ0 ，”Ａ１Ｂ１”）≡ｔ3 と定義すればよいことになる。
【０１３６】そして、状態ｔ0 でのすべての外部入力に
対して成功関数が定義されたので、状態ｔ0 での失敗関
数の定義は取り除いてもよいことになる。
【０１３７】もし、この変形を実際に図１０のＦＭＯに
加えると、図１０のＦＭＯよりも２＊３−１＊２＝４語
分の記憶容量を余分に消費することになるが、制御装置
５０３には、１８語分の余裕があるので、この変形は実
行され、図１２のようなＦＭＯとなる。
【０１３８】次に、図１２のＦＭＯに対して、初期状態
ｔ0 に最も近い、即ち、初期状態から最も少ない回数の
状態遷移で到達できる状態が１つ選択される。図１２の
ＦＭＯの場合には、状態ｔ1 とｔ2 とｔ3 の３つが、１
回の状態遷移で到達できる。そこで、そのうちの１つｔ
1 が選ばれるとする。
【０１３９】外部入力「Ａ１Ｂ０」については、状態ｔ
1 での成功関数の値がすでに定義されているため、変形
処理は第１段階で中止される。
【０１４０】外部入力「Ａ１Ｂ０」および「Ａ１Ｂ１」
については、ｆ（ｔ1 ）の値がｔ2で、状態ｔ2 での成
功関数が、ともにｔ5 であると定義されている。従っ
て、状態ｔ1 での成功関数の値は、 ｇ（ｔ1 ，”Ａ１Ｂ０”）≡ｔ5 ｇ（ｔ1 ，”Ａ１Ｂ１”）≡ｔ5 と定義すればよいことになる。
【０１４１】また、外部入力「Ａ０Ｂ０」については、
ｆ（ｔ1 ）の値がｔ2 で、状態ｔ2での成功関数が、定
義されていないので、もう一度失敗関数を適用すると、
ｆ（ｆ（ｔ1 ））＝ｆ（ｔ2 ）＝ｔ3 となり、状態ｔ3
では、外部入力「Ａ０Ｂ０」に対する成功関数が定義さ
れているので、状態ｔ1 での成功関数の値は、 ｇ（ｔ1 ，”Ａ０Ｂ０”）≡ｔ3 と定義すればよいことになる。そして、状態ｔ1 でのす
べての外部入力に対して成功関数が定義されたので、状
態ｔ1 での失敗関数の定義は取り除いてもよいことにな
る。
【０１４２】もし、この変形を実際に図１２のＦＭＯに
加えると、図１２のＦＭＯよりも３＊３−１＊２＝７語
分の記憶容量を余分に消費することになるが、制御装置
５０３には、１４語分の余裕があるので、この変形は実
行され、図７のようなＦＭＯとなる。
【０１４３】次に、図１３のＦＭＯに対して、状態ｔ2
についての変形操作が、同様にして実行され、図１４の
ＦＭＯとなる。このとき、２＊３−１＊２＝４語分の記
憶容量の増加があり、余裕は３語分となる。続いて、図
１４のＦＭＯに対してｔ3 に関する変形を試みるが、状
態ｔ3 は、すでにすべての外部入力に関して、成功関数
の値が定義されているので、ＦＭＯの形は変化しない。
【０１４４】ここまでの変形操作で、初期状態ｔ0 か
ら、１回の状態遷移で到達できるすべての状態が変形で
きたので、次は、状態遷移２回で到達できる状態を対象
にする。このような状態としては、図１４のｔ4 、ｔ5
がある。ところが、状態ｔ4 を変形しようとすると、３
＊３−１＊２＝７語分の記憶容量の増加になり、状態ｔ
5 を変形しようとすると、２＊３−１＊２＝４語分の記
憶容量の増加になり、ともに、制御装置５０３の余裕分
の３語を越えてしまう。従って、この段階で変形処理が
終了し、図１４のＦＭＯ（９７語分の容量）が、制御装
置５０３に送られ、実際の製品検査処理が開始される。
【０１４５】このような変形操作によって、制御装置の
記憶容量の許す限りの、最も高速なＦＭＯを、元のＦＭ
Ｏからの局所的変形操作によって作成できる。
【０１４６】図５で説明した有限状態機械駆動方法も、
上述の変形方法と同様して行なわれるだが、有限状態機
械の駆動中に変形操作を段階的に行なう点と、変形対象
がある状態からの遷移すべてではなく、ある状態から
の、ある特定の外部入力に対する遷移である点、変形対
象の選択を、初期状態からの到達に必要な状態遷移回数
の少なさではなく、ある遷移が有限状態機械の駆動中
に、何回行なわれたかによって定める点の３点が異なっ
ている。
【０１４７】例えば、図１０のＦＭＯで製品検査を実行
中に、「Ａ０Ｂ１」、「Ａ１Ｂ０」、「Ａ１Ｂ１」とい
う外部入力の系列が特に多く、予め設定された回数に達
したとすると、対応する状態遷移ｔ0 →ｔ1 →ｔ4 →ｔ
10のうちで、失敗関数の適用を含む状態遷移ｔ4 →ｔ10
の変形が試みられ、成功関数 ｇ（ｔ4 ，”Ａ１Ｂ１”）≡ｔ10 が、図１０のＦＭＯに追加されることになり、以降の製
品検査の実行が高速化される。
【０１４８】（実施例３）次に、本発明の第３の実施例
について図面を参考にしながら説明する。図１５は、本
発明のパターン照合機械作成方法を適用した文書検索装
置の一部であるパターン照合装置の一実施例を示す全体
構成図である。
【０１４９】図１５において、９０１は、文字を表す文
字番号の列からなる入力文書を格納し１文字ずつ読み出
すことのできる入力文書メモリ、９０２は、ＦＭＯの成
功関数の値を、状態番号と文字番号で検索可能な表とし
てメモリに格納した成功関数メモリ、９０３は、ＦＭＯ
の失敗関数の値を状態番号で検索可能な表としてメモリ
に格納した失敗関数メモリ、９０４は、成功関数メモリ
９０２および失敗関数メモリ９０３の出力する状態番号
を記録する状態番号記録回路、９０５は、状態番号記録
回路９０４の出力する状態番号から、必要な外部動作の
番号を求める動作番号表メモリ、９０６は、成功関数メ
モリ９０２、失敗関数メモリ９０３および動作番号表メ
モリ９０４に供給するＦＭＯのデータを、外部機器から
のＮＭＯデータに基づいて作成するＦＭＯ作成手段であ
り、図１に示した各手段を備えている。
【０１５０】以上の構成において、以下その動作につい
て説明する。まず、照合動作に先立って、外部からＦＭ
Ｏ作成手段９０６に、検索したい文字列の集団と、検索
成功時の動作を表す正規変換から作成したＮＭＯを入力
して、ＦＭＯを作成し、作成したＦＭＯのデータを、成
功関数メモリ９０２、失敗関数メモリ９０３および動作
番号表メモリ９０４に格納する。
【０１５１】次に、入力文書メモリ９０１を初期化し
て、入力文書データを格納し、入力文書の着目文字を文
書の先頭にセットする。同時に、状態番号記録回路９０
４を初期化して、現在の状態番号を特別な値、例えば０
にセットする。以上で初期化動作が終了し、照合動作の
本体に進む。
【０１５２】次に、状態番号記録回路９０４の出力する
「現在の状態番号」と、入力文書メモリ９０１が出力す
る「着目する文字の文字番号」とを組み合わせた番号で
成功関数メモリ９０２を検索する。成功関数メモリ９０
２から、有効な状態番号が出力された場合には、その出
力値を、次の状態の状態番号として状態番号記録回路９
０４に記録する。
【０１５３】一方、成功関数メモリ９０２から有効な状
態番号が出力されない場合、即ち予め定められた無効な
番号が出力された場合には、失敗関数メモリ９０３の出
力値を、状態番号記録回路９０４に記録し、状態番号記
録回路９０４の新たな出力を用いて、着目文字を動かさ
ずに、再び成功関数メモリ９０２、失敗関数メモリ９０
３を参照する状態遷移動作を、成功関数メモリ９０２か
ら有効な状態番号が出力されるまで続け、１回の状態遷
移を終了する。
【０１５４】成功関数メモリ９０２は、例えば連想メモ
リで構成し、現在の状態番号と、入力文書中の文字の現
在着目している文字番号とをつなげた番号で連想検索す
ればよく、失敗関数メモリ９０３および動作番号表メモ
リ９０５は、通常のランダムアクセスメモリで構成すれ
ばよい。
【０１５５】そして、記録した状態番号で動作番号表メ
モリ９０５の表を引き、その動作番号の値に応じて、文
書検索装置の他の部分が種々の動作、例えば「入力文書
メモリ９０１が現在着目している文字の文書中での位置
を記録する」などの動作を行なう。
【０１５６】その後、入力文書格納メモリ９０１の「入
力文書の着目位置」が１文字だけ末尾方向にずらされ
る。この、「現在の状態と着目文字とから次の状態を求
めて、状態に応じた動作を行なった後、次の文字に着目
する」という動作を、動作番号が「動作停止」になる
か、あるいは入力文書の最終文字に到達するか、のどち
らかの条件が満たされるまで繰り返すことにより、入力
文書の照合が完了する。
【０１５７】成功関数メモリ９０２、失敗関数メモリ９
０３および動作番号表メモリ９０５には、例えば図１６
のような正規変換によって指定された照合条件を元にし
て算出したパターン照合機械の状態遷移表が格納される
ことになる。
【０１５８】図１７は、図１６の正規変換からＲｏｂｉ
ｎｓｏｎの方法を用いて作成したＮＭＯの状態遷移表、
図１８は図１７のＮＭＯの状態遷移グラフである。図１
７において、ｓｔａｔｅ項目はＮＭＯの状態番号を表
し、ｏｕｔｐｕｔ項目はＮＭＯの出力記号を表し、ａ，
ｂ，ｃ，ｄの各項目は、それぞれの文字での遷移先の状
態集合を表し、＄項目は、入力文字セット中の、ａ，
ｂ，ｃ，ｄ以外の文字を便宜上１文字で代表する仮想的
な文字”＄”での遷移先の状態集合を表す。
【０１５９】このＮＭＯデータが、ＦＭＯ作成手段９０
６に送られ、本発明によるパターン照合機械作成方法を
用いてＦＭＯが作成される。図１９は、図１８のＮＭＯ
に本発明によるパターン照合機械作成方法である、実施
例記載の「作成方法３」を適用してＦＭＯを構成する過
程を示し、図２０は作成結果の状態遷移表を示す図、図
２１は作成したＦＭＯの状態遷移グラフである。
【０１６０】図１９において、 ＦＭＯ＿ｓｔａｔｅ（ｉ）：＜｛ｑ１，…，ｑｍ｝，ｓ
＞ とあるのは、作成すべきＦＭＯの状態番号がｉ番の状態
が、ＮＭＯのｍ個の状態ｑ１，ｑ２，・・・ｑｍを要素
に持つ状態集合と、すでに構成したＦＭＯの部分に含ま
れる、ｓ番の状態の組に対応することを表す。
【０１６１】ＦＭＯ＿ｇｏｔｏ（＜｛ｑ１，…，ｑ
ｍ｝，ｓ＞，”ｘ”）＝＜｛ｐ１，…，ｐｎ｝，ｔ＞
（ｊ） とあるのは、作成すべきＦＭＯの、状態＜｛ｑ１，…，
ｑｍ｝，ｓ＞での、文字”ｘ”での遷移先が、状態 ＜
｛ｐ１，…，ｐｎ｝，ｔ＞ に対応し、その状態番号が
ｊ番であることを表す。
【０１６２】ＮＭＯ＿ｇｏｔｏ（｛ｑ１，…，ｑ
ｍ｝，”ｘ”）＝｛ｐ１，…，ｐｎ｝ とあるのは、元のＮＭＯの状態集合｛ｑ１，…，ｑｍ｝
からの、文字”ｘ”での遷移先が、状態集合｛ｐ１，
…，ｐｎ｝であることを表す。
【０１６３】ＦＭＯ＿ｆａｉｌ（＜｛ｑ１，…，ｑ
ｍ｝，ｓ＞，”ｘ”）＝＜｛ｐ１，…，ｐｎ｝，ｔ＞ とあるのは、ＦＭＯの状態＜｛ｑ１，…，ｑｍ｝，ｓ＞
の、文字”ｘ”での成功関数が定義されないので、失敗
関数の値を＜｛ｐ１，…，ｐｎ｝，ｔ＞と定義すること
を表す。
【０１６４】また、図２０において、ｓｔａｔｅ項目は
ＦＭＯの状態番号を表し、ｏｕｔｐｕｔ項目はＦＭＯの
出力記号集合を表し、ａ，ｂ，ｃ，ｄの各項目は、それ
ぞれの文字での遷移先の状態番号を表し、＄項目は、入
力文字セット中の、ａ，ｂ，ｃ，ｄ以外の文字を便宜上
１文字で代表する仮想的な文字”＄”での遷移先の状態
番号を表し、ｆａｉｌ項目は、失敗関数の値を表し、最
終行のＴｏｔａｌ ｘｘ Ａｒｃｓは、作成されたＦＭ
Ｏに、（遷移元も遷移先も同一の遷移を１遷移と数えた
場合に）ｘｘ個の遷移が存在することを表す。
【０１６５】図２０のＦＭＯと、同一のＮＭＯから従来
の方法で構成された図３２のＤＭＯとを比べると、状態
数が等しく、１状態あたりの状態遷移のためのデータ
量、即ち成功関数の定義された箇所＋失敗関数の定義
が、図３２のＤＭＯに比べて大幅に少ないことが見て取
れる。
【０１６６】このことは、図１６の正規変換を、ｎ個の
ＯＲでつないだ図３２のような正規変換を照合条件とし
て考えるとき、より顕著になる。
【０１６７】図２３は、図２２の正規変換から、従来の
方法および本発明の方法によって、それぞれＤＭＯ及び
ＦＭＯを作成した場合の、１状態あたりのアーク数のグ
ラフである。図２２の正規変換の場合には、同一の正規
変換に対するＤＭＯの状態数とＦＭＯの状態数は、任意
のｎについて一致することが示せる。ただし、ＤＭＯの
アーク数は、着目した状態から、各文字での遷移は、原
則として別々の遷移と考えるが、例外的に、文字「＄」
での遷移と同一の遷移先を持つ遷移は、１個の遷移であ
ると考えた。また、ＦＭＯのアーク数は、成功関数の定
義されている箇所の数と、失敗関数の定義されている箇
所の数の合計で計算した。このことは、ＤＭＯについて
は、かなり有利に（過小評価ぎみに）評価したことにな
る。
【０１６８】それでも、図２３を見ると、複数のキーワ
ード間に文字の重複のある、なしに関わらず、ＦＭＯの
方はキーワード数の増加に伴う１状態当たりのアーク数
の増加はわずかであり、失敗関数のデータを差し引く
と、成功関数の値は、１状態あたり、１〜３個しか定義
されていないのに対し、ＤＭＯの方は、キーワード数の
増加に伴って、１状態当たりのアーク数が線形に増加し
ており、過小評価しても、データ量のオーダがＦＭＯの
場合に比べて、「ｎ」だけ多いことが分かる。
【０１６９】また、ここには掲げないが、ＤＭＯ、ＦＭ
Ｏの作成時間も、ＤＭＯの作成時間の方が、ＦＭＯの作
成時間に比べてオーダ「ｎ」だけ多くなる。このこと
は、１つの遷移を構成する計算量がＦＭＯ作成時と、Ｄ
ＭＯ作成時でオーダに差が無いことを考慮すれば、ほぼ
明らかであろう。
【０１７０】以上の説明から、本発明によるパターン照
合機械作成方法が、従来の作成方法に比べ、状態遷移表
のサイズの小さいパターン照合機械を、短時間で作成で
きることが理解できる。
【０１７１】（実施例４）次に、本発明の第４の実施例
について図面を参考にしながら説明する。図２４は、本
発明のパターン照合機械作成方法を適用した文書検索装
置の一部であるパターン照合装置の一実施例を示す全体
構成図である。
【０１７２】図２４において、１８０１は、文字を表す
文字番号の列からなる入力文書を格納して１文字ずつ読
み出すことのできる入力文書メモリ、１８０２は、ＦＭ
Ｏの成功関数の値を状態番号と文字番号で検索可能な表
としてメモリに格納した成功関数メモリ、１８０３は、
ＦＭＯの失敗関数の値を状態番号で検索可能な表として
メモリに格納した失敗関数メモリ、１８０４は、成功関
数メモリ１８０２および失敗関数メモリ１８０３の出力
する状態番号を記録する状態番号記録回路、１８０５
は、状態番号記録回路１８０４の出力する状態番号か
ら、必要な外部動作の番号を求める動作番号表メモリ、
１８０６は、成功関数メモリ１８０２、失敗関数メモリ
１８０３および動作番号表メモリ１８０４に供給するＦ
ＭＯのデータを外部機器からのＮＭＯデータに基づいて
作成するＦＭＯ作成手段、１８０７は、ＦＭＯ作成手段
１８０６の作成したＦＭＯを、成功関数メモリ１８０２
の記憶容量に余裕がある限り変形して、状態遷移を成功
関数の適用による１段階の動作に置き換えるＦＭＯ変形
手段であり、図２に示した各手段を備えている。ただ
し、ＦＭＯ変形手段１８０７は、作成・変形したＦＭＯ
が成功関数メモリ１８０２に格納できる限り、初期状態
に近い状態から順に、パターン照合機械の失敗遷移を取
り除いていく、図４で説明した作成方法を採用している
ものとする。
【０１７３】以上の構成は、ＦＭＯ変形手段１８０７以
外は図１５と同一であり、ＦＭＯ作成手段１８０６が作
成したＦＭＯをそのまま用いるか、変形して用いるかが
異なる。従って、その動作も、照合動作に先立って外部
からＦＭＯ作成手段１８０６に検索したい文字列の集団
と、検索成功時の動作を表す正規変換から作成したＮＭ
Ｏを入力してＦＭＯを作成し、作成したＦＭＯのデータ
をＦＭＯ変形手段１８０７に渡して変形し、変形結果を
成功関数メモリ１８０２、失敗関数メモリ１８０３およ
び動作番号表メモリ１８０５に格納する以外の部分は実
施例３と同一となる。
【０１７４】そこで、以下、図１７のＮＭＯが外部から
照合条件として指定された場合のＦＭＯ変形手段１８０
７の動作を説明する。まず、ＮＭＯデータがＦＭＯ作成
手段１８０６に送られ、本発明によるパターン照合機械
作成方法を用いて、図２１のようなＦＭＯが作成され
る。
【０１７５】このＦＭＯがＦＭＯ変形手段１８０７に送
られると、成功関数メモリ１８０２は、個々の関数値を
（始点、終点、外部入力）の３つ組の集合の形で記憶す
るものとし、成功関数の３つ組を１個記憶する毎に３語
の記憶容量を消費するものとする。そして、成功関数メ
モリ１８０２全体では、１００語分の記憶容量があるも
のとする。ＦＭＯ変形手段１７０７は、このような成功
関数メモリ１８０２の記憶容量の限界を知っているもの
とする。
【０１７６】そこで、図２１のＦＭＯを受け取ったＦＭ
Ｏ変形手段１８０７は、まず、図２１のＦＭＯをそのま
ま格納した場合の記憶容量を算出する。図２１のＦＭＯ
を記憶するには、３０個の成功関数の３つ組が必要なの
で、３０＊３で合計９０語分の記憶容量を消費し、あと
１０語分の余裕があることがわかるので、ＦＭＯの初期
状態から順に、失敗遷移を消去する処理に入る。
【０１７７】まず、初期状態ｔ1 について、図２で説明
したパターン照合機械変形方法を適用するが、初期状態
ｔ1 は、すでに、全ての文字について、成功関数の値が
定義されているため、変形処理は第１段階で中止され
る。
【０１７８】次に、図２１のＦＭＯに対して、初期状態
ｔ1 に最も近い、即ち、初期状態から最も少ない回数の
状態遷移で到達できる状態が１つ選択される。図２１の
ＦＭＯの場合には、状態ｔ2 とｔ3 の２つが、１回の状
態遷移で到達できる。そこで、そのうちの１つｔ2 が選
ばれるとする。
【０１７９】文字「ｂ」については、状態ｔ2 での成功
関数の値がすでに定義されているため、変形処理は第１
段階で中止される。
【０１８０】文字「ｃ」、「ｄ」および「＄」（その他
の文字全て）については、ｆ（ｔ2）の値がｔ1 で、状
態ｔ1 での成功関数が、ともにｔ2 であると定義されて
いる。従って、状態ｔ２での成功関数の値は、 ｇ（ｔ2 ，”ｃ”）≡ｔ2 ｇ（ｔ2 ，”ｄ”）≡ｔ2 ｇ（ｔ2 ，”＄”）≡ｔ2 と定義すればよいことになる。
【０１８１】また、文字「ａ」については、ｆ（ｔ2 ）
の値がｔ1 で、状態ｔ1 での成功関数が、ｔ3 であると
定義されているので、状態ｔ2 での成功関数の値は、 ｇ（ｔ2 ，”ａ”）≡ｔ3 と定義すればよいことになる。そして、状態ｔ2 でのす
べての文字に対して成功関数が定義されたので、状態ｔ
2 での失敗関数の定義は取り除いてもよいことになる。
【０１８２】もし、この変形を実際に図２１のＦＭＯに
加えると、図２１のＦＭＯよりも３＊３＝９語分の記憶
容量を余分に消費することになるが、成功関数メモリ１
８０２には、１０語分の余裕があるので、この変形は実
行され、図２５のようなＦＭＯとなる。
【０１８３】次に、図２５のＦＭＯに対して、状態ｔ3
についての変形操作を試みるが、状態ｔ3 では、すでに
すべての文字について成功関数が定義されているので、
変形操作は第１段階で中止される。
【０１８４】続いて、図２５のＦＭＯに対してｔ4 に関
する変形を試みるが、成功関数メモリ１８０２の余裕が
あと１語分しかなく、変形操作が失敗する。
【０１８５】従って、この段階で変形処理が終了し、図
２５のＦＭＯ（９９語分の容量）が、成功関数メモリ１
８０２、失敗関数メモリ１８０３および動作番号表メモ
リ１８０５に送られ、パターン照合処理が開始される。
【０１８６】このような変形操作によって、成功関数メ
モリ１８０２の記憶容量の許す限りの、最も高速なパタ
ーン照合機械を、元のＦＭＯからの局所的変形操作によ
って作成できる。
【０１８７】図６で説明したパターン照合機械駆動方法
における変形操作も、上述の変形方法における変形操作
と同様だが、パターン照合機械の駆動中に変形操作を段
階的に行なう点と、変形対象がある状態からの遷移すべ
てではなく、ある状態からの、ある特定の文字での遷移
である点、変形対象の選択を、初期状態からの到達に必
要な状態遷移回数の少なさではなく、ある遷移が有限状
態機械の駆動中に、何回行なわれたかによって定める点
の、３点が異なっている。
【０１８８】例えば、図２１のＦＭＯでパターン照合を
実行中に、「ｂｂｂ」という文字列が特に多く、予め設
定された回数に達したとすると、対応する状態遷移ｔ1
→ｔ 2 →ｔ4 →ｔ4 のうちで、失敗関数の適用を含む状
態遷移ｔ4 →ｔ40の変形が試みられ、成功関数、 ｇ（ｔ4 ，”ｂ”）≡ｔ4 が、図２１のＦＭＯに追加されることになり、以降のパ
ターン照合の実行が高速化される。
【０１８９】
【発明の効果】以上のように、本発明による有限状態機
械作成方法を用いることによって、従来の決定性有限状
態機械作成方法よりも状態遷移表のサイズが小さい「失
敗遷移付き有限状態機械」を、従来の作成方法よりも高
速に作成できるという効果がある。この効果は、変形対
象の非決定性有限状態機械が、多数のＯＲ（選言）を含
んでいる場合に、特に顕著になる。
【０１９０】また、本発明によるパターン照合機械作成
方法を用いることによって、従来のパターン照合機械作
成方法よりも状態遷移表のサイズが小さい「失敗遷移付
きパターン照合機械」を、従来の作成方法よりも高速に
作成できるという効果がある。この効果は、変形対象の
非決定性有限状態機械が、多数のＯＲ（選言）を含んで
いる場合に、特に顕著になる。
【０１９１】また、本発明による有限状態機械変形方法
を用いることによって、指定された内部状態と外部入力
とに関して有限状態機械を変形する際には、望みの状態
遷移だけを、効率よく、しかも有限状態機械の動作中に
行なうことができ、記憶容量の許す限り高速動作が可能
な決定性有限状態機械の作成の際には、与えられた記憶
容量の範囲内で、統計的に最高の動作を行なう決定性有
限状態機械を系統的に構成することができる。
【０１９２】また、本発明によるパターン照合機械変形
方法を用いることによって、パターン照合機械作成の際
には、従来よりも状態遷移表のサイズが小さなパターン
照合機械を、高速に作成することができ、指定された内
部状態と外部入力とに関してパターン照合機械を変形す
る際には、望みの状態遷移だけを、効率よくしかもパタ
ーン照合機械の動作中に行なうことができ、記憶容量の
許す限り高速動作が可能なパターン照合機械の作成の際
には、与えられた記憶容量の範囲内で、統計的に最高の
動作を行なうパターン照合機械を系統的に構成すること
ができるという効果がある。
【０１９３】また、本発明による有限状態機械駆動方法
を用いることによって、有限状態機械の動作中に、状態
遷移の頻度を計測し、高頻度で状態遷移する部分を変形
して動作途中からの高速化を図る有限状態機械の駆動と
変形を行なって、照合対象データ毎に最適な有限状態機
械による高速な照合を行なうことができる。
【０１９４】また、本発明によるパターン照合機械駆動
方法を用いることによって、パターン照合機械の動作中
に、状態遷移の頻度を計測し、高頻度で状態遷移する部
分を変形して動作途中からの高速化を図るパターン照合
機械の駆動と変形を行なって、照合対象データ毎に最適
な有限状態機械による高速な照合を行なうことができる
という効果がある。
【図面の簡単な説明】
【図１】本発明の有限状態機械作成方法およびパターン
照合機械作成方法の概念を説明するためのブロック図
【図２】本発明の有限状態機械変形方法およびパターン
照合機械変形方法の概念を説明するためのブロック図
【図３】本発明の別の有限状態機械作成方法の概念を説
明するためのブロック図
【図４】本発明の別のパターン照合機械作成方法の概念
を説明するためのブロック図
【図５】本発明の有限状態機駆動成方法の概念を説明す
るためのブロック図
【図６】本発明のパターン照合機械駆動方法の概念を説
明するためのブロック図
【図７】本発明の第１の実施例における製品自動検査装
置の全体を示すブロック図
【図８】制御動作を指定するＮＭＯの状態遷移図
【図９】ＮＭＯからＦＭＯを作成する過程を示す一覧図
【図１０】作成されたＦＭＯの状態遷移図
【図１１】本発明の第２の実施例における製品自動検査
装置の全体構成を示すブロック図
【図１２】変形されたＦＭＯの状態遷移図
【図１３】変形されたＦＭＯの状態遷移図
【図１４】変形されたＦＭＯの状態遷移図
【図１５】本発明の第３の実施例におけるパターン照合
装置の全体構成を示すブロック図
【図１６】正規変換の例を示す一覧図
【図１７】パターン照合装置に与えるＮＭＯの状態遷移
一覧図
【図１８】パターン照合装置に与えるＮＭＯの状態遷移
図
【図１９】ＮＭＯからＦＭＯを作成する過程を示す一覧
図
【図２０】作成されたＦＭＯの状態遷移一覧図
【図２１】作成されたＦＭＯの状態遷移図
【図２２】一連の正規変換の例を示す一覧図
【図２３】キーワード数の増加に伴う１状態当たりの平
均アーク数の変化を表すグラフ
【図２４】本発明の第４の実施例におけるパターン照合
装置の全体構成を示すブロック図
【図２５】変形されたＦＭＯの状態遷移図
【図２６】従来の製品自動検査装置の全体構成を示すブ
ロック図
【図２７】（ａ）ＮＭＯの状態遷移図 （ｂ）ＮＭＯからＤＭＯを作成する過程を示す一覧図
【図２８】作成されたＤＭＯの状態遷移図
【図２９】従来のパターン照合装置の全体構成を示すブ
ロック図
【図３０】ＮＭＯの状態遷移一覧図
【図３１】ＮＭＯからＤＭＯを作成する過程を示す一覧
図
【図３２】作成されたＤＭＯの状態遷移一覧図
【図３３】作成されたＤＭＯの状態遷移図
【符号の説明】
１０ 有限状態機械作成方法（パターン照合機械作成方
法） １１ 初期状態生成手段 １２ 未処理要素選択手段 １３ 成功関数値算定格納手段 １４ 失敗関数値算定格納手段 １５ 出力関数値算定格納手段 １６ 要素追加格納手段 ２０ 有限状態機械変形方法（パターン照合機械作成方
法） ２１ 遷移先調査手段 ２２ 失敗先決定手段 ２３ 遷移先決定格納手段 ２４ 失敗定義削除手段 ３０ 有限状態機械作成方法 ３１ 有限状態機械作成手段 ３２ 記憶領域判定手段 ３３ 変形対象状態選択手段 ３４ 有限状態機械変形手段 ４０ パターン照合機械作成方法 ４１ パターン照合機械作成手段 ４２ 記憶領域判定手段 ４３ 変形対象状態選択手段 ４４ パターン照合機械変形手段 ５０ 有限状態機械駆動方法 ５１ 有限状態機械作成手段 ５２ 有限状態機械駆動手段 ５３ 失敗回数計数判定手段 ５４ 有限状態機械変形手段 ６０ パターン照合機械駆動方法 ６１ パターン照合機械作成手段 ６２ パターン照合機械駆動手段 ６３ 失敗回数計数判定手段 ６４ パターン照合機械変形手段 １０１ 第１のセンサ １０２ 第２のセンサ １０３ 制御装置 １０４ 捺印ロボット １０５ ＦＭＯ作成手段 ２３１ 入力文書メモリ ２３２ 状態番号表メモリ ２３３ 状態番号記録回路 ２３４ 動作番号表メモリ ２３５ ＤＭＯ作成手段 ５０１ 第１のセンサ ５０２ 第２のセンサ ５０３ 制御装置 ５０４ 捺印ロボット ５０５ ＦＭＯ作成手段 ５０６ ＦＭＯ変形手段 ９０１ 入力文書メモリ ９０２ 成功関数メモリ ９０３ 失敗関数メモリ ９０４ 状態番号記録回路 ９０５ 動作番号表メモリ ９０６ ＦＭＯ作成手段 １８０１ 入力文書メモリ １８０２ 成功関数メモリ １８０３ 失敗関数メモリ １８０４ 状態番号記録回路 １８０５ 動作番号表メモリ １８０６ ＦＭＯ作成手段 １８０７ ＦＭＯ変形手段

Claims (11)

    (57)【特許請求の範囲】
  1. 【請求項１】 取り得る内部状態の種類が有限個で、外
    部からの入力と現在の内部状態との組み合わせによっ
    て、次の内部状態および出力が、成功関数ｇ（ｓ，
    ｃ）、失敗関数ｆ（ｓ）、出力関数λ（ｓ）とを用い
    て、 １）現在の状態ｓおよび現在の入力ｃに対して、ｇ
    （ｓ，ｃ）が定義されている場合には、次の状態をｇ
    （ｓ，ｃ）とし、λ（s ）を出力する。 ２）現在の状態ｓおよび現在の入力ｃに対して、ｇ
    （ｓ，ｃ）が定義されていない場合には、ｆ（ｓ）の値
    を新たなｓとおいて、１）に戻り、処理を続行する。 という処理によって一意的に定まる決定性有限状態機械
    を作成する方法であって、 初期状態生成手段と、未処理要素選択手段と、成功関数
    値算定格納手段と、失敗関数値算定格納手段と、出力関
    数値算定格納手段と、要素追加格納手段とを備え、次の
    内部状態および出力の指定の形式が、複数個の内部状態
    を同時に取り得る非決定性有限状態機械または前記非決
    定性有限状態機械と等価で、前記非決定性有限状態機械
    に変換可能なパターン表現であり、前記非決定性有限状
    態機械の状態の集合ｑと、ｑの部分集合ｐの組＜ｐ，ｑ
    ＞を前記決定性有限状態機械の内部状態と見なし、 前記決定性有限状態機械作成の第１段階では、前記初期
    状態生成手段が、前記決定性有限状態機械作成の初期状
    態を前記非決定性有限状態機械の初期状態ｓを用いて、
    ＜｛ｓ｝，｛ｓ｝＞と定めて、未処理の要素として前記
    要素追加格納手段に送って要素集合に加えるとともに、
    初期状態での前記決定性有限状態機械の出力を、前記非
    決定性有限状態機械のｓでの出力のみからなる集合と定
    めて、前記出力関数値算定格納手段に送って格納し、さ
    らに空集合φの組＜φ，φ＞を処理済の要素として、前
    記要素追加格納手段に送って格納するとともに＜φ，φ
    ＞での出力関数の値λ（＜φ，φ＞）を空集合φと定め
    て前記出力関数値算定格納手段に送って格納するととも
    に、任意の外部入力ｃに対する成功関数ｇ（＜φ，φ
    ＞，ｃ）の値を＜φ，φ＞と算定して、前記成功関数値
    算定格納手段に送って格納し、 前記決定性有限状態機械作成の第２段階では、前記要素
    集合中に未処理の要素がなければ、前記未処理要素選択
    手段がこれを検出して有限状態機械作成を終了し、前記
    要素集合中に、未処理要素が含まれていれば、前記未処
    理要素選択手段が前記要素集合から、任意の算法によっ
    て未処理要素＜ｐ，ｑ＞を１つ選択するとともに前記未
    処理要素＜ｐ，ｑ＞を処理済の要素に変更し、 前記決定性有限状態機械作成の第３段階では、前記前記
    決定性有限状態機械作成の第２段階で選択した要素＜
    ｐ，ｑ＞の第１成分である前記非決定性有限状態機械の
    状態集合ｐのいずれかの要素について、前記非決定性有
    限状態機械の次の内部状態が定義されている外部からの
    入力ｃがあれば、前記成功関数値算定格納手段が、ｃに
    対する成功関数ｇ（＜ｐ，ｑ＞，ｃ）の値＜ｘ，ｙ＞
    を、ｙの値として、前記非定性有限状態機械の、外部か
    らの入力がｃで現在の状態がｐの要素である場合の前記
    非決定性有限状態機械の次の内部状態の和集合を選び、
    ｘの値としてｙの値そのもの、あるいはｙの値の空でな
    い真部分集合を選ぶことで算定して格納し、前記要素追
    加格納手段が、＜ｘ，ｙ＞が要素集合中になければ、未
    処理の要素として前記要素集合中に追加するとともに、
    前記出力関数値算定格納手段が、状態＜ｘ，ｙ＞での出
    力関数λ（＜ｘ，ｙ＞）の値ｗがまだ定義されていない
    場合には、ｗの値として、前記非決定性有限状態機械
    の、ｙの各要素での出力の集合を選ぶことによって算定
    して格納し、 前記決定性有限状態機械作成の第４段階では、前記内部
    状態＜ｐ，ｑ＞の、ｐのいずれの要素についても前記非
    決定性有限状態機械の次の内部状態が定義されていない
    外部からの入力ｄがある場合に、各々のｄに対して、前
    記失敗関数値算定手段がｄに依存しない失敗関数ｆ（＜
    ｐ，ｑ＞）の値を、集合ｑから集合ｐの要素を除いた差
    集合ｑ−ｐと、ｑ−ｐの任意の部分集合ｚの組＜ｚ，ｑ
    −ｐ＞で算定して格納するとともに、前記出力関数値算
    定格納手段が、状態＜ｘ，ｙ＞での出力関数λ（＜ｘ，
    ｙ＞）の値ｗが未定義の場合には、ｗとして、前記非決
    定性有限状態機械の、ｑ−ｐの各要素での出力の集合を
    選ぶことによって算定して格納し、 前記決定性有限状態機械作成の第５段階では、前記決定
    性有限状態機械作成の第２段階に戻って処理を続行する
    ことを特徴とする有限状態機械作成方法。
  2. 【請求項２】 成功関数ｇ（＜ｐ，ｑ＞，ｃ）の値＜
    ｘ，ｙ＞のｘの値として、非決定性有限状態機械の、外
    部からの入力がｃで現在の状態がｐの要素である場合の
    前記非決定性有限状態機械の次の内部状態の和集合ｖか
    らｙの要素になっているものを除いた差集合ｖ−ｙを用
    いる請求項１記載の有限状態機械作成方法。
  3. 【請求項３】 非決定性有限状態機械に変換可能なパタ
    ーン表現として、正規表現あるいは正規変換を用いる請
    求項１記載の有限状態機械作成方法。
  4. 【請求項４】 文字の列からなる文書データ中の各文字
    を、前記文書データ先頭から順に調べて、指定された文
    字列パターンと照合する箇所を求める動作を行なうパタ
    ーン照合機械が、取り得る内部状態の種類が有限個で、
    現在の着目文字と現在の内部状態との組み合わせによっ
    て、次の内部状態および出力が、成功関数ｇ（ｓ，
    ｃ）、失敗関数ｆ（ｓ）、出力関数λ（ｓ）とを用い
    て、 １）現在の状態ｓおよび現在の文字ｃに対して、ｇ
    （ｓ，ｃ）が定義されている場合には、次の状態をｇ
    （ｓ，ｃ）とし、λ（ｓ）を出力する。 ２）現在の状態ｓおよび現在の文字ｃに対して、ｇ
    （ｓ，ｃ）が定義されていない場合には、ｆ（ｓ）の値
    を新たなｓとおいて、１）に戻り、処理を続行する。 という処理によって一意的に定まる決定性有限状態機械
    であるパターン照合機械を作成する方法であって、 初期状態生成手段と、未処理要素選択手段と、成功関数
    値算定格納手段と、失敗関数値算定格納手段と、出力関
    数値算定格納手段と、要素追加格納手段とを備え、次の
    内部状態および出力の指定の形式が、複数個の内部状態
    を同時に取り得る非決定性有限状態機械または前記非決
    定性有限状態機械と等価で、前記非決定性有限状態機械
    に変換可能なパターン表現であり、前記非決定性有限状
    態機械の状態の集合ｐと、前記パターン照合機械の状態
    ｒとの組＜ｐ，ｒ＞を前記パターン照合機械の内部状態
    と見なし、 前記パターン照合機械作成の第１段階では、前記初期状
    態生成手段が、前記パターン照合機械の初期状態Ｓを、
    前記非決定性有限状態機械の初期状態ｓを用いて、＜
    ｛ｓ｝，Ｓ＞と算定して未処理の要素として前記要素追
    加格納手段に送って要素集合に加えるとともに、初期状
    態での前記決定性有限状態機械の出力を、前記非決定性
    有限状態機械のｓでの出力のみからなる集合と定めて、
    前記出力関数値算定格納手段に送って格納し、 前記パターン照合機械作成の第２段階では、前記要素集
    合中に未処理の要素がなければ、前記未処理要素選択手
    段がこれを検出して有限状態機械作成を終了し、前記要
    素集合中に、未処理要素が含まれていれば、前記未処理
    要素選択手段が前記要素集合から、最も早期に前記要素
    集合に追加された未処理要素＜ｐ，ｒ＞を選択するとと
    もに前記未処理要素＜ｐ，ｒ＞を処理済の要素に変更
    し、 前記パターン照合機械作成の第３段階では、前記前記決
    定性有限状態機械作成の第２段階で選択した要素＜ｐ，
    ｒ＞の第１成分である前記非決定性有限状態機械の状態
    集合ｐのいずれかの要素について、前記成功関数値算定
    格納手段が、前記非決定性有限状態機械の次の内部状態
    が定義されている外部からの入力ｃがあれば、前記成功
    関数値算定格納手段が、ｃに対する成功関数ｇ（＜ｐ，
    ｒ＞，ｃ）の値＜ｘ，ｙ＞を、ｙの値として、＜ｐ，ｒ
    ＞が初期状態Ｓの場合にはＳを選び、＜ｐ，ｒ＞が初期
    状態以外の場合には、＜ｐ，ｒ＞の第２部分ｒを取り出
    す演算Ｒ（＜ｐ，ｒ＞）を成功関数ｇ（・，ｃ）が初め
    て定義されるまで、１回以上繰り返した状態ｕ＝Ｒ（Ｒ
    （…Ｒ（＜ｐ，ｒ＞）…））と文字ｃとの組に対する成
    功関数の値ｇ（ｕ，ｃ）を選び、ｘの値として、ｐの要
    素と文字ｃに対する前記非決定性有限状態機械の次の状
    態の和集合ｊから、前記演算Ｒを０回以上適用した後、
    パターン照合機械の状態＜ｐ，ｒ＞の第１成分ｐを取り
    出す演算Ｐを適用してできる集合の列Ｐ（ｙ），Ｐ（Ｒ
    （ｙ）），Ｐ（Ｒ（Ｒ（ｙ）），…の和集合ｋ＝Ｐ
    （ｙ）∪Ｐ（Ｒ（ｙ））∪Ｐ（Ｒ（Ｒ（ｙ））∪…の差
    集合ｕ−ｋを選び、もしもｘの値が空集合ならば前記成
    功関数ｇ（＜ｐ，ｒ＞，ｃ）の値として、＜ｘ，ｙ＞で
    はなくｙを選ぶことで算定して格納した後で、前記要素
    追加格納手段が、＜ｘ，ｙ＞が要素集合中になければ、
    未処理の要素として前記要素集合中に追加するとともに
    前記出力関数値算定格納手段が、状態＜ｘ，ｙ＞での前
    記出力関数λ（＜ｘ，ｙ＞）の値ｗを、ｗの値として、
    Ｐ（ｇ（＜ｐ，ｒ＞，ｃ））の要素での前記非決定性有
    限状態機械の出力の和集合とＱ（ｇ（＜ｐ，ｒ＞，
    ｃ））での前記パターン照合機械の出力の和集合を選ぶ
    ことによって算定して格納し、 前記パターン照合機械作成の第４段階では、前記内部状
    態＜ｐ，ｒ＞と、ｐのいずれの要素についても前記非決
    定性有限状態機械の次の内部状態が定義されていない文
    字ｄがあれば、失敗関数値算定格納手段が、ｄに依存し
    ない失敗関数ｆ（＜ｐ，ｒ＞）の値を、ｒであると算定
    して格納し、 前記パターン照合機械作成の第５段階では、前記決定性
    有限状態機械作成の第２段階に戻って処理を続行すると
    を特徴とするパターン照合機械作成方法。
  5. 【請求項５】 非決定性有限状態機械に変換可能なパタ
    ーン表現として、正規表現あるいは正規変換を用いる請
    求項４記載のパターン照合機械作成方法。
  6. 【請求項６】 請求項１記載の有限状態機械作成方法を
    用いて作成した決定性有限状態機械の指定された内部状
    態＜ｐ，ｑ＞と、指定された外部入力ｃとに対する次の
    内部状態が、必ず成功関数ｇ（＜ｐ，ｑ＞，ｃ）の適用
    によって定まるように前記有限状態機械を変形する方法
    であって、 遷移先調査手段と、失敗先決定手段と、遷移先決定格納
    手段と、失敗定義削除手段とを備え、 前記決定性有限状態機械の変形の第１段階では、前記遷
    移先調査手段が、指定された前記内部状態＜ｐ，ｑ＞
    と、指定された前記外部入力ｃとに対する前記成功関数
    ｇ（＜ｐ，ｑ＞，ｃ）の値が定義されているかどうか調
    査して、既に定義されている場合には、変形処理を終了
    し、 前記決定性有限状態機械の変形の第２段階では、前記失
    敗先決定手段が、指定された前記内部状態＜ｐ，ｑ＞
    に、前記有限状態機械で定まっている失敗関数ｆ（・）
    を、関数値ｖに対して初めて成功関数ｇ（ｖ，ｃ）が定
    義されるまで、１回以上作用させた状態ｈ＝ｆ（ｆ（…
    ｆ（＜ｐ，ｑ＞）…））を求め、 前記決定性有限状態機械の変形の第３段階では、前記遷
    移先決定手段が、指定された前記内部状態＜ｐ，ｑ＞で
    の、指定された前記外部入力ｃに対する遷移先を、成功
    関数の値として、ｇ（＜ｐ，ｑ＞，ｃ）＝ｇ（ｈ，ｃ）
    で算定して格納し、 前記決定性有限状態機械の変形の第４段階では、失敗定
    義削除手段が、ｇ（＜ｐ，ｑ＞，ｃ）の値の定義を追加
    することによって、任意の外部入力ｘについて、成功関
    数ｇ（＜ｐ，ｑ＞，ｘ）の値が定義される場合には、失
    敗関数ｆ（＜ｐ，ｑ＞）の定義を取り消し、 前記決定性有限状態機械の変形の第５段階では、変形処
    理を終了することを特徴とする有限状態機械変形方法。
  7. 【請求項７】 請求項４記載のパターン照合機械作成方
    法を用いて作成したパターン照合機械の指定された内部
    状態＜ｐ，ｒ＞と、指定された文字ｃとに対する次の内
    部状態が、必ず成功関数ｇ（＜ｐ，ｒ＞，ｃ）の適用に
    よって定まるように前記パターン照合機械を変形する方
    法であって、 遷移先調査手段と、失敗先決定手段と、遷移先決定格納
    手段と、失敗定義削除手段とを備え、 前記パターン照合機械の変形の第１段階では、前記遷移
    先調査手段が、指定された前記内部状態＜ｐ，ｑ＞と指
    定された文字ｃとに対する前記成功関数ｇ（＜ｐ，ｒ
    ＞，ｃ）の値が定義されているかどうか調査して、既に
    定義されている場合には、変形処理を終了し、 前記パターン照合機械の変形の第２段階では、前記失敗
    先決定手段が、指定された前記内部状態＜ｐ，ｒ＞に、
    前記パターン照合機械で定まっている失敗関数ｆ（・）
    を、関数値ｖに対して初めて成功関数ｇ（ｖ，ｃ）が定
    義されるまで、１回以上作用させた状態ｈ＝ｆ（ｆ（…
    ｆ（＜ｐ，ｒ＞）…））を求め、 前記パターン照合機械の変形の第３段階では、前記遷移
    先決定手段が、指定された前記内部状態＜ｐ，ｒ＞で
    の、指定された前記文字ｃに対する遷移先を、成功関数
    の値として、ｇ（＜ｐ，ｒ＞，ｃ）＝ｇ（ｈ，ｃ）で算
    定して格納し、 前記パターン照合機械の変形の第４段階では、失敗定義
    削除手段が、ｇ（＜ｐ，ｒ＞，ｃ）の値の定義を追加す
    ることによって、任意の文字ｘについて、成功関数ｇ
    （＜ｐ，ｒ＞，ｘ）の値が定義される場合には、失敗関
    数ｆ（＜ｐ，ｒ＞）の定義を取り消し、 前記パターン照合機械の変形の第５段階では、変形処理
    を終了することを特徴とするパターン照合機械変形方
    法。
  8. 【請求項８】 取り得る内部状態の種類が有限個で、外
    部からの入力と現在の内部状態との組み合わせによっ
    て、次の内部状態および出力が、成功関数ｇ（ｓ，
    ｃ）、失敗関数ｆ（ｓ）、出力関数λ（ｓ）とを用い
    て、 １）現在の状態ｓおよび現在の入力ｃに対して、ｇ
    （ｓ，ｃ）が定義されている場合には、次の状態をｇ
    （ｓ，ｃ）とし、λ（s ）を出力する。 ２）現在の状態ｓおよび現在の入力ｃに対して、ｇ
    （ｓ，ｃ）が定義されていない場合には、ｆ（ｓ）の値
    を新たなｓとおいて、１）に戻り、処理を続行する。 という処理によって一意的に定まる決定性有限状態機械
    を作成する方法であって、 有限状態機械作成手段と、記憶領域判定手段と、変形対
    象状態選択手段と、有限状態機械変形手段とを備え、 前記有限状態機械作成手段が、請求項１記載の有限状態
    機械作成方法を用いて決定性有限状態機械を作成した
    後、前記記憶領域判定手段が、前記決定性有限状態機械
    の状態遷移のために確保している記憶領域が予め定めら
    れた大きさ以下であるかどうか調べ、記憶領域が予め定
    められた大きさ以下である限り、前記変形対象状態選択
    手段が、前記決定性有限状態機械の初期状態から近い内
    部状態から順に変形対象状態を選択し、前記有限状態機
    械変形手段が、予め定められた外部入力の集合の各要素
    に対して請求項６記載の有限状態機械変形方法を用いて
    前記決定性有限状態機械を変形する操作を繰り返して、
    最終的な有限状態機械を作成することを特徴とする有限
    状態機械作成方法。
  9. 【請求項９】 取り得る内部状態の種類が有限個で、外
    部からの入力と現在の内部状態との組み合わせによっ
    て、次の内部状態および出力が、成功関数ｇ（ｓ，
    ｃ）、失敗関数ｆ（ｓ）、出力関数λ（ｓ）とを用い
    て、 １）現在の状態ｓおよび現在の入力ｃに対して、ｇ
    （ｓ，ｃ）が定義されている場合には、次の状態をｇ
    （ｓ，ｃ）とし、λ（s ）を出力する。 ２）現在の状態ｓおよび現在の入力ｃに対して、ｇ
    （ｓ，ｃ）が定義されていない場合には、ｆ（ｓ）の値
    を新たなｓとおいて、１）に戻り、処理を続行する。 という処理によって一意的に定まる決定性有限状態機械
    を駆動する方法であって、 有限状態機械作成手段と、有限状態機械駆動手段と、失
    敗回数計数判定手段と、有限状態機械変形手段とを備
    え、 前記有限状態機械作成手段が、請求項１記載の有限状態
    機械作成方法を用いて決定性有限状態機械を作成した
    後、前記有限状態機械駆動手段が、作成された前記決定
    性有限状態機械を駆動すると同時に、前記失敗回数計数
    判定手段が、前記決定性有限状態機械の駆動開始から、
    前記決定性有限状態機械の各内部状態から実際の外部入
    力によって次の内部状態に遷移する際の失敗関数の適用
    回数を各々の外部入力と個々の外部入力毎に記録し、特
    定の内部状態および特定の外部入力の組について、前記
    失敗回数が予め定められた回数に達した時点で、前記有
    限状態機械駆動手段が、一旦前記有限状態機械の駆動動
    作を中断し、前記有限状態機械変形手段に当該内部状態
    および当該外部入力を通知し、前記有限状態機械変形手
    段が、その組を対象として請求項６記載の有限状態機械
    変形方法を適用して変形した後、前記決定性有限状態機
    械駆動手段が、中断していた動作を変形後の前記決定性
    有限状態機械を用いて再開することを特徴とする有限状
    態機械駆動方法。
  10. 【請求項１０】 文字の列からなる文書データ中の各文
    字を、前記文書データ先頭から順に調べて、指定された
    文字列パターンと照合する箇所を求める動作を行なうパ
    ターン照合機械が、取り得る内部状態の種類が有限個
    で、現在の着目文字と現在の内部状態との組み合わせに
    よって、次の内部状態および出力が、成功関数ｇ（ｓ，
    ｃ）、失敗関数ｆ（ｓ）、出力関数λ（ｓ）とを用い
    て、 １）現在の状態ｓおよび現在の文字ｃに対して、ｇ
    （ｓ，ｃ）が定義されている場合には、次の状態をｇ
    （ｓ，ｃ）とし、λ（ｓ）を出力する。 ２）現在の状態ｓおよび現在の文字ｃに対して、ｇ
    （ｓ，ｃ）が定義されていない場合には、ｆ（ｓ）の値
    を新たなｓとおいて、１）に戻り、処理を続行する。 という処理によって一意的に定まる決定性有限状態機械
    であるパターン照合機械を作成する方法であって、 パターン照合機械作成手段と、記憶領域判定手段と、変
    形対象状態選択手段と、パターン照合機械変形手段とを
    備え、 前記パターン照合機械作成手段が、請求項４記載のパタ
    ーン照合機械作成方法を用いてパターン照合機械を作成
    した後、前記記憶領域判定手段が、前記パターン照合機
    械の状態遷移のために確保している記憶領域が予め定め
    られた大きさ以下であるかどうか調べ、記憶領域が予め
    定められた大きさ以下である限り、前記変形対象状態選
    択手段が、前記パターン照合機械の初期状態から近い内
    部状態から順に変形対象状態を選択し、前記パターン照
    合機械変形手段が、予め定められた文字集合の各要素に
    対して請求項７記載のパターン照合機械変形方法を用い
    て前記パターン照合機械を変形する操作を繰り返して、
    最終的なパターン照合機械を作成することを特徴とする
    パターン照合機械作成方法。
  11. 【請求項１１】 文字の列からなる文書データ中の各文
    字を、前記文書データ先頭から順に調べて、指定された
    文字列パターンと照合する箇所を求める動作を行なうパ
    ターン照合機械が、 取り得る内部状態の種類が有限個
    で、現在の着目文字と現在の内部状態との組み合わせに
    よって、次の内部状態および出力が、成功関数ｇ（ｓ，
    ｃ）、失敗関数ｆ（ｓ）、出力関数λ（ｓ）とを用い
    て、 １）現在の状態ｓおよび現在の文字ｃに対して、ｇ
    （ｓ，ｃ）が定義されている場合には、次の状態をｇ
    （ｓ，ｃ）とし、λ（ｓ）を出力する。 ２）現在の状態ｓおよび現在の文字ｃに対して、ｇ
    （ｓ，ｃ）が定義されていない場合には、ｆ（ｓ）の値
    を新たなｓとおいて、１）に戻り、処理を続行する。 という処理によって一意的に定まる決定性有限状態機械
    であるパターン照合機械を駆動する方法であって、 パターン照合械作成手段と、パターン照合機械駆動手段
    と、失敗回数計数判定手段と、パターン照合械変形手段
    とを備え、 前記パターン照合機械作成手段が、請求項４記載のパタ
    ーン照合機械作成方法を用いて前記パターン照合機械を
    作成した後、前記パターン照合機械駆動手段が、作成さ
    れた前記パターン照合機械を駆動すると同時に、前記失
    敗回数計数判定手段が、前記パターン照合機械の駆動開
    始から、前記パターン照合機械の各内部状態から実際の
    文字によって次の内部状態に遷移する際の失敗関数の適
    用回数を各々の内部状態と個々の文字毎に記録し、特定
    の内部状態および特定の文字の組について、前記失敗回
    数が予め定められた回数に達した時点で、前記パターン
    照合機械駆動手段が、一旦パターン照合動作を中断し、
    前記パターン照合機械変形手段に当該内部状態および当
    該文字を通知し、前記パターン照合機械変形手段が、そ
    の組を対象として請求項７記載のパターン照合機械変形
    方法を適用して変形した後、前記パターン照合機械駆動
    手段が、中断していたパターン照合動作を変形後の前記
    パターン照合機械を用いて再開することを特徴とするパ
    ターン照合機械駆動方法。
JP5272304A 1993-01-29 1993-10-29 有限状態機械作成方法とパターン照合機械作成方法とこれらを変形する方法および駆動方法 Expired - Fee Related JP2994926B2 (ja)

Priority Applications (9)

Application Number Priority Date Filing Date Title
JP5272304A JP2994926B2 (ja) 1993-10-29 1993-10-29 有限状態機械作成方法とパターン照合機械作成方法とこれらを変形する方法および駆動方法
EP99100408A EP0917032A3 (en) 1993-10-29 1994-10-28 Constructing method of pattern-matching machine performing transitions according to a partial type of success function and a failure function
EP99100407A EP0917031A3 (en) 1993-10-29 1994-10-28 Method for transforming failure transitions of the pattern-matching machine into a sucess transition
EP99200172A EP0918267A3 (en) 1993-10-29 1994-10-28 Method for transforming failure transitions of the finite-state machine into a succes transitions
DE69422370T DE69422370T2 (de) 1993-10-29 1994-10-28 Verfahren zur Herstellung eines endlichen Automaten, der Transitionen nach einer Kombination von Erfolg- und Funktionen ausführt
EP99100406A EP0917030A3 (en) 1993-10-29 1994-10-28 Method for transforming failure transitions of the pattern-matching machine into a success transition
EP94307964A EP0651304B1 (en) 1993-10-29 1994-10-28 Constructing method of finite-state machine performing transitions according to a partial type of success funtion and a failure function
EP99100405A EP0917029A3 (en) 1993-10-29 1994-10-28 Method for transforming failure transitions of the finite-state machine into a success transition
US08/331,260 US5495409A (en) 1993-01-29 1994-10-28 Constructing method of finite-state machine performing transitions according to a partial type of success function and a failure function

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP5272304A JP2994926B2 (ja) 1993-10-29 1993-10-29 有限状態機械作成方法とパターン照合機械作成方法とこれらを変形する方法および駆動方法

Publications (2)

Publication Number Publication Date
JPH07129369A JPH07129369A (ja) 1995-05-19
JP2994926B2 true JP2994926B2 (ja) 1999-12-27

Family

ID=17512015

Family Applications (1)

Application Number Title Priority Date Filing Date
JP5272304A Expired - Fee Related JP2994926B2 (ja) 1993-01-29 1993-10-29 有限状態機械作成方法とパターン照合機械作成方法とこれらを変形する方法および駆動方法

Country Status (4)

Country Link
US (1) US5495409A (ja)
EP (6) EP0918267A3 (ja)
JP (1) JP2994926B2 (ja)
DE (1) DE69422370T2 (ja)

Families Citing this family (50)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2927706B2 (ja) * 1995-06-12 1999-07-28 松下電器産業株式会社 類似文字列の展開方法、検索方法及びそれらの装置
US6085186A (en) * 1996-09-20 2000-07-04 Netbot, Inc. Method and system using information written in a wrapper description language to execute query on a network
JP3231673B2 (ja) * 1996-11-21 2001-11-26 シャープ株式会社 文字，文字列検索方法及び該方法に用いる記録媒体
CA2226233C (en) * 1997-01-21 2006-05-09 At&T Corp. Systems and methods for determinizing and minimizing a finite state transducer for speech recognition
US6073098A (en) * 1997-11-21 2000-06-06 At&T Corporation Method and apparatus for generating deterministic approximate weighted finite-state automata
US6665650B1 (en) * 2000-06-15 2003-12-16 Agilent Technologies, Inc. Intelligent logic activity resolution
US6880147B1 (en) * 2000-09-07 2005-04-12 Rockwell Collins System and method for developing software utilizing determinative representations
US7016805B2 (en) * 2001-12-14 2006-03-21 Wavecrest Corporation Method and apparatus for analyzing a distribution
US20030149562A1 (en) * 2002-02-07 2003-08-07 Markus Walther Context-aware linear time tokenizer
US8234115B2 (en) 2002-03-29 2012-07-31 At&T Intellectual Property Ii, L.P. Systems and methods for determining the N-best strings
US7730175B1 (en) 2003-05-12 2010-06-01 Sourcefire, Inc. Systems and methods for identifying the services of a network
DE60321972D1 (de) * 2003-08-11 2008-08-14 Telecom Italia Spa Verfahren und system zur erkennung einer unbefugten benutzung eines kommunikationsnetzes
TWI221240B (en) * 2003-11-14 2004-09-21 Via Tech Inc Workflow defining system and workflow managing system
TWI230884B (en) * 2003-11-14 2005-04-11 Via Tech Inc Workflow managing method and recording medium
US7539681B2 (en) * 2004-07-26 2009-05-26 Sourcefire, Inc. Methods and systems for multi-pattern searching
US8265920B1 (en) 2004-07-30 2012-09-11 Synopsys, Inc. Determining large-scale finite state machines using constraint relaxation
BRPI0419214B1 (pt) 2004-12-09 2021-09-21 Mitsubishi Denki Kabushiki Kaisha Sistema e método de correspondência de sequência
US7733803B2 (en) 2005-11-14 2010-06-08 Sourcefire, Inc. Systems and methods for modifying network map attributes
US8046833B2 (en) * 2005-11-14 2011-10-25 Sourcefire, Inc. Intrusion event correlation with network discovery information
US7948988B2 (en) * 2006-07-27 2011-05-24 Sourcefire, Inc. Device, system and method for analysis of fragments in a fragment train
WO2008045302A2 (en) * 2006-10-06 2008-04-17 Sourcefire, Inc. Device, system and method for use of micro-policies in intrusion detection/prevention
US8069352B2 (en) * 2007-02-28 2011-11-29 Sourcefire, Inc. Device, system and method for timestamp analysis of segments in a transmission control protocol (TCP) session
CA2685292C (en) * 2007-04-30 2013-09-24 Sourcefire, Inc. Real-time user awareness for a computer network
CN101360088B (zh) * 2007-07-30 2011-09-14 华为技术有限公司 正则表达式编译、匹配系统及编译、匹配方法
US20110054639A1 (en) * 2008-02-01 2011-03-03 Luca Pazzi Method for ensuring safety and liveness rules in a state based design
CN101551803A (zh) 2008-03-31 2009-10-07 华为技术有限公司 一种建立模式匹配状态机、模式识别的方法和装置
US8474043B2 (en) * 2008-04-17 2013-06-25 Sourcefire, Inc. Speed and memory optimization of intrusion detection system (IDS) and intrusion prevention system (IPS) rule processing
WO2010045089A1 (en) * 2008-10-08 2010-04-22 Sourcefire, Inc. Target-based smb and dce/rpc processing for an intrusion detection system or intrusion prevention system
DE102009054230A1 (de) * 2009-11-23 2011-05-26 Kuka Roboter Gmbh Verfahren und Vorrichtung zum Steuern von Manipulatoren
US20110153035A1 (en) * 2009-12-22 2011-06-23 Caterpillar Inc. Sensor Failure Detection System And Method
JP5809238B2 (ja) 2010-04-16 2015-11-10 シスコ テクノロジー，インコーポレイテッド 準リアルタイムネットワーク攻撃検出のためのシステムおよび方法、ならびに検出ルーティングによる統合検出のためのシステムおよび方法
US8766666B2 (en) 2010-06-10 2014-07-01 Micron Technology, Inc. Programmable device, hierarchical parallel machines, and methods for providing state information
US8433790B2 (en) 2010-06-11 2013-04-30 Sourcefire, Inc. System and method for assigning network blocks to sensors
US8671182B2 (en) 2010-06-22 2014-03-11 Sourcefire, Inc. System and method for resolving operating system or service identity conflicts
US8601034B2 (en) 2011-03-11 2013-12-03 Sourcefire, Inc. System and method for real time data awareness
RS54444B1 (en) 2011-07-12 2016-06-30 Scientist Of Fortune S.A. RECOMBINANT MICRO-ORGANISMS FOR THE PRODUCTION OF USEFUL METABOLITES
US9141738B2 (en) * 2012-06-04 2015-09-22 Reveal Design Automation Sequential non-deterministic detection in hardware design
GB2511072A (en) * 2013-02-22 2014-08-27 Ibm Non-deterministic finite state machine module for use in a regular expression matching system
US9086688B2 (en) * 2013-07-09 2015-07-21 Fisher-Rosemount Systems, Inc. State machine function block with user-definable actions on a transition between states
CN103500267A (zh) * 2013-09-06 2014-01-08 西安交通大学 利用状态信息判定螺栓连接设备装配可靠度的方法
CN104407534B (zh) * 2014-10-17 2017-02-15 中国电子科技集团公司第二十四研究所 一种分集式多芯片同步系统
WO2017014781A1 (en) * 2015-07-23 2017-01-26 Hewlett Packard Enterprise Development Lp Load generator with a token machine
DE102015222168B4 (de) * 2015-11-11 2024-02-22 Kuka Roboter Gmbh Verfahren und computerprogramm zur korrektur von fehlern eines manipulatorsystems
US20180059640A1 (en) * 2016-09-01 2018-03-01 Esab Ab Techniques for event driven scheduling in a welding or cutting system
CN106886177B (zh) * 2016-12-16 2020-07-17 北京华航无线电测量研究所 一种雷达信号处理系统
CN109968352B (zh) * 2017-12-28 2021-06-04 深圳市优必选科技有限公司 一种机器人控制方法及机器人、具有存储功能的装置
US11210337B2 (en) 2018-10-16 2021-12-28 International Business Machines Corporation System and method for searching audio data
CN111114668B (zh) * 2020-03-27 2020-07-07 之江实验室 基于关节工况多象限耦合的双足机器人数字液压驱动方法
CN112733380B (zh) * 2021-01-20 2023-10-13 北京高码科技有限公司 基于关系型数据库的有限状态机
CN113359639B (zh) * 2021-06-23 2022-07-15 浙江安防职业技术学院 基于安全检测机器人的工厂设备监控方法及系统

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0797373B2 (ja) * 1985-08-23 1995-10-18 株式会社日立製作所 文書フアイリングシステム
US5265242A (en) * 1985-08-23 1993-11-23 Hiromichi Fujisawa Document retrieval system for displaying document image data with inputted bibliographic items and character string selected from multiple character candidates
IL78542A0 (en) * 1986-04-18 1986-08-31 Yeda Res & Dev Electronic controller based on the use of statecharts as an abstract model
JP2702927B2 (ja) * 1987-06-15 1998-01-26 株式会社日立製作所 文字列検索装置
US5163016A (en) * 1990-03-06 1992-11-10 At&T Bell Laboratories Analytical development and verification of control-intensive systems
JP2640793B2 (ja) * 1992-01-17 1997-08-13 松下電器産業株式会社 共起辞書構築装置及びこの共起辞書を用いた文解析装置
JP2534600B2 (ja) * 1992-06-19 1996-09-18 松下電器産業株式会社 文字列照合装置

Also Published As

Publication number Publication date
DE69422370D1 (de) 2000-02-03
EP0917029A3 (en) 2007-09-19
JPH07129369A (ja) 1995-05-19
EP0917031A3 (en) 2007-09-19
EP0917030A3 (en) 2007-09-19
EP0651304A2 (en) 1995-05-03
EP0917032A2 (en) 1999-05-19
US5495409A (en) 1996-02-27
DE69422370T2 (de) 2000-05-11
EP0651304A3 (en) 1996-04-10
EP0918267A3 (en) 2007-09-19
EP0917030A2 (en) 1999-05-19
EP0917031A2 (en) 1999-05-19
EP0651304B1 (en) 1999-12-29
EP0918267A2 (en) 1999-05-26
EP0917029A2 (en) 1999-05-19
EP0917032A3 (en) 2007-09-19

Similar Documents

Publication Publication Date Title
JP2994926B2 (ja) 有限状態機械作成方法とパターン照合機械作成方法とこれらを変形する方法および駆動方法
US10915450B2 (en) Methods and systems for padding data received by a state machine engine
CN108959246B (zh) 基于改进的注意力机制的答案选择方法、装置和电子设备
Orlowska Incomplete information: Rough set analysis
JP2506991B2 (ja) 回路変換システムと回路変換方法と反転論理生成方法および論理設計システム
US7457799B2 (en) Apparatus and method for searching data of structured document
CN111914085A (zh) 文本细粒度情感分类方法、系统、装置及存储介质
KR20200032258A (ko) 일정한 처리 시간 내에 k개의 극값을 찾는 방법
US20180113951A1 (en) Graph traversal using automata processor
Noroozi et al. Seven: deep semi-supervised verification networks
WO2022063076A1 (zh) 对抗样本的识别方法及装置
Huang et al. Few-shot image and sentence matching via aligned cross-modal memory
CN116152570A (zh) 基于分层卷积神经网络的商品图像分类方法
Wang et al. Weighted restarting automata and pushdown relations
Urabe et al. Categorical Büchi and parity conditions via alternating fixed points of functors
Thakur et al. Offline handwritten mathematical recognition using adversarial learning and transformers
JP2578777B2 (ja) 多階層型デ−タベ−スのセットオカランス格納順序決定装置
CN117408259B (zh) 一种信息提取方法、装置、计算机设备和存储介质
CN113095503B (zh) 一种实现检测模型高效的系统
Bunke et al. Statistical and Syntactic Models and Pattern Recognition Techniques
Jain et al. Pseudo-deterministic virtual finite automaton (PDVFA) of order (s, t).
Tavoli et al. A Novel Word-Spotting Method for Handwritten Documents Using an Optimization-Based Classifier
RU2230361C2 (ru) Способ считывания и адресного кодирования графических изображений и устройство для его осуществления
CN116307082A (zh) 一种基于数据处理的预测模型生成方法
JP2002318818A (ja) データ処理装置及びその方法、及びそのプログラム

Legal Events

Date Code Title Description
FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20081022

Year of fee payment: 9

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20091022

Year of fee payment: 10

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20091022

Year of fee payment: 10

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20101022

Year of fee payment: 11

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20111022

Year of fee payment: 12

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20121022

Year of fee payment: 13

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20131022

Year of fee payment: 14

LAPS Cancellation because of no payment of annual fees