Delphi - Urgente!!, necesito Ayuda

En la clase de lenguajes formales me han puesto a diseñar un automata que solo acepte una cadena que contenga una subcadena que contenga a impar y b pares. no he logrado hacerlo , le agradecere que me ayuden de urgencia en la creacion de algoritmo que resuelve este problema, pues es parte de una practica que tengo que entregar, y no he podido resolverlo.
esta subcadena debe ser en secuencia.
por ejemplo:
abbabab=aceptada (contiene la subcadena(abb))
abaaabb=aceptada(contiene la subcadena(aaabb))
abbbbabab=aceptada(contiene la subcadena(abbbb))
abababbb=no aceptada.

Si has hecho el diagrama de estados del autómata no veo que problema puede plantearte el implementarlo, ¿o es que lo que quieres es el diagrama?.