木オートマトンの英語

生け垣文法で記述される文書型定義７から、二分木オートマトン生成モジュール１により非決定性オートマトンを生成する。例文帳に追加

A non-deterministic binary tree automaton is generated from a document type definition 7 described in hedge grammars (document type definition grammar) by a binary tree automaton generation module 1. - 特許庁

さらに決定化モジュール２により決定性二分木オートマトンを生成し、最小化モジュール３により遷移関数δが最小化された決定性二分木オートマトン８を生成する。例文帳に追加

A deterministic binary tree automaton is generated by determination module 2 and then, the deterministic binary tree automaton 8 whose transition function δis minimized by a minimization module 3 is generated. - 特許庁

この最小化決定性二分木オートマトン８を用いて妥当性検証モジュール９によりＸＭＬ文書１０の妥当性検証を行う。例文帳に追加

The validity of the XML document 10 is verified by a validity verification module 9 using the minimized deterministic binary tree automaton 8. - 特許庁

ＸＭＬ文書１０が二分木オートマトン８により正常に受理されたとき、ＸＭＬ文書が妥当である検証結果１１を出力する。例文帳に追加

When the XML document 10 is normally received by the binary tree automaton 8, a verification result 11 showing the validity of the XML document 10 is outputted. - 特許庁

そして、（字句解析部１２による字句解析を含む）構文解析部１１による構文解析および木構造生成部１３による構文要素のリスト構造から木構造への展開を経た後に、スキャナプログラム生成部１４が、正規表現パターンマッチングを行うための有限オートマトンを構成し、この有限オートマトンを表現する状態遷移データであるスキャナプログラム３１を出力する。例文帳に追加

After performing syntax analysis by a syntax analysis part 11 (including word/phrase analysis by a word/phrase analysis part 12) and development from the list structure of syntax elements to tree structure by a tree structure generation part 13, a scanner program generation part 14 constitutes finite automaton for performing normal expression pattern matching and outputs a scanner program 31 which is status transition data for expressing the finite automaton. - 特許庁

照合装置１００は、解析木１４０ｂを辿り、積演算ノードの子ノードを並列に積演算ノードに接続し、和演算ノードの子ノードを並列に和演算ノードに接続することで、オートマトン１４０ｃを生成する。例文帳に追加

The matching device 100 generates an automaton 140c by, while traversing the parse tree 140b, joining child nodes of an AND node in parallel to the AND node and joining child nodes of an OR node in parallel to the OR node. - 特許庁