HK1211718A1 - System and method to traverse a non-deterministic finite automata (nfa) graph generated for regular expression patterns with advanced features (nfa) - Google Patents
System and method to traverse a non-deterministic finite automata (nfa) graph generated for regular expression patterns with advanced features (nfa)Info
- Publication number
- HK1211718A1 HK1211718A1 HK15112237.1A HK15112237A HK1211718A1 HK 1211718 A1 HK1211718 A1 HK 1211718A1 HK 15112237 A HK15112237 A HK 15112237A HK 1211718 A1 HK1211718 A1 HK 1211718A1
- Authority
- HK
- Hong Kong
- Prior art keywords
- nfa
- traverse
- regular expression
- expression patterns
- advanced features
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/24—Querying
- G06F16/245—Query processing
- G06F16/2455—Query execution
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/22—Indexing; Data structures therefor; Storage structures
- G06F16/2228—Indexing structures
- G06F16/2246—Trees, e.g. B+trees
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Data Mining & Analysis (AREA)
- Databases & Information Systems (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Software Systems (AREA)
- Computational Linguistics (AREA)
- Computer And Data Communications (AREA)
- Data Exchanges In Wide-Area Networks (AREA)
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US201361872622P | 2013-08-30 | 2013-08-30 | |
US14/186,913 US9507563B2 (en) | 2013-08-30 | 2014-02-21 | System and method to traverse a non-deterministic finite automata (NFA) graph generated for regular expression patterns with advanced features |
Publications (1)
Publication Number | Publication Date |
---|---|
HK1211718A1 true HK1211718A1 (en) | 2016-05-27 |
Family
ID=53414333
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
HK15112237.1A HK1211718A1 (en) | 2013-08-30 | 2015-12-11 | System and method to traverse a non-deterministic finite automata (nfa) graph generated for regular expression patterns with advanced features (nfa) |
Country Status (2)
Country | Link |
---|---|
CN (1) | CN104714995B (en) |
HK (1) | HK1211718A1 (en) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110297773B (en) * | 2019-07-01 | 2022-11-18 | 成都奥卡思微电科技有限公司 | Visualization method, storage medium and terminal for assertion synthesis in formal verification |
CN111159496B (en) * | 2019-12-31 | 2024-01-23 | 奇安信科技集团股份有限公司 | Construction method and device of regular expression NFA |
Family Cites Families (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP4320004B2 (en) * | 2005-07-04 | 2009-08-26 | 日本電信電話株式会社 | XPath processing method, XPath processing device, XPath processing program, and storage medium storing the program |
US20080034427A1 (en) * | 2006-08-02 | 2008-02-07 | Nec Laboratories America, Inc. | Fast and scalable process for regular expression search |
CN101639861B (en) * | 2009-09-02 | 2012-06-27 | 福建星网锐捷网络有限公司 | String matching method and device based on definite state automaton |
CN101876986B (en) * | 2009-11-27 | 2012-11-21 | 福建星网锐捷网络有限公司 | Character string matching method based on finite state automation and content filtering equipment |
CN101853301A (en) * | 2010-05-25 | 2010-10-06 | 华为技术有限公司 | Regular expression matching method and system |
CN101944121B (en) * | 2010-09-20 | 2012-05-30 | 北京星网锐捷网络技术有限公司 | Generating method of finite state automaton, keyword matching method and devices and equipment |
CN102184197B (en) * | 2011-04-22 | 2012-10-10 | 湖南亿谷信息科技发展有限公司 | Regular expression matching method based on smart finite automaton (SFA) |
-
2014
- 2014-08-28 CN CN201410433202.5A patent/CN104714995B/en active Active
-
2015
- 2015-12-11 HK HK15112237.1A patent/HK1211718A1/en unknown
Also Published As
Publication number | Publication date |
---|---|
CN104714995A (en) | 2015-06-17 |
CN104714995B (en) | 2019-04-23 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
HK1208104A1 (en) | Generating a non-deterministic finite automata (nfa) graph for regular expression patterns with advanced features (nfa) | |
HK1221194A1 (en) | System and method for storing and processing a variety of part shapes using robotic tending | |
ZA201603571B (en) | System and method for monitoring third party access to a restricted item | |
HK1212119A1 (en) | Method and apparatus for processing of finite automata | |
GB2535653B (en) | Data processing apparatus and method for processing a plurality of threads | |
HK1216294A1 (en) | A method and device for respiratory monitoring | |
PL3092389T3 (en) | Method and system for more reliable starting of a turbo machine | |
SI2757539T1 (en) | A method and an arrangement for collecting and processing data related to road status | |
EP3074161C0 (en) | Method and device for additively manufacturing at least one component region of a component | |
HK1221381A1 (en) | Method for treating a swallowing disorder | |
PL2816582T3 (en) | Trigger and method for manufacturing such a trigger | |
IL240012B (en) | Apparatus and process for defining a plasma | |
EP2956829A4 (en) | Method and system for organizing and storing manufacturing process information | |
SG2013072152A (en) | A method and device for executing an enterprise process | |
GB201312218D0 (en) | A method and system for processing data | |
GB201306765D0 (en) | Method and apparatus for manufacturing a can end | |
HK1211718A1 (en) | System and method to traverse a non-deterministic finite automata (nfa) graph generated for regular expression patterns with advanced features (nfa) | |
EP2920618A4 (en) | System and method of populating a well log | |
DE102013005974B8 (en) | Battery storage system and method for operating a battery storage system | |
HK1217880A1 (en) | A method and an apparatus for manufacturing a filter for a smoking article | |
SG11201506518VA (en) | Process for treating a structure | |
EP3068348A4 (en) | Robotic device and method of using a parallel mechanism | |
SG2013054481A (en) | An apparatus and method for removing a needle from a needle hub | |
SG2014012447A (en) | System and method for processing a trade order | |
GB201316429D0 (en) | A system and method for co-ordering |