Method and/or system for simplifying tree expressions, such as for pattern matching
First Claim
Patent Images
1. A method of performing pattern matching comprising:
- determining one or more conditions under which a tree expression is true, said tree expression to match a first pattern, represented as a first tree, with a second pattern, represented as a second tree.
4 Assignments
0 Petitions
Accused Products
Abstract
Embodiments of methods, apparatuses, devices and/or systems for simplifying tree expressions, such as for pattern matching, are disclosed.
171 Citations
125 Claims
-
1. A method of performing pattern matching comprising:
determining one or more conditions under which a tree expression is true, said tree expression to match a first pattern, represented as a first tree, with a second pattern, represented as a second tree. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10)
-
11. A method of solving a tree expression comprising:
applying manipulations to reduce said tree expression to one or more interrelated queries. - View Dependent Claims (12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24)
-
25. A method of determining one or more conditions which make an expression in unordered trees true or false, said method comprising:
reducing the unordered tree expression to one or more queries. - View Dependent Claims (26, 27, 28, 29, 30, 31)
-
32. An article comprising:
- a storage medium, said storage medium having stored thereon instructions, said instructions, when executed, resulting in determining one or more conditions under which a tree expression is true, said tree expression being formulated to match a first pattern, represented as a first tree, with a second pattern, represented as a second tree.
- View Dependent Claims (33, 34, 35, 36, 37, 38, 39, 40, 41)
-
42. An article comprising:
- a storage medium, said storage medium having stored thereon instructions, said instructions, when executed, resulting in;
manipulations being applied to reduce a tree expression to one or more interrelated queries. - View Dependent Claims (43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53)
- a storage medium, said storage medium having stored thereon instructions, said instructions, when executed, resulting in;
-
54. An article comprising:
- a storage medium, said storage medium having stored thereon instructions, said instructions, when executed, resulting in;
determining one or more conditions which make an expression in unordered trees true or false by reducing the unordered tree expression to one or more queries. - View Dependent Claims (55, 56, 57, 58, 59, 60)
- a storage medium, said storage medium having stored thereon instructions, said instructions, when executed, resulting in;
-
61. An apparatus comprising:
-
means for determining one or more conditions under which a tree expression is true, said tree expression being formulated to match a first pattern, represented as a first tree, with a second pattern, represented as a second tree; and
means for displaying said tree expression. - View Dependent Claims (62, 63, 64, 65, 66, 67, 68, 69, 70)
-
-
71. An apparatus comprising:
-
means for applying manipulations to reduce a tree expression to one or more interrelated queries; and
means for displaying said one or more interrelated queries. - View Dependent Claims (72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83)
-
-
84. An apparatus comprising:
-
means for reducing the unordered tree expression to one or more queries; and
means for displaying said one or more queries. - View Dependent Claims (85, 86, 87, 88, 89, 90)
-
-
91. An apparatus comprising:
- a computing platform adapted to determine one or more conditions under which a tree expression is true, said tree expression being formulated to match a first pattern, represented as a first tree, with a second pattern, represented as a second tree.
- View Dependent Claims (92, 93, 94, 95, 96, 97)
-
98. An apparatus comprising:
- a computing platform adapted to perform manipulations to reduce a tree expression to one or more interrelated queries.
- View Dependent Claims (99, 100, 101, 102, 103, 104, 105, 106, 107, 108)
-
109. An apparatus comprising:
- a computing platform adapted to determine one or more conditions which make an expression in unordered trees is true or false by reducing the unordered tree expression to one or more queries.
- View Dependent Claims (110, 111, 112, 113, 114, 115)
-
116. A method comprising:
-
applying basis equations and/or inequalities to one or more tree equations and/or inequalities to provide a reduced set of tree equations and/or inequalities interrelated by Boolean operations;
applying additional reducing equations and/or inequalities other than said basis equations and/or inequalities to further reduce said reduced set of tree equations and/or inequalities;
wherein applying said basis equations and/or inequalities and said additional reducing equations and/or inequalities includes employing a table look up mechanism;
wherein said basis equations and/or inequalities include at least four unique operators. - View Dependent Claims (117, 118, 119, 120)
-
-
121. An article comprising:
- a storage medium having stored thereon instructions that, when executed, result in;
applying basis equations and/or inequalities to one or more tree equations and/or inequalities to provide a reduced set of tree equations and/or inequalities interrelated by Boolean operations;
applying additional reducing equations and/or inequalities other than said basis equations and/or inequalities to further reduce said reduced set of tree equations and/or inequalities;
wherein applying said basis equations and/or inequalities and said additional reducing equations and/or inequalities includes employing a table look up mechanism;
wherein said basis equations and/or inequalities include at least four unique operators. - View Dependent Claims (122, 123, 124, 125)
- a storage medium having stored thereon instructions that, when executed, result in;
Specification