The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Apr. 01, 2014
Filed:
Jun. 28, 2011
Kubilay Atasu, Rueschlikon, CH;
Jason R. Baumgartner, Austin, TX (US);
Christoph Hagleitner, Rueschlikon, CH;
Mitra Purandare, Rueschlikon, CH;
Kubilay Atasu, Rueschlikon, CH;
Jason R. Baumgartner, Austin, TX (US);
Christoph Hagleitner, Rueschlikon, CH;
Mitra Purandare, Rueschlikon, CH;
International Business Machines Corporation, Armonk, NY (US);
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.