تعريف
يترك
ليكن رمزًا من النوع q بطول
أي مجموعة فرعية من
. يترك
أن تكون المسافة الدنيا لـ
، أي

أين
هي مسافة هامينغ بين
و
.
يترك
لتكن مجموعة جميع الرموز q -ary ذات الطول
والمسافة الدنيا
ودع
تشير إلى مجموعة الرموز في
بحيث يكون لكل عنصر بالضبط
المدخلات غير الصفرية.
يرمز بـ
عدد العناصر في
ثم نُعرّف
أن يكون أكبر حجم لرمز بطول
والمسافة الدنيا
:

وبالمثل، نُعرّف
أن يكون أكبر حجم للبرنامج في
:

النظرية 1 (حدود جونسون لـ
):
لو
،

لو
،

النظرية 2 (حدود جونسون لـ
):
(أ) إذا

(ii) إذا
ثم قم بتعريف المتغير
على النحو التالي. إذا
إذا كان زوجيًا، فحدد
من خلال العلاقة
؛ لو
غريب، عرّف
من خلال العلاقة
. يترك
. ثم،

أين
هي دالة الأرضية .
ملاحظة: إن إدخال حد النظرية 2 في حد النظرية 1 ينتج عنه حد أعلى عددي لـ
.