公开(公告)号：EP2454661A1

公开(公告)日：2012-05-23

申请号：EP09780676.4

申请日：2009-07-15

申请人： Proviciel - Mlstate

发明人： BINSZTOK, Henri ,  KOPROWSKI, Adam

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F8/436 ,  G06F8/30 ,  G06F8/37 ,  G06F8/427 ,  G06F8/43

摘要： The invention relates to a system for building a parser. According to the invention, such a system comprises of: - a grammar input module for inputting in said parser generator a grammar expressed in a given formalism; - a checking module for formally verifying that a given grammar belongs to a predetermined class of grammars for which a translation to a correct, terminating parser is feasible; - a checking module for formally verifying that a grammar expressed in the said formalism is well-formed; - a semantic action module defining a parsing result depending on semantic actions embedded in said grammar, said semantic action module ensuring in a formal way that all semantic actions of said grammar are terminating and - a formal module generating a parser with total correctness guarantees, using said modules to verify that the grammar is well-formed, belongs to a certain class of feasible, terminating grammars and all its semantic actions are terminating.