Alphabet 
a b ;
Sets
X = a;

Rules
"R"
c:X => a [ c:a ]* _ ;