যাক উপর সব ভাষার পরিবার হতে Σ পরিতৃপ্ত পাম্পিং সম্পত্তি নিয়মিত ভাষার। যথা: প্রত্যেকের জন্য এল ∈ এল , একটি হল এন ∈ এন ম প্রত্যেক শব্দ W ∈ এল , | ডাব্লু | > এন আকারে w = x y z আকারে লেখা যেতে পারে যেখানে: 1. | y | > 0 , 2. | x y | ≤ N , 3. x y i zসবার জন্য ।
এটি একটি সহজ ব্যায়াম [1] প্রমাণ করার যে রয়েছে Singleton ভাষায় এল = { σ } , σ ∈ Σ এবং ইউনিয়ন, সংযুক্তকরণের Kleene তারা অধীনে বন্ধ করা হয়। এটি একইভাবে সুপরিচিত যে নিয়মিত ভাষার পরিবারগুলি হ'ল ছোট্ট একটিতে যার মধ্যে একা থাকে এবং এটি ইউনিয়ন, কনটেন্টেশন এবং ক্লিন তারার অধীনে বন্ধ থাকে। উপসংহার: নিয়মিত ভাষা পাম্পিং সম্পত্তি সন্তুষ্ট করে।
প্রশ্ন: সাহিত্যে কেউ এই প্রমাণ দেখেছেন? [1] ডি। বেরেন্ড প্রস্তাবিত।