Programa YACC para reconocer strings de { anb | n≥5 }

Problema: escribir un programa YACC para reconocer strings de { a ⁿ b | n≥5 }

Explicación:
Yacc (por «otro compilador compilador más») es el generador de analizador estándar para el sistema operativo Unix. Un programa de código abierto, yacc genera código para el analizador en el lenguaje de programación C. El acrónimo generalmente se representa en minúsculas, pero ocasionalmente se ve como YACC o Yacc.

Ejemplos:

Input: ab
Output: invalid string

Input: aaaaab
Output: valid string

Input: aabb
Output: invalid string

Input: aaaaaaab
Output: valid string

Input: aaaaaabb
Output: invalid string 

Código fuente del analizador léxico:

%{
   /* Definition section */
  #include "y.tab.h"
 %}
  
/* Rule Section */
 %%
[aA] {return A;}
[bB] {return B;}
\n {return NL;}
.   {return yytext[0];}
 %%
  
int yywrap() 
 { 
   return 1; 
 } 

Código fuente del analizador:

%{
   /* Definition section */
  #include<stdio.h>
  #include<stdlib.h>
 %}
  
%token A B NL
  
/* Rule Section */
%%
stmt: A A A A A S B NL {printf("valid string\n");
             exit(0);}
;
S: S A
|
;
%%
  
int yyerror(char *msg)
 {
  printf("invalid string\n");
  exit(0);
 }
  
  
//driver code 
main()
 {
  printf("enter the string\n");
  yyparse();
 }

Producción: