用於遞歸語法定義的Ruby正則表達式？

Question

如何使用正則表達式來驗證遞歸語法定義？ 例如，說我有以下語法：

alpha := <beta> gamma | <alpha> <beta>
   beta  := delta epsilon

這只是遞歸定義的意思的一個示例-我不是在尋找一個專門解決此問題的正則表達式，而是更多如何使用正則表達式解決此類問題。

Answer 1

這是匹配Ruby 1.9中的遞歸模式的一種方法，在這種情況下，是任意級別的嵌套括號：

#!/usr/bin/env ruby

text = "... { a { b { c } b } a { d } a } ...";
match = text.match(/(?<entire>\{(?:[^{}]+|\g<entire>)*\})/).captures
puts match

它將打印：

{ a { b { c } b } a { d } a }

模式的快速分解：

(?<entire>        # start named capture group called <entire>
  \{              #   match the literal '{'
  (?:             #   start non capture group 1
    [^{}]+        #     match one or more chars other than '{' and '}'
    |             #     OR
    \g<entire>    #     recursively match named group <entire>
  )*              #   end non capture group 1 and repeat it zero or more times
  \}              #   match the literal '}'
)                 # end named capture group called <entire>