• ITU-T RECOMMENDATION Z.100 Anexo F1 (11/1988) ANEXO F1 A LA RECOMENDATION Z.100: DEFINICIÓN FORMAL DEL LED
  • ÍNDICE DEL FASCÍCULO X.3 DEL LIBRO AZUL
  • ÍNDICE
  • 1 Prefacio
  • 2 Motivación
    • 2.1 El metalenguaje
  • 3 Técnica de modelado
    • 3.1 Semántica estática
    • 3.2 Semántica dinámica
    • 3.3 Ejemplo
    • 3.4 Estructura física de la definición formal
  • 4 Cómo utilizar la definición formal
    • 4.1 Usuarios del LED
    • 4.2 Implementadores
  • 5 Introducción al Meta IV
    • 5.1 Estructura general
    • 5.2 Definición de funciones
    • 5.3 Definición de variables
    • 5.4 Dominios
    • 5.4.1 Sinónimos
    • 5.4.2 Árboles sin nombre
    • 5.4.3 Construcciones de ramificación
    • 5.4.4 Dominios elementales
    • 5.4.5 Dominios conjunto
    • 5.4.6 Dominios lista
    • 5.4.7 Dominios aplicación (correspondencia)
    • 5.4.8 Dominios Pid
    • 5.4.9 Dominios referencia
    • 5.4.10 Dominios opcionales
    • 5.5 Las construcciones let y def
    • 5.6 Cuantificación
    • 5.7 Sentencias auxiliares
    • 5.8 Divergencias respecto a la notación utilizada en la definición formal del CHILL
    • 5.9 Ejemplo: juego Demon especificado en Meta IV