;;;          Mode: LISP; Base: 10
;;;!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
;;;
;;;        Fichero: Numeros.gra
;;;
;;;        Version: 2.0
;;;
;;;        Autor:   Irene Rodriguez 
;;;                 para Rank Xerox Espa¤ola.
;;;
;;;        Fecha:   31-ENE-89
;;;
;;;        Contenido:
;;;    Esta gramatica es una segundaa implementacion para traducir numeros 
;;;   escritos en letras en numeros escritos en digitos.
;;;	
;;;     Se han implementado los numeros del 0 al 999.999.999.999.
;;;
;;;     La implementacion de BILLONES es relativamente sencilla, en funcion
;;;   de los MILLONES (es homologo a la implementacion de MILLONES en funcion
;;;   de MILES).
;;;
;;;     Un numero puede ser simple o compuesto. Los numeros simples son
;;;   aquellos que estan escritos en una sola palabra y los compuestos son
;;;   los que se escriben combinando varias palabras simples.
;;;
;;;	Se ha utilizado el separador "!!" para indicar que si una equiparacion
;;;   es correcta no se continua el proceso por esa rama.
;;;
;;;	Por esta razon es muy importante el orden de los consecuentes. 
;;;
;;;	Siempre sera del mas complejo al mas simple.
;;;
;;;	Por ultimo, queda indicar que la utilizacion de (%f ...) tiene
;;;   argumentos que no permiten equiparacion con variables,
;;;    solo admite simbolos terminales o no terminales.
;;;
;;;
;;;
;;;        Revision:   (nombre y fecha).
;;;
;;;   moisés 24-1-2001  Adaptarlo para los números en inglés y para números negativos
;;;!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!


<numero-cardinal> -> ( 
   (&i (%f - !num)  
        (minus !! %dash) (!num := (<de1a999.999.999.999-cardinal> !! <zero>))) !!
   (<de1a999.999.999.999-cardinal> !! <zero>)
)
<de1a999.999.999.999-cardinal> -> (
   <n-comp-cinco-cardinal> !!
   <n-simp-cinco-cardinal> !!
   <de1a999.999-cardinal>
)
<n-comp-cinco-cardinal> -> (   ; [1.000.000-999.999.999] \ {1.000.000, 2.000.000, ... 999.999.000.000}
   &i (%f + (!part-mill !part-sum ))
      (!part-mill := (<n-simp-cinco-cardinal>))
      ?<enlace>
      (!part-sum := (<de1a999.999-cardinal>))
)
<n-simp-cinco-cardinal> -> (    ; [1.000.000-999.999.000.000]
   &i (%f * (!part-multip !millon))
      (!part-multip:= (<de1a999.999-cardinal>))
      ?<enlace>
      (!millon := (<million>))
)
<de1a999.999-cardinal> -> (
   <n-comp-cuatro-cardinal> !!
   <n-simp-cuatro-cardinal> !!
   <de1a999-cardinal>
)
<n-comp-cuatro-cardinal> -> (   ; [1000-999.9999] \ {1000, 2000, ... 999.000}
   &i (%f + (!part-millar !part-centenas))
      (!part-millar := (<n-simp-cuatro-cardinal>))
      ?<enlace>
      (!part-centenas := (<de1a999-cardinal>))
)
<n-simp-cuatro-cardinal> ->(    ; {1000, 2000 ... 999000}
   (&i (%f * (!part-mult !mil))
       (!part-mult := (<de1a999-cardinal>))
       ?<enlace>
       (!mil := (<thousand>)))
)
<de1a999-cardinal> -> (	
   <n-comp-tres-cardinal> !!
   <n-simp-tres-cardinal> !!
   <de1a99-cardinal> 
)
<n-comp-tres-cardinal> -> (     ; [100-999] \ {100, 200, ... 900}
   &i (%f + (!part-cent !part-decim))
      (!part-cent := (<n-simp-tres-cardinal>))
      <enlace-y>
      (!part-decim := (<de1a99-cardinal>))
)
<n-simp-tres-cardinal> -> (     ; {100, 200 ... 900}
   &i (%f * (!part-cent !cien))
   (!part-cent := <n-simp-cardinal>) 
   (!cien := <hundred>)
)
<de1a99-cardinal> -> (
   <n-comp-dos-cardinal> !!
   <n-simp-dos-cardinal> !! <n-simp-dos1-cardinal> !!
   <n-simp-cardinal>
)
<n-comp-dos-cardinal> -> (    ; [20-99] \ {20, 30, ... 90}
   &i (%f + (!part-dec !part-uni))
      (!part-dec := (<n-simp-dos-cardinal>))
      <enlace>
      (!part-uni := (<n-simp-cardinal> !! <n-simp-dos1-cardinal>))
)
<n-simp-dos-cardinal> -> (    ; {20, 30, ... 90}
   <twenty> !!
   <thirty> !!
   <forty> !!
   <fifty> !!
   <sixty> !!
   <seventy> !!
   <eighty> !!
   <ninety> 
)
<n-simp-dos1-cardinal> -> (   ; [10-19]
   <ten> !!
   <eleven> !!
   <twelve> !!	
   <thirteen> !!
   <fourteen> !!
   <fifteen> !!
   <sixteen> !!
   <seventeen> !!
   <eighteen> !!
   <nineteen> 
)
<n-simp-cardinal> -> (    ; [1-9]	
   <unit> !!
   <two> !!
   <three> !!
   <four> !!
   <five> !!
   <six> !!
   <seven> !!
   <eight> !!
   <nine>
)


<zero> ->	 (&i 0 zero)
<unit> ->	 (&i 1 (one !! a))
<two> ->	 (&i 2 two)
<three> ->	 (&i 3 three)
<four> ->	 (&i 4 four)
<five> ->	 (&i 5 five)
<six> -> 	 (&i 6 six)
<seven> ->	 (&i 7 seven)
<eight> -> 	 (&i 8 eight)
<nine> ->	 (&i 9 nine)
<ten> -> 	 (&i 10 ten)
<eleven> -> 	 (&i 11 eleven)
<twelve> ->	 (&i 12 twelve)
<thirteen> ->	 (&i 13 thirteen)
<fourteen> ->	 (&i 14 fourteen)
<fifteen> -> 	 (&i 15 fifteen)
<sixteen> ->	 (&i 16 sixteen)
<seventeen> ->	 (&i 17 seventeen)
<eighteen> ->	 (&i 18 eighteen)
<nineteen> ->	 (&i 19 nineteen)
<twenty> ->	 (&i 20 twenty)
<thirty> ->	 (&i 30 thirty)
<forty> -> 	 (&i 40 forty)
<fifty> ->	 (&i 50 fifty)
<sixty> -> 	 (&i 60 sixty)
<seventy> ->	 (&i 70 seventy)
<eighty> -> 	 (&i 80 eighty)
<ninety> ->	 (&i 90 ninety)
<hundred> ->	 (&i 100 hundred)
<thousand> -> 	 (&i 1000 (thousand !! kilo !! k))
<million> ->     (&i 1000000 (million !! mega !! M))


<enlace> -> (%dash)
<enlace-y> -> (?<enlace> and ?<enlace>)

;<numero-cardinal1> -> (!num := <numero-cardinal>)
;(<numero-cardinal>) => (msg !num)