Invention Grant
- Patent Title: Verifying correctness of regular expression transformations that use a post-processor
- Patent Title (中): 验证使用后处理器的正则表达式转换的正确性
-
Application No.: US13170739Application Date: 2011-06-28
-
Publication No.: US08688608B2Publication Date: 2014-04-01
- Inventor: Kubilay Atasu , Jason R. Baumgartner , Christoph Hagleitner , Mitra Purandare
- Applicant: Kubilay Atasu , Jason R. Baumgartner , Christoph Hagleitner , Mitra Purandare
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agency: Cantor Colburn LLP
- Agent Daniel Morris
- Main IPC: G06F11/28
- IPC: G06F11/28
Abstract:
A method for determining correctness of a transformation between a first finite state automaton (FSA) and a second FSA, wherein the first FSA comprises a representation of a regular expression, and the second FSA comprises a transformation of the first FSA includes determining a third FSA, the third FSA comprising a cross product of the second FSA and a post-processor; determining whether the first FSA and the third FSA are equivalent; and in the event that the first FSA is determined not to be equivalent to the third FSA, determining that the transformation between the first FSA and the second FSA is not correct.
Public/Granted literature
- US20130007530A1 VERIFYING CORRECTNESS OF REGULAR EXPRESSION TRANSFORMATIONS THAT USE A POST-PROCESSOR Public/Granted day:2013-01-03
Information query
