(?) gibi bir deyim izergesine ilişkin bir işlemleyici, (?) nin önalanının herhangi bir A öğesini, tek biçimde belirlenmiş sonlu sayıda dizimsel dönüştürmelerle (?) izerge değerine çevirmeyi sağlayan genel işlemleme yöntemidir.
TDK Mantık Terimleri Sözlüğü