¿Existe una extensión de los diagramas ferroviarios para capturar excepciones?

Question

Los diagramas de ferrocarril son un método popular para visualizar gramáticas libres de contexto y puede mapear el formulario Backus-Naur a estos diagramas. Pero some variants of BNF, por ejemplo W3C-BNF permite excepciones (ya que los idiomas libres de contexto no se cierran bajo diferencia, estas excepciones deben ser regulares). Me gustaría visualizar una gramática con excepciones en un diagrama de ferrocarril. ¿Debo inventar mi propia extensión a la notación gráfica o alguien ya experimentó con esto?

Aquí es un ejemplo de una regla con excepciones (sí, también se puede expresar esta gramática particular, sin excepción, pero eso no es el punto):

comment := "<!--" (string - "--") "-->" 

Una excepción puede ser cualquier gramática regular. Pensé en la adición de excepción conectado a símbolos no terminales por algún tipo especial de flecha o línea (en este caso se indica con un signo de exclamación):

[<] → [!] → [-] → [-] → (string) → [-] → [-] → [>] 
          ! 
          ! → [-] → [-] → ↯ 

PS: La gramática estaba mal, hay que

comment := "<!--" (string - (string "--" string | string "-")) "-->" 

¿Quizás el uso no intuitivo de la negación es una de las razones por las que se usa poco en las gramáticas formales?

Answer 1

Al escribir un Railroad Diagram Generator para gramáticas W3C recientemente, pensé por un tiempo cómo representar esto, pero no pude encontrar una solución con la que estuviera contento. No encontré ningún ejemplo a seguir tampoco.

No es solo el operador de diferencia de ajuste, para el cual no existe un equivalente gráfico en los diagramas de ferrocarril convencionales. La notación de puntos de código, rangos y complementos tampoco encaja bien.

Al final me abstuve de extender el modelo gráficamente. Lo que hice fue dibujar una caja de terminales para contener el fragmento de gramática que no tiene equivalente de ferrocarril en la notación original. Para distinguir esto de los cuadros literales, se establece en cursiva. Este es un ejemplo de la recomendación XML:

La producción EBNF fue:

Comment ::= '<!--' ((Char - '-') | ('-' (Char - '-')))* '-->' 

Editar:

Tras la propuesta de Jakob de una forma diferente, expresiones EBNF no resueltos son ahora se muestra en un hexágono: