Ranked alphabet とは

理論的なコンピュータサイエンスと形式言語理論では、アルファベットのアルファベットは普通のアルファベットFと関数Arity:F→pairのペアです。 Fの各手紙にはアリティがあるので、それを使って言葉を作ることができます。ヌル要素(ゼロアリティ)は、定数とも呼ばれます。単項記号と定数で構築された用語は文字列と見なすことができます。高い樹高が適切な樹木につながります。
例えば、期間中
f ( a , g ( a ) , f ( a , b , c ) ) {\displaystyle f(a,g(a),f(a,b,c))}
a、b、cは定数、gは単項、fは三項である。
逆に、
f ( a , f ( a ) ) {\displaystyle f(a,f(a))}
記号fは一度バイナリとして現れ、一度ユニタリとして現れます。これは不当であり、Arityは関数でなければなりません。