Programando: Validador de subtitulos .srt en E-BNF

Para seguir con el software de validación, una version en E-BNF (escrito con FLEX):

HORAS = [0-2][0-9]
MINUSEG = [0-5][0-9]
MILESI = [0-9][0-9][0-9]
COMA = ","
DOSPUNTOS = ":"
FLECHA = " --> "
TIEMPO = {HORAS}{DOSPUNTOS}{MINUSEG}{DOSPUNTOS}{MINUSEG}{COMA}{MILESI}
MARCATIEMPO = {TIEMPO}{FLECHA}{TIEMPO}
CUENTALINEA = [0-9]+
SALTOLINEA = [ \r\n]
FRASE = (.*{SALTOLINEA})*

BLOQUESUBTITULOS = {CUENTALINEA}{SALTOLINEA}{MARCATIEMPO}{SALTOLINEA}{FRASE}{SALTOLINEA}
FICHEROSUBTITULOS = {BLOQUESUBTITULOS}*

Este creo que está correcto y no hay que tocar nada mas..

Un saludo.