アルファベット順

理論計算機科学および形式言語理論では、ランク付けされたアルファベットは、通常のアルファベット Fと関数Arity : F →のペアです。 Fの各文字にはアリティがあり、それを使用して項を構築できます。ヌル要素 (アリティが 0 の要素) は定数とも呼ばれます。単項記号と定数で構築された項は、文字列と見なすことができます。アリティが高いほど、適切なツリーになります。 ${\displaystyle \mathbb {N} }$

例えば、

${\displaystyle f(a,g(a),f(a,b,c))}$、

a、b、cは定数、gは単項、fは三項です。

逆に、

${\displaystyle f(a,f(a))}$

は有効な項にはなりません。シンボルfがバイナリとして 1 回出現し、単項として 1 回出現しますが、これは不正です。Arityは関数でなければならないためです。

• コモン、ヒューバート。マックス・ドーシェ。ギルロン、レミ。ジャックマール、フィレンツェ;ルギエズ、デニス。レーディング、クリストフ。ティソン、ソフィー。マーク・トンマシ（2008年11月）。 「予選」。ツリー オートマトンのテクニックとアプリケーション(PDF) 。2014 年2 月 11 日に取得。