gramatica libre de contexto

[m@o_614]

Saludos

Tengo que crear una gramatica libre de contexto que me genere lo que serían las librerias del lenguaje de programacion Ada. Por ejemplo:

With Ada.Comand,Ada.Text_IO;

o tambien podria ser:

With Ada.Characters.Handling;

y la gramatica que tengo va más o menos así:

<Libreria>:= With <P>;
<P>:= Ada.identificador<paquetes>
<paquetes>:=.identificador<paquetes> | (null)

el problema es que esta gramatica me genera  with ada.X.y.Z; pero no me genera el primer ejemplo: with ada.comand,ada.Text_io;

y no se como agregarle esto, tambien tengo la restriccion de que si tengo una gramatica P, sus reglas no pueden iniciar con el mismo no terminal

gracias