Tamaño de Firma
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El número de símbolos no lógicos distintos en la firma de un lenguaje, contando típicamente símbolos de función, predicado y constantes (a menudo tratando un símbolo con su aridad como una entrada distinta según la convención).