Pascal/Turbo Pascal - Necesito Ayuda con un algoritmo

necesito ayuda, para implementar un algoritmo en pascal que me permita encontrar una subcadena que contenga a impar y b pares,
la cadena solo de contener a,b, ya es una cadena de automata determinista finito,

ejemplo:
cadena: aaabab =no aceptada
cadena: abbab=aceptada(subcadena{abb});
cadena:babbaaa=aceptada(subcadena(bbaaa});
cadena:aaabbbb=aceptada(subcadena{aaabbbb});
le agradecere su ayuda, ya que hize el diagrama de estado del automata, pero me esta dando problemas implementarlos.

si puedes poner la definición de tu lenguaje creo que se llama, algo así:

a(aa)*(bb)*

para poder ayudarte.