একটি ভাষার জন্য এল ⊆ Σ ^ * , নির্ধারণ অন্বিত সঙ্গতি ≡ এর এল উপর অন্তত সঙ্গতি যেমন Σ ^ * যে সুসিক্ত এল , অর্থাত্:
u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]।
এখন নীচের ডান সমষ্টি হিসাবে নেরোড সমতুল্যতা সংজ্ঞায়িত করুন :
u ∼ v ⇔ (∀ x) [ux ∈ L ↔ vx ∈ L]।
যাক [u] ব্যবহার এর সমানতা বর্গ হতে তোমার দর্শন লগ করা থেকে সম্মান সঙ্গে ≡ এবং <u> এবং সম্মান সঙ্গে ~ । এখন সংজ্ঞায়িত আমি (ঢ) বিভিন্ন সংখ্যা হতে [u] ব্যবহার জন্য U আকারের এন , এবং সংজ্ঞায়িত ঞ (ঢ) জন্য একটি অনুরূপ ফ্যাশন ~ ।
এখন প্রশ্ন হল, দুটি ফাংশন কীভাবে সম্পর্কিত?
উদাহরণস্বরূপ, একটি স্ট্যান্ডার্ড উপপাদ্য (ক্লেইন-শোটজেনবার্গার, আমি বিশ্বাস করি) বলে যে আমি (এন) যখনই জে (এন) হয় তখনই একটি ধ্রুবক দ্বারা আবদ্ধ হয় এবং পারস্পরিকভাবে হয়।
প্রশ্ন: এই ট্রেন্ডের অন্য কোনও ফলাফল আছে কি? উদাহরণস্বরূপ, যদি তাদের মধ্যে একটি বহুপদী হয়?