Почему вызывается yyerror (), даже если строка действительна?

Это программа yacc для распознавания всех строк, оканчивающихся на b, которым предшествует n a, с использованием грамматики a n b (примечание: введите значение n).

%{
#include "y.tab.h"
%}
%%
a {return A;}
b {return B;}
\n {return 0;}
. {return yytext[0];}
%%

Часть yacc

YACC PART
%{
#include <stdio.h>
int aCount=0,n;
%}
%token A
%token B
%%
s : X  B {   if (aCount<n || aCount>n) 
        {
    YYFAIL();
}
 }
X : X T | T
T : A { aCount++;} 
  ;
%%

int main()
{   printf("Enter the value of n \n");
scanf("%d",&n);
    printf("Enter the string\n");
    yyparse();
    printf("Valid string\n");
}

int YYFAIL()
{
    printf("Invalid count of 'a'\n");
    exit(0);
}

int yyerror()
{
    printf("Invalid string\n");
    exit(0);
}

Выход

invalid string 

Он отображает недопустимую строку даже для допустимой строки, такой как aab для значения n 2. Для каждой введенной строки вызывается yyerror (). Пожалуйста, помогите мне решить эту проблему! TIA