Zařazená abeceda - Ranked alphabet - Wikipedia

v teoretická informatika a teorie formálního jazyka, a seřazená abeceda je pár obyčejná abeceda F a funkce Arity: F→ ℕ. Každé písmeno dovnitř F má svoje arity takže jej lze použít k sestavení podmínky. Rovněž se nazývají nulové prvky (nulové arity) konstanty. Termíny vytvořené pomocí unárních symbolů a konstant lze považovat za struny. Vyšší arity vedou k řádnému stromy.

Například v termínu

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

a, b, c jsou konstanty, G je unární a F je ternární.

Naopak,

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

nemůže být platný termín jako symbol F se objeví jednou jako binární a jednou jako unární, což je nezákonné, jako Arity musí být funkce.

Reference

• Comon, Hubert; Dauchet, Max; Gilleron, Rémi; Jacquemard, Florent; Lugiez, Denis; Löding, Christof; Tison, Sophie; Tommasi, Marc (listopad 2008). "Přípravné zápasy". Techniky a aplikace stromových automatů (PDF). Citováno 11. února 2014.