【手続補正書】
【提出日】平成27年1月22日(2015.1.22)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
数量化をオートマトンに変換することであって、変換することが、前記オートマトンの入次数を制御するように前記数量化を展開することを含む、数量化をオートマトンに変換することと、
前記オートマトンを、対象装置に対応する機械コードに変換することと
を含むコンピュータ実装方法。
【請求項２】
式を、前記数量化を含む、言語固有でない表現に解析すること、をさらに含む、請求項１に記載のコンピュータ実装方法。
【請求項３】
式を、言語固有でない表現に解析することが、正規表現を構文木に解析することを含む、請求項２に記載のコンピュータ実装方法。
【請求項４】
変換することが、前記数量化に対する繰返し式が空値可能である場合、前記数量化を、ゼロ回一致し得る前記繰返し式の空値不能形式を有する数量化として展開することを含む、請求項１に記載のコンピュータ実装方法。
【請求項５】
前記オートマトンを機械コードに変換することが、前記オートマトンを、並列マシンをプログラムするように構成されたイメージに変換することを含む、請求項１に記載のコンピュータ実装方法。
【請求項６】
前記イメージを公開すること、をさらに含む、請求項５に記載のコンピュータ実装方法。
【請求項７】
前記オートマトンの入次数を制御するように前記数量化を展開することが、入次数制限に応じて、前記数量化を展開することを含む、請求項１に記載のコンピュータ実装方法。
【請求項８】
前記入次数制限が、前記オートマトンの状態への遷移数に関する制限を含む、請求項７に記載のコンピュータ実装方法。
【請求項９】
前記オートマトンの入次数を制御するように前記数量化を展開することが、前記対象装置の入次数制約に基づいて展開することを含む、請求項１に記載のコンピュータ実装方法。
【請求項１０】
前記数量化が正規表現である、請求項１に記載のコンピュータ実装方法。
【請求項１１】
前記オートマトンの入次数を制御するように前記数量化を展開することが、閾値に基づいて前記オートマトンの入次数を制御するように前記数量化を展開することを含む、請求項１に記載のコンピュータ実装方法。
【請求項１２】
前記閾値が、前記並列マシンのハードウェア制限に基づく、請求項１１に記載のコンピュータ実装方法。
【請求項１３】
一時的な伝送信号ではない、命令を含むコンピュータ可読媒体であって、
前記命令が、前記コンピュータによって実行されるときに、前記コンピュータに：
数量化をオートマトンに変換することであって、変換することが、前記オートマトンの出次数を制御するように前記数量化を展開することを含む、数量化をオートマトンに変換することと、
前記オートマトンを、対象装置に対応する機械コードに変換することと
を含む動作を実行させる、
コンピュータ可読媒体。
【請求項１４】
展開することが、前記オートマトンの各状態に対する前記出遷移を閾値数未満に制限することを含む、請求項１３に記載のコンピュータ可読媒体。
【請求項１５】
展開することが、前記オートマトンの各状態に対する出遷移を最小限にすることを含む、請求項１３に記載のコンピュータ可読媒体。
【請求項１６】
変換することが、前記数量化に対する繰返し式が空値可能である場合、前記数量化を、ゼロ回一致し得る前記繰返し式の空値不能形式を有する数量化として展開することを含む、請求項１３に記載のコンピュータ可読媒体。
【請求項１７】
変換することが、
前記数量化が単一のある個数のループと一致し得る場合、前記数量化を、連続的にリンクされた前記単一のある個数に等しい、いくつかの式を表す状態を有するオートマトンを形成するように展開することを含み、前記式が、前記数量化に対する繰返し式に対応する、
請求項１３に記載のコンピュータ可読媒体。
【請求項１８】
前記数量化が複数のある個数のループと一致し得る場合、前記複数のある個数のループが、第１の数のループ、ｎ１、および第２の数のループ、ｎ２を含み、前記数量化を展開することが：
前記数量化を、ｎ１−１個のループと一致し得る第１の数量化および、１〜ｎ２−ｎ１＋１個までのループと一致し得る第２の数量化に分割することを含む、
請求項１３に記載のコンピュータ可読媒体。
【請求項１９】
前記命令が、前記コンピュータに：
前記イメージを並列マシン上にロードすること
を含む動作を実行させる、請求項１３に記載のコンピュータ可読媒体。
【請求項２０】
前記命令が、前記コンピュータに：
前記イメージを、コンピュータ可読媒体上に格納すること
を含む動作を実行させる、請求項１３に記載のコンピュータ可読媒体。
【請求項２１】
コンピュータであって、
ソフトウェアがその上に格納されたメモリと、
前記メモリに通信的に結合されたプロセッサであって、前記ソフトウェアが、前記プロセッサによって実行されるとき、前記プロセッサに：
数量化をオートマトンに変換することであって、変換することが、前記数量化を、前記オートマトンの入次数または出次数を制御するように展開することを含む、数量化をオートマトンに変換することと、
前記オートマトンを、対象装置に対応する機械コードに変換することと
をさせる、プロセッサと
を備えるコンピュータ。
【請求項２２】
前記ソフトウェアが、前記プロセッサに、前記オートマトン内で入遷移を出遷移に対してトレードオフすることにより、前記入次数および出次数を制御させる、請求項２１に記載のコンピュータ。
【請求項２３】
各状態に対する前記入遷移が、展開時に閾値数未満に制限される、請求項２２に記載のコンピュータ。
【請求項２４】
前記入次数が、前記出次数の割合に制限される、請求項２２に記載のコンピュータ。
【請求項２５】
前記オートマトンの状態に対する入遷移の閾値に達するまで、前記入次数が、前記出次数の前記割合に制限される、請求項２４に記載のコンピュータ。
【請求項２６】
数量化をオートマトンに変換することであって、変換することが、前記オートマトンの入次数または出次数を制御するように前記数量化を展開することを含む、数量化をオートマトンに変換することと、
前記オートマトンを、対象装置に対応する機械コードに変換することと
を行うように構成されたコンピュータ
を備えるシステム。
【請求項２７】
前記機械コードが、並列マシンをプログラムするように構成されたイメージを含み、
前記コンピュータに通信的に結合され、かつ前記イメージを並列マシン上にロードするように構成された装置を
さらに含む、請求項２６に記載のシステム。
【請求項２８】
前記オートマトンの入次数を制御するように前記数量化を展開することが、入次数制限に応じて前記数量化を展開することを含む、請求項２６に記載のシステム。
【請求項２９】
前記入次数制限が、前記オートマトンの状態への遷移数に関する制限を含む、請求項２８に記載のシステム。
【請求項３０】
前記オートマトンの入次数を制御するように前記数量化を展開することが、前記対象装置の入次数制約に基づいて展開することを含む、請求項２６に記載のシステム。
【請求項３１】
前記オートマトンの入次数を制御するように前記数量化を展開することが、閾値に基づいて前記オートマトンの入次数を制御するように前記数量化を展開することを含む、請求項２６に記載のシステム。
【請求項３２】
前記閾値が、前記並列マシンのハードウェア制限に基づく、請求項３１に記載のシステム。
【請求項３３】
請求項１の前記プロセスによって生成されたイメージによってプログラム化された並列マシン。
【請求項３４】
数量化をオートマトンに変換することであって、変換することが、前記オートマトンの出次数を制御するように前記数量化を展開することを含む、数量化をオートマトンに変換することと、
前記オートマトンを、対象装置に対応する機械コードに変換することと
を含むコンピュータ実装方法。
【請求項３５】
正規表現を構文木に解析すること、をさらに含む、請求項３４に記載のコンピュータ実装方法。
【請求項３６】
前記オートマトンを機械コードに変換することが、前記オートマトンを、並列マシンをプログラムするように構成されたイメージに変換することを含む、請求項３４に記載のコンピュータ実装方法。
【請求項３７】
前記イメージを公開すること、をさらに含む、請求項３６に記載のコンピュータ実装方法。
【請求項３８】
前記オートマトンの出次数を制御するように前記数量化を展開することが、出次数制限に応じて前記数量化を展開することを含む、請求項３４に記載のコンピュータ実装方法。
【請求項３９】
前記出次数制限が、前記オートマトンの状態からの遷移数に関する制限を含む、請求項３８に記載のコンピュータ実装方法。
【請求項４０】
前記オートマトンの出次数を制御するように前記数量化を展開することが、前記対象装置の出次数制約に基づいて展開することを含む、請求項３４に記載のコンピュータ実装方法。
【請求項４１】
前記オートマトンの出次数を制御するように数量化を展開することが、閾値に基づいて前記オートマトンの出次数を制御するように前記数量化を展開することを含む、請求項３４に記載のコンピュータ実装方法。
【請求項４２】
前記閾値が、前記並列マシンのハードウェア制限に基づく、請求項４１に記載のコンピュータ実装方法。
【請求項４３】
一時的な伝送信号ではない、命令を含むコンピュータ可読媒体であって、
前記命令が、前記コンピュータによって実行されるときに、前記コンピュータに：
数量化をオートマトンに変換することであって、変換することが、前記オートマトンの入次数を制御するように前記数量化を展開することを含む、数量化をオートマトンに変換することと、
前記オートマトンを、対象装置に対応する機械コードに変換することと
を含む動作を実行させる、
コンピュータ可読媒体。
【請求項４４】
展開することが、前記オートマトンの各状態に対する入遷移を閾値数未満に制限することを含む、請求項４３に記載のコンピュータ可読媒体。
【請求項４５】
展開することが、前記オートマトンの各状態に対する入遷移を最小限にすることを含む、請求項４３に記載のコンピュータ可読媒体。
【請求項４６】
変換することが、前記数量化に対する繰返し式が空値可能である場合、前記数量化を、ゼロ回一致し得る前記繰返し式の空値不能形式を有する数量化として、展開することを含む、請求項４３に記載のコンピュータ可読媒体。
【請求項４７】
変換することが、
前記数量化が単一のある個数のループと一致し得る場合、連続的にリンクされた前記単一のある個数に等しい、いくつかの式を表す状態を有するオートマトンを形成するように前記数量化を展開することを含み、前記式が、前記数量化に対する繰返し式に対応する、
請求項４３に記載のコンピュータ可読媒体。
【請求項４８】
前記数量化が複数のある個数のループと一致し得る場合、前記複数のある個数のループが、第１の数のループ、ｎ１、および第２の数のループ、ｎ２を含み、前記数量化を展開することが：
前記数量化を、ｎ１−１個のループと一致し得る第１の数量化および、１〜ｎ２−ｎ１＋１個までのループと一致し得る第２の数量化に分割することを含む、
請求項４３に記載のコンピュータ可読媒体。