S --> A B {
            S.check = (A.n == B.n) *
                      (A.check == 1) *
                      (B.check == 1);
          }
A --> a A1
          {
            A.count = 1 + A1.count;
            A.temp = (2 * A1.count);
            A.check = (A.temp == A.count);
            A.n = A1.n + (A.check == 1);
            A.temp = (A.check * A.temp) + (A1.temp * (A.check == 0));
          }
B --> b B1
          {
            B.count = 1 + B1.count;
            B.temp = (3 * B1.count);
            B.check = (B.temp == B.count);
            B.n = B1.n + (B.check == 1);
            B.temp = (B.check * B.temp) + (B1.temp * (B.check == 0));
          }
A --> a
        {
          A.count = 1;
          A.check = 1;
          A.n = 0;
        }
B --> b
        {
          B.count = 1;
          B.check = 1;
          B.n = 0;
        }
A --> epsilon
              {
                A.count = 0;
                A.check = 0;
                A.n = 0;
              }
B --> epsilon
              {
                B.count = 0;
                B.check = 0;
                B.n = 0;
              }