ابجدية مصدر

مثال : تطبيق Mapping

من جانب آخر، باستخدام مصطلحات نظرية اللغات الشكلية Formal language theory، يكون التعريف الرياضي الدقيق لهذا المفهوم هو كما يأتي:

وفي هذا الصدد، هو ترميز، الابجدية المصدر له، هي المجموعة .و الأبجدية الهدف له، هي المجموعة . بتوسيع الترميز، السلسلة المرمزة 0011001011 يمكن تجميعها في كلمات مشفرة على شكل 0 011 0 01 011, وهذه بدورها يمكن فك ترميزها لتسلسل رموز المصدر acabc.

من جهة ثانية، ويشار إلى توسيع M إلى دالة متقابلة "Homomorphism" من إلى التي تقوم بتعيين كل متتابعة من رموز المصدر إلى متتابعة من رموز الهدف، إلى أنه توسيعها extension.

ومن جهة أخرى، لتكن S وT مجموعتين محدودتين، تدعيان المصدر والهدف alphabets, على التوالي. الترميز Code هو Total function تطبيق تام, كل عنصر في المجال له على الأقل صورة في المجال المقابل Codomain. متتابعة من الرموز على T.