# start = S, 4 nonterminals, 5 terminals, 7 productions
S        -> b                        [0.143]
T_)      -> )                        [1.000]
S        -> T_( S T_)                [0.571]
S        -> S T_+ S                  [0.143]
T_(      -> (                        [1.000]
S        -> a                        [0.143]
T_+      -> +                        [1.000]