Alfabeto clasificado
En informática teórica y teoría del lenguaje formal , un alfabeto clasificado es un par de un alfabeto ordinario F y una función Arity : F → . Cada letra de F tiene su aridad, por lo que puede usarse para construir términos . Los elementos nulos (de aridad cero) también se denominan constantes . Los términos construidos con símbolos unarios y constantes pueden considerarse cadenas . Las aridades superiores conducen a árboles adecuados .
no puede ser un término válido, ya que el símbolo f aparece una vez como binario y una vez como unario, lo cual es ilícito, ya que Arity debe ser una función.