فك شفرة ابجدية مصدر

في الترميز Coding والتشفير Encryption تسمى مجموعة الرموز , المراد ترميزها أو تشفيرها، والتي تمثل مجال التطبيق المستخدم لربط هذه الرموز بعلاقة مع صورها بعد الترميز أو التشفير, بأبجدية المصدر Source code.

مثال : تطبيق Mapping









C

=

{



a

↦

0

,

b

↦

01

,

c

↦

011



}





{\displaystyle C=\{\,a\mapsto 0,b\mapsto 01,c\mapsto 011\,\}}





هو ترميز، الابجدية المصدر له، هي المجموعة







{

a

,

b

,

c

}





{\displaystyle \{a,b,c\}}



.و الأبجدية الهدف له، هي المجموعة







{

0

,

1

}





{\displaystyle \{0,1\}}



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

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



لتكن S وT مجموعتين محدودتين، تدعيان المصدر والهدف alphabets, على التوالي. الترميز Code







C

:



S

→



T



∗









{\displaystyle C:\,S\to T^{*}}



هو Total function تطبيق تام, كل عنصر في المجال له على الأقل صورة في المجال المقابل Codomain. متتابعة من الرموز على T.

ويشار إلى توسيع M إلى دالة متقابلة "Homomorphism" من









S



∗









{\displaystyle S^{*}}



إلى









T



∗









{\displaystyle T^{*}}



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