En la ciencia informática teórica y la teoría del lenguaje formal , un alfabeto ordenado es un par de un alfabeto ordinario F y una función Aridad : F → . Cada letra de F tiene su aridad , por lo que se puede utilizar 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 se pueden considerar como cadenas . Las aridades superiores conducen a árboles propios .
Por ejemplo, en el término
a,b,c son constantes, g es unario y f es ternario.
A la inversa,
no puede ser un término válido, ya que el símbolo f aparece una vez como binario y otra como unario, lo cual es ilícito, ya que la aridad debe ser una función.
