{"id":1934,"date":"2019-04-12T12:52:21","date_gmt":"2019-04-12T16:52:21","guid":{"rendered":"http:\/\/codinggorilla.com\/?p=1934"},"modified":"2019-04-12T17:30:07","modified_gmt":"2019-04-12T21:30:07","slug":"rewriting-the-pattern-matching-engine-part-2","status":"publish","type":"post","link":"http:\/\/165.227.223.229\/index.php\/2019\/04\/12\/rewriting-the-pattern-matching-engine-part-2\/","title":{"rendered":"Rewriting the pattern matching engine — part 2"},"content":{"rendered":"\n

Patterns in Piggy are regular expressions of parenthesized expressions that represent trees. The conversion of the regular expressions to a finite state automaton is easy (via Thompson’s Construction<\/a>), but the resulting automaton for the pattern may not work for an important reason: patterns that specify attributes and children of an AST node have an implicit “…” between each attribute or child pattern. While it’s possible to introduce additional states to recognize “…” between each attribute or child node in the pattern, the resulting automaton is ambiguous. For every input AST node, any attribute or child AST node can mismatch a “sub-pattern”, but can still match the complete pattern.<\/p>\n\n\n\n\n\n\n\n

To illustrate this issue, consider the following AST for an EnumDecl node, and the pattern “( EnumDecl ( EnumConstantDecl ) )”. The EnumDecl contains a FullComment child node and attributes for SrcLoc, Name, and Type.<\/p>\n\n\n\n

( EnumDecl SrcLoc=\"..\\src\\environ.h:286:1\"
     ( FullComment 
       ( ParagraphComment 
         ( TextComment Text=\" Simple search state variables \"
     ) ) )
     ( EnumConstantDecl Name=\"L_NOT_FOUND\" Type=\"int\"
       ( IntegerLiteral Type=\"int\" Value=\"0\"
     ) )
     ( EnumConstantDecl Name=\"L_FOUND\" Type=\"int\"
       ( IntegerLiteral Type=\"int\" Value=\"1\"
   ) ) )<\/pre>\n\n\n\n
This pattern should match this EnumDecl AST node, but it can’t if we use an automaton that looks for literally \u00e2\u20ac\u009c(” “EnumDecl” “(” “EnumConstantDecl” “)” “)\u00e2\u20ac\u009d in the token input stream. In fact, the automaton would fault on the input token “SrcLoc” because it would be expecting a “(” token. Even after removing the “SrcLoc=….” the automaton would still fail because it would be looking for “EnumConstantDecl” after recognizing “(“, finding instead “FullComment”.<\/p>\n\n\n\n
In order to perform a lookahead and skip any attribute or child node not specified in the pattern, I extended the automaton with “subpatterns”, which are separate finite state automatons of the pattern used to match attributes or child nodes in a pattern.<\/p>\n\n\n\n
So, for “( EnumDecl ( EnumConstantDecl ) )”, an NFA is first constructed for the regular expression pattern. In this automaton, edges can be an input symbol,<\/g> or a subpattern.<\/p>\n\n\n\n
\"\"<\/p>\n\n\n\n
A DFA-like automaton is constructed for the NFA using the usual epsilon-closure algorithm.<\/p>\n\n\n\n
\"\"<\/p>\n\n\n\n
When parsing the input, the sub-automaton is used to recognize an attribute or child node. If it does not match, the “Any” sub-automaton is used to recognized the input and the top-level automaton recognition restarted with the next input attribute or child node.<\/p>\n","protected":false},"excerpt":{"rendered":"
Patterns in Piggy are regular expressions of parenthesized expressions that represent trees. The conversion of the regular expressions to a finite state automaton is easy (via Thompson’s Construction), but the resulting automaton for the pattern may not work for an important reason: patterns that specify attributes and children of an AST node have an implicit … <\/p>\n
Continue reading “Rewriting the pattern matching engine — part 2”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[],"tags":[],"_links":{"self":[{"href":"http:\/\/165.227.223.229\/index.php\/wp-json\/wp\/v2\/posts\/1934"}],"collection":[{"href":"http:\/\/165.227.223.229\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/165.227.223.229\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/165.227.223.229\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/165.227.223.229\/index.php\/wp-json\/wp\/v2\/comments?post=1934"}],"version-history":[{"count":0,"href":"http:\/\/165.227.223.229\/index.php\/wp-json\/wp\/v2\/posts\/1934\/revisions"}],"wp:attachment":[{"href":"http:\/\/165.227.223.229\/index.php\/wp-json\/wp\/v2\/media?parent=1934"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/165.227.223.229\/index.php\/wp-json\/wp\/v2\/categories?post=1934"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/165.227.223.229\/index.php\/wp-json\/wp\/v2\/tags?post=1934"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}