সীমিত ভাষা বনাম সীমিত ভাষা

Question

কম্পিউটার তত্ত্বে "অসীম" ভাষা বা "সীমাবদ্ধ" ভাষার শব্দগুচ্ছ ব্যবহার সম্পর্কে আমি অস্পষ্ট।

আমি মনে করি ঝামেলা রুট যে মত একটি ভাষা হয় অসীম অর্থে যে এটি একটি অসীম (কিন্তু ধর্তব্য) স্ট্রিং সংখ্যা তৈরি করতে পারেন হবে। তবুও, এটি সীমাবদ্ধ রাষ্ট্র অটোম্যাটন দ্বারা এখনও স্বীকৃত হতে পারে ।$L=\{ab\}^*$

এটি সিপসার বইটি সত্যই এই পার্থক্য তৈরি করতে সহায়তা করে না (অন্তত আমি যতটা বলতে পারি)। অসীম / সীমাবদ্ধ ভাষা এবং নিয়মিত ভাষার সাথে তাদের সম্পর্ক সম্পর্কে একটি প্রশ্ন একটি নমুনা পরীক্ষায় উঠে এসেছিল।

Comments

এটি অসীম কারণ ab*(ক্লেইন তারা) এর অর্থ আপনার কাছে স্ট্রিংয়ের শূন্য বা আরও সংমিশ্রণ থাকতে পারে ab, এর মধ্যে সম্ভাব্য অসীম সংখ্যক স্ট্রিং রয়েছে: {"", অ্যাব ab 1, অ্যাব ^ 2, আব ^ 3, ... ।, আব ^ n}। তবে আপনি এখনও একটি এফএসএম তৈরি করতে পারেন যা এই ভাষাটিকে স্বীকৃতি দেয় কারণ বাস্তবে কোনও অসীম স্ট্রিং উত্পন্ন করার উপায় নেই, যখন কোনও মেশিন দ্বারা প্রক্রিয়া করা হলে সমস্ত স্ট্রিং সীমাবদ্ধ হতে হবে, তবে এটি ভাষাটিকেই সীমাবদ্ধ করে না। ভাষা অসীম-নেস তাত্ত্বিক।

— হান্টার ম্যাকমিলেন

"চূড়ান্তভাবে বর্ণনামূলক" এবং "সসীম" এক নয়। উদাহরণস্বরূপ, আপনার নিয়মিত প্রকাশ একটি অসীম ভাষার সীমাবদ্ধ বর্ণনা; একটি সসীম অটোমেটন হ'ল অন্য একটি (তবে এটি সসীম বিবরণ বলে না তবে এটি কেবলমাত্র স্থির পরিমাণ বিট সংরক্ষণ করতে পারে বলে এটি সসীম অটোমেটন বলে । $\{a,b\}^*$

— রাফেল

অন্য কোনও মেশিনের সসীম বিবরণীর চেয়ে সীমাবদ্ধ সংখ্যার রাজ্য কেন বেশি গুরুত্বপূর্ণ?

— বাবু

অটোমেটনের লুপ থাকতে পারে এবং আপনি কয়েকটি রাজ্যের অসীম সময় ব্যবহার করতে পারেন।

— ডোগানুলাস

Answer 1

আহারে. এটি "সীমাবদ্ধ-রাষ্ট্র ভাষা" এর পরিভাষা হিসাবে (পুরানো স্কুল) পরিভাষা দ্বারা সৃষ্ট বিভ্রান্তির মতো মনে হচ্ছে যা আজ "নিয়মিত ভাষা" হিসাবে পরিচিত।

যাইহোক, এই দিনগুলিতে সীমাবদ্ধ / অসীমের মানক সংজ্ঞাগুলি কেবল ভাষার আকার বিবেচনা করে:

1. একটি সীমাবদ্ধ ভাষা হ'ল স্ট্রিংগুলির কোনও সেট , সীমাবদ্ধ কার্ডিনালিটির, | এল | < ∞ ।$L$$|L|<\infty$
2. একটি অসীম ভাষাটির কোনো সেট স্ট্রিং, অসীম (এর ℵ 0 ) cardinality | এল | = ∞ ।$L$$\aleph_0$$|L|=\infty$

একটি সসীম সর্বদা নিয়মিত।$L$

একটি অসীম নিয়মিত হতে পারে (কখনও কখনও "সসীম-রাষ্ট্র" নামে পরিচিত), ডিকিসেবল (কখনও কখনও "recursive" নামে পরিচিত), অ-নিয়মিত (নন-সীমাবদ্ধ-রাষ্ট্র), অ-সিদ্ধান্ত গ্রহণযোগ্য, ইত্যাদি,$L$

Comments

ধন্যবাদ রান! সুতরাং কেবল পরিষ্কার করে বলতে গেলে, একটি অসীম ভাষা? সুতরাং আমি অনুমান করি, সীমাহীন ভাষা দেওয়া হলেও এটি কোন শ্রেণির ভাষা তা কিছুই জানা যায় না। $L=\{a\mid b\}^*$

— কাঠবাদাম

ঐটা ঠিক. অসীম, নিয়মিত ভাষা। $L=\{a, b\}^*$

— রান

@ অ্যাম্বুলি অবশ্যই, এটি কী ধরণের ভাষা তা আমরা জানতে এবং প্রমাণ করতে পারি।

— ফ্যান্ট0 মি

Answer 2

একটি ভাষা স্ট্রিংগুলির একটি সেট। এটিতে সীমাবদ্ধ সংখ্যক স্ট্রিং থাকলে এটি সীমাবদ্ধ।

Answer 3

কম্পিউটার তত্ত্বে "অসীম" ভাষা বা "সীমাবদ্ধ" ভাষার শব্দগুচ্ছ ব্যবহার সম্পর্কে আমি অস্পষ্ট।

আমি মনে করি ঝামেলা রুট যে মত একটি ভাষা অর্থে যে এটি একটি অসীম (কিন্তু ধর্তব্য) স্ট্রিং সংখ্যা তৈরি করতে পারেন অসীম হয়। তবুও, এটি সীমাবদ্ধ রাষ্ট্র অটোম্যাটন দ্বারা এখনও স্বীকৃত হতে পারে।$L=\{ab\}^∗$

আরেকটি বিষয় হ'ল আনুষ্ঠানিক ভাষা তত্ত্বটি "ভাষা" শব্দটি কীভাবে ব্যবহার করে তা বরং অদ্ভুত।

আনুষ্ঠানিক ভাষা তত্ত্বের মানুষ ব্যতীত এই পৃথিবীর প্রত্যেকের কাছেই ভাষা যোগাযোগের জন্য ব্যবহৃত একটি উচ্চারণের সিস্টেম, সুতরাং প্রতিটি বাক্যটির একটি রূপ থাকে (এর বাক্য গঠন ) এবং একরকম অর্থ (এর শব্দার্থবিজ্ঞান )। আনুষ্ঠানিক ভাষা তত্ত্ব, কমপক্ষে কম্পিউটার বিজ্ঞানের ক্ষেত্রে যে অংশটি ব্যবহৃত হয়, তা ভাষাটির সিনট্যাক্স , আনুষ্ঠানিকভাবে, কীভাবে সর্বোত্তমভাবে সংজ্ঞায়িত করা যায় সেই সমস্যাটিতে উত্সর্গীকৃত । ভাষাগুলির সিনট্যাক্সের (ভাষার উচ্চারণগুলি দেখতে কেমন) এবং আনুষ্ঠানিকতা (ভাষাগুলি) এর মধ্যে সম্পর্কের সম্পর্কে এগুলিই নিয়মিত প্রকাশ যা ভাষার বাক্য গঠনকে সংজ্ঞায়িত করতে ব্যবহৃত হয়।

সুতরাং, আনুষ্ঠানিক ভাষা তত্ত্বে, 'একটি ভাষা' কেবল 'স্ট্রিংয়ের সেট' হিসাবে সংজ্ঞায়িত হয়। এটি সাধারণত ভাষার স্ট্রিংগুলির অর্থ বোঝায় না।

একই সাথে, নিয়মিত প্রকাশের মতো ভাষার বর্ণনার জন্য ব্যবহৃত আনুষ্ঠানিকতাও এই অর্থে ভাষা গঠন করে: উদাহরণস্বরূপ, প্রতিটি নিয়মিত প্রকাশটি একটি স্ট্রিং এবং তাই নিয়মিত প্রকাশের সেটটি একটি ভাষা। যাইহোক, এই formalisms জন্য, ভাষায় স্ট্রিং Do একটি অর্থ আছে: উদাহরণস্বরূপ, যে রেগুলার এক্সপ্রেশন মানে ভাষাটি এটিকে উল্লেখ করে।

$ab$$\{ab\}$$ab$$ab$$\{ab\}$

$\{ab\}^*$${}^*$$L$$L$$L$$L$$\{ab\}^*$$\{ \epsilon, ab, abab, ababab, abababab, \ldots \}$${}^*$$\{ab\}^*$

$(ab)^*$${}^*$

$(ab)^*$ that denotes a language, ask yourself whether it is discussing the regular expression itself (e.g. how it is constructed, which language it denotes, etc.) or whether it merely uses the regular expression to refer to the language being denoted.