BSTS / Mantık Terimleri Sözlüğü
dizilim işlevi anlamı İng. concatenation functor Alm. Verkettungsfunktor Fr. fonc-teur d'enchaînement
Belli bir sayıda dizimsel dil deyiminden, bunların gösterdikleri sözedilen dil deyimlerinin diziliminin adını oluşturan sözeden dil işlevi, || Dizilim işlevi(…) biçiminde yazılır. Kısalık amacıyla dizilim işlevi hiç yazılmaz. Örn. (…) yerine kısaca AB yazılır.