नियमित रूप से यह साबित करने के लिए कि बाएं भाग के तहत नियमित भाषाएं कैसे बंद होती हैं?


13

से अधिक वर्णमाला एक नियमित रूप से भाषा है Σ = { एक , ख } । के बाईं भागफल एल के बारे में डब्ल्यू ∈ Σ * भाषा है डब्ल्यू - 1 एल : = { v | डब्ल्यू वी ∈ एल }LΣ={a,b}Lw∈Σ∗

w−1L:={v∣wv∈L}

मैं कैसे साबित कर सकता हूं कि नियमित है?w−1L

जवाबों:


15

मान लें एक नियतात्मक परिमित स्थिति मशीन स्वीकार कर रहा है एल । शब्द फ़ीड w में एम , जो कुछ राज्य में आप पहुंचेंगे क्ष । एक नई मशीन का निर्माण एम ' जो रूप में ही है एम लेकिन राज्य शुरू है क्ष । मैं दावा है कि एम ' को स्वीकार करता है w - 1 एल ।MLwMqM′MqM′w−1L

अब इसे साबित करें।


w−1

Lw

(a+b)∗(a+b)L

@कोरियम: मुझे नहीं पता कि आपके अंतिम कथन का क्या अर्थ है।
— डेव क्लार्क

1

w∈X∗L⊆X∗u−1(w−1L)=(wu)−1Lw−1LLLw−1L

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.