Dereceli alfabesi - Ranked alphabet - Wikipedia

İçinde teorik bilgisayar bilimi ve resmi dil teorisi, bir sıralı alfabe bir çift sıradan alfabe F ve bir işlev Derece: F→ ℕ. Her harf F Lara sahip derece yani inşa etmek için kullanılabilir şartlar. Nullary elemanlar (sıfır ariteye sahip) da denir sabitler. Tekli semboller ve sabitlerle oluşturulan terimler şu şekilde kabul edilebilir: Teller. Daha yüksek topraklar uygun ağaçlar.

Örneğin, teriminde

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

ABC sabitler g tekli ve f üçlüdür.

Aksine,

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

sembol olarak geçerli bir terim olamaz f bir kez ikili olarak ve bir kez tekli olarak görünür, bu yasa dışıdır Derece bir işlev olmalıdır.

Referanslar

• Comon, Hubert; Dauchet, Max; Gilleron, Rémi; Jacquemard, Florent; Lugiez, Denis; Löding, Christof; Tison, Sophie; Tommasi, Marc (Kasım 2008). "Hazırlıklar". Ağaç Otomata Teknikleri ve Uygulamaları (PDF). Alındı 11 Şubat 2014.