LENGUAJE: CONJUNTOS

Descripción de
Tipo Sublenguaje
Tipo
Conjuntos CON L= {£ø / £ es una cadena de {A..Z},ø es una cadena de {A..Z,0..9}+}
Elementos ELE L= {[£], [£,£,..] / £ es una cadena de {a..z,A..Z,0..9}+}
Variables de VAR L= {£ø / £ es una cadena de {a..z,A..Z},ø es una cadena de
elementos y {a..z,A..Z,0..9}+}
conjuntos
Operaciones OPE
Símbolo SIM L= {+,!,*,-,&,>,<,$,#}
L= { {,},.,@}
Estructura del programa:
{ operaciones posibles}
Explicación de las operaciones: PERTENENCIA: &
UNION: + Formato: CON/VAR/ELE & CON/VAR/ELE.
Formato: CON/VAR + CON/VAR. Ejemplo: A&B: Operciones por si; Operaciones
Ejemplo: A+B. por no.
INTERSECCION: ! Nota: El valor de la consulta de pertenencia
Formato: CON/VAR ! CON/VAR. distribuye dos rutas por si y por no.
Ejemplo: A!B. LEER Y ASIGNAR: <
PRODUCTO CARTESIANO: * Formato: CON/VAR<.
Formato: CON/VAR * CON/VAR. CON/VAR < ELE/CON/VAR.
Ejemplo: A*B. CON/VAR< Operaciones de +,!,*,-.
DIFERENCIA: - Ejemplo: A<. B<[1,2,3]. var <[1].
Formato: CON/VAR - CON/VAR. DESPLEGAR: >
Ejemplo: A-B. Formato: CON/VAR/ELE >.
Nota: VAR hace referencia solo a variables de Ejemplo: A>. var>. [1]>.
conjuntos, en las operaciones anteriores DEFINICION DE VARIABLE DE CONJUNTO: $
Formato: $VAR.
CONJUNTO VACIO: @ Ejemplo: $var. Solo es necesario usar la
Descripción: se puede dejar un conjunto vacio, o definición la primera vez o cuando va a redefinir
inicializar con @. DEFINICION DE VARIABLE DE ELEMENTO: #
PUNTO: . Formato: #VAR.
Decripción: marcador de fin de una operación. Ejemplo: #var. Solo es necesario usar la
definición la primera vez o cuando va a redefinir
Ejemplos de Programas:  { $A<.$B<. C<A-B. C>.}
 { A<.B<. C<A+B. C>.}  { $A<[1,2,3].B<. $C<A!B. C>.}