LENGUAJES

FORMALES
EXAMEN
FINAL
PROF.
ANGEL ASENCIO
VALOR:
30 PTOS

PARTE 1 (VALOR 15 PUNTOS):
GOLD PARSER es una excelente herramienta para la construccin y validacin de gramticas mediante la
notacin BNF. A continuacin se muestra dos sencillos ejemplos los cuales pueden ser encontrados como parte de
descarga en la pgina http://www.goldparser.org/grammars/index.htm. La primera trata de la implementacin del
nmero telefnico usado en Estados Unidos y Canad, y la segunda gramtica trata sobre la implementacin de un
identificador o variable.

"Name" = 'Phone Number Example'
"Author" = 'Devin Cook'
"About" = 'This is the grammar definition for the US/Canada phone system'

"Start Symbol" = <Phone Number>

Num3 = {Digit}{Digit}{Digit}
Num4 = {Digit}{Digit}{Digit}{Digit}


<Phone Number> ::= <Area Code> Num3 '-' Num4
| Num3 '-' Num4

<Area Code> ::= '(' Num3 ')'
| Num3 '-'
| Num3 '/'


"Name" = 'Identifier Example'
"Author" = 'Devin Cook'
"About" = 'This is a simple example which shows how to define standard identifiers'

"Start Symbol" = <Value>


! The identifier is defined as a single letter followed by zero or more
! alphumeric characters

Identifier = {Letter}{Alphanumeric}*


<Value> ::= Identifier

A partir de estos ejemplos de gramticas y otros que se pueden consultar en la pagina antes mencionada, y usando
el GOLD PARSER para crear y generar los archivos grm y cgt, se solicita lo siguiente:

a) Crear una gramtica para el nmero de cdula.
b) Crear una gramtica para la matrcula o nmero de placa de un vehculo de motor.
c) Crear una gramtica para la declaracin de variables con la siguiente sintaxis: tipo variable
o tipo : Se refiere al tipo de la variable, este puede ser uno de los siguientes: ENTERO, REAL, CADENA
y LOGICO
o variable : Se refiere al nombre de un identificador o variable cualquiera.

PARTE 2 (VALOR 15 PUNTOS): Realizar y probar con una herramienta de validacin, las siguientes
expresiones regulares:
a) Validacin del RNE (Registro Nacional de Estudiante) el cual es el cdigo de identificacin de los estudiantes
al tomar pruebas nacionales. El mismo consta de los siguientes campos:
- Primera letra de su nombre
- Primera letra del primer apellido
- Primera letra del segundo apellido
- Ao de nacimiento (aaaa)
- Mes de nacimiento (mm)
- Da de nacimiento (dd)
- Mas cuatro ceros (0000)
Si no se encuentra nada con esta composicin entonces se revisa todo y se cambia el ltimo 0 por un 1 y as
hasta llegar al nmero 5.
b) Generacin de cadenas que comiencen y terminen por comillas (), cuyo contenido admita cualquier carcter,
incluido las comillas si van precedidas de la barra invertida (\). Por ejemplo: Esta es una cadena \ que
incluye comillas.
c) Se desea poder representar horas del da con el formato HH:MM, es decir, la hora primero y los minutos
despus, separados por dos puntos o por un punto simple. Aun asi, para esto se debe respetar algunas
restricciones. Estas son las siguientes:
En principio, la notacin bsica sera de cinco caracteres: dos dgitos (la hora), un punto y dos dgitos
(el minuto dentro de la hora). Lgicamente, solo sern literales de hora validos de 00.00 a 23.59 y no,
por ejemplo, 00.75, 24.00 ni 25.10.
Si el primer digito en un literal de hora es un cero, podr ser omitido, como en 9.30; sin embargo, tras
esa omisin no ser posible otra: por ejemplo, 00.15 podr expresarse como 0.15, pero no como .15.
Para separar horas de minutos, ser posible utilizar el carcter dos puntos en lugar del punto, como en
16:20.





OBSERVACIONES:
Se pueden formar si se quiere grupos con un mximo de tres personas.
El examen final debe ser subido al EVA, en formato comprimido, no se admitir otra via para la entrega
del mismo.