L _
M _ Y _ R
P _ R T _
D _
L _ S
L _ N G _ _ J _ S
D _
P R _ G R _ M _ C _ _ N
P _ R M _ T _ N
_ L
P R _ G R _ M _ D _ R
D _ F _ N _ R
T _ P _ S
D _
D _ T _ S
_ D _ C _ _ N _ L _ S ,
N _ R M _ L M _ N T _
C _ M B _ N _ N D _
M _ L T _ P L _ S
_ L _ M _ N T _ S
D _
_ T R _ S
T _ P _ S
Y
D _ F _ N _ _ N D _
L _ S
_ P _ R _ C _ _ N _ S
D _ L
N _ _ V _
T _ P _
D _
D _ T _ . Clue
CADA VALOR PUEDE ALMACENAR DATOS ARBITRARIOS DE LONGITUD Y CODIFICADO VARIABLES, PERO ASOCIADOS A UN TIPO SIMBÓLICO DE DATOS (DEFINIDO COMO UNA CONSTANTE NUMÉRICA) QUE EXPRESA CÓMO ANALIZAR ESTOS DATOS. LA MAYOR PARTE DE LOS LENGUAJES DE PROGRAMACIÓN PERMITEN AL PROGRAMADOR DEFINIR TIPOS DE DATOS ADICIONALES, NORMALMENTE COMBINANDO MÚLTIPLES ELEMENTOS DE OTROS TIPOS Y DEFINIENDO LAS OPERACIONES DEL NUEVO TIPO DE DATO. POR EJEMPLO, ALGUNOS LENGUAJES DE PROGRAMACIÓN USAN UNA MISMA PILA PARA ALMACENAR LOS DATOS PARA UN PROCEDIMIENTO Y EL ENLACE QUE PERMITE RETORNAR A SU INVOCADOR. ALGUNOS EJEMPLOS DE TEORÍAS DECIDIBLES SON: LA ARITMÉTICA DE PRESBURGER Y LOS SISTEMAS ESTÁTICOS DE TIPOS DE LOS LENGUAJES DE PROGRAMACIÓN.