প্রশ্ন ট্যাগ «automata-theory»

বিমূর্ত মেশিন, ব্যাকরণ, পার্সিং, ব্যাকরণগত অনুমিতি, ট্রান্সডুসার এবং সসীম-রাষ্ট্র কৌশল সহ অটোমাতা থিয়োরি

11
সীমাবদ্ধ অটোমেটা অধ্যয়ন করার পরে আমি যে জ্ঞানার্জন লাভ করব?
আমি মজাদার জন্য থিওরিটির সংশোধন করছি এবং এই প্রশ্নটি আমাকে কিছুক্ষণ ধরে ঠাঁই দিচ্ছে (যখন আমি আমার আন্ডারগ্র্যাডে অটোম্যাটা থিওরি শিখি তখন মজার কখনও এটি ভাবেনি)। সুতরাং "কেন" আমরা সঠিকভাবে ডিস্ট্রিমেন্টিক এবং নন-ডিস্ট্রিমেন্টিক সসীম অটোমেটা (ডিএফএ / এনএফএ) অধ্যয়ন করি? সুতরাং এখানে কিছু উত্তর আমি একাকীকরণের পরে নিয়ে এসেছি তবে …
5
চমস্কি-শ্রেণিবিন্যাস কি পুরানো?
চমস্কি (üSchützenberger) শ্রেণিবদ্ধতা তাত্ত্বিক কম্পিউটার বিজ্ঞানের পাঠ্যপুস্তকগুলিতে ব্যবহৃত হয়, তবে এটি সম্পূর্ণ জটিলতা চিড়িয়াখানার চিত্রের তুলনায় প্রথাগত ভাষার (আরইজি, সিএফএল, সিএসএল, আরই) খুব সামান্য অংশকেই আবৃত করে । শ্রেণিবিন্যাস কি বর্তমান গবেষণায় কোনও ভূমিকা পালন করে? আমি এখানে চেমস্কির খুব কম রেফারেন্স পেয়েছি cstheory.stackexchange এ এবং কমপ্লেক্সি চিড়িয়াখানায় চমস্কি এবং …
10
রিয়েল কম্পিউটারগুলিতে কেবল একটি সীমাবদ্ধ সংখ্যক রাজ্য রয়েছে, তাই টুরিং মেশিনগুলির বাস্তব কম্পিউটারগুলির সাথে কী প্রাসঙ্গিকতা রয়েছে?
রিয়েল কম্পিউটারগুলির মেমরি সীমিত এবং কেবলমাত্র সীমাবদ্ধ সংখ্যক রাজ্য রয়েছে। সুতরাং তারা মূলত সীমাবদ্ধ অটোমেটা। তাত্ত্বিক কম্পিউটার বিজ্ঞানীরা কেন কম্পিউটার অধ্যয়নের জন্য ট্যুরিং মেশিন (এবং অন্যান্য সমমানের মডেল) ব্যবহার করেন? বাস্তব কম্পিউটারগুলির ক্ষেত্রে এই আরও শক্তিশালী মডেলগুলি অধ্যয়ন করার কী আছে? সসীম অটোমাতা মডেল কেন পর্যাপ্ত নয়?
9
অ-নির্ধারণবাদ এবং এলোমেলোতার মধ্যে পার্থক্য কী?
আমি সম্প্রতি এটি শুনেছি - "একটি অ-নিরোধক মেশিন কোনও সম্ভাব্য মেশিনের মতো নয় cr অশোধিত ভাষায়, একটি অ-নিরস্তব্য মেশিন একটি সম্ভাবনাময় মেশিন যেখানে ট্রানজিশনের সম্ভাবনাগুলি জানা যায় না"। আমি মনে করি আমি পয়েন্ট পেয়েছি কিন্তু আমি সত্যিই না। কেউ আমাকে (মেশিনের প্রসঙ্গে বা সাধারণভাবে) এটি ব্যাখ্যা করতে পারেন? সম্পাদনা 1: …
14
অটোমাতা থিওরি কতটা বাস্তব?
তাত্ত্বিক কম্পিউটার বিজ্ঞান সম্পর্কিত বিষয়গুলিতে সর্বদা প্রয়োগের জন্য একটি উপায় রয়েছে। তবে পাঠ্যপুস্তক এবং স্নাতক কোর্সগুলি সাধারণত অটোমাতা তত্ত্ব একটি গুরুত্বপূর্ণ বিষয় এবং এর প্রয়োগে প্রয়োগ রয়েছে কিনা তা সাধারণত ব্যাখ্যা করে না। অতএব আন্ডারগ্রাজুয়েট শিক্ষার্থীদের অটোমেটা তত্ত্বের গুরুত্ব বুঝতে সমস্যা হতে পারে এবং তারা সম্ভবত এটি ব্যবহারিক ব্যবহারের নয় …
6
নিয়মিত প্রকাশ হয় না
এমনকি কম্পিউটার বিজ্ঞানের একটি পটভূমি সহ এমন কাউকে জিজ্ঞাসা করুন যে নিয়মিত প্রকাশ কী, এবং উত্তরটি সীমাবদ্ধ-রাষ্ট্র অটোমেটনের নাগালের বাইরে যাওয়ার সীমাবদ্ধতার বাইরে চলে যেতে পারে। উদাহরণস্বরূপ, "নিয়মিত প্রকাশ" /^1?$|^(11+?)\1+$/ উল্লিখিত পার্ল ব্যক্তিত্বের দ্বারা নির্মিত অ্যাবিগাইল (এবং পার্লের পরীক্ষার স্যুট অংশটি ২০০২ সাল থেকে) এমন একটি মেশিনের বর্ণনা করেছে যা …
11
স্ব-অধ্যয়নের জন্য অটোমেটা তত্ত্ব সম্পর্কিত বই
আমার স্ব-অধ্যয়নের জন্য এবং পরীক্ষার জন্য প্রস্তুত করার জন্য প্রচুর উদাহরণ সহ একটি সসীম অটোমাতা তত্ত্বের বই দরকার।
1
আইলেনবার্গের অযৌক্তিক অটোমেটা ও ভাষাগুলির যুক্তিযুক্ত শ্রেণিবিন্যাস - এখন কোথায়?
তাঁর অত্যন্ত প্রভাবশালী বই অটোমাতা, ভাষা এবং মেশিনগুলির (খণ্ড, এ, বি) প্রবন্ধে, স্যামুয়েল আইলেনবার্গ কথায় কথায় যুক্তিযুক্ত সম্পর্কের ব্যবহার হিসাবে "যুক্তিবাদী ঘটনাবলির এক শ্রেণিবদ্ধ (যাকে যৌক্তিক শ্রেণিবদ্ধ বলে অভিহিত করেছেন) এর সাথে ভলিউম সি এবং ডি প্রতিশ্রুতি দিয়েছিলেন। তুলনার জন্য একটি সরঞ্জাম। যুক্তিযুক্ত সেটগুলি এই শ্রেণিবিন্যাসের নীচে রয়েছে upর্ধ্বমুখী একটির …
2
কি {
ভাষাটি { } প্রসঙ্গ-মুক্ত ?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k আমি বুঝতে পেরেছি যে আমি, জে এবং কে এর মধ্যে সম্পর্ক সম্পর্কে বিভিন্ন শর্ত নিয়ে এই প্রশ্নের প্রায় সমস্ত রূপের মুখোমুখি হয়েছি, তবে এটির একটি নয়। আমার অনুমান যে এটি প্রসঙ্গমুক্ত …
4
"ছোট" মেশিনগুলি কি নিয়মিত অভিব্যক্তির সাথে দক্ষতার সাথে মেলে?
এটি সুপরিচিত যে একটি নিয়মিত প্রকাশটি নিয়মিত প্রকাশের সমানুপাতিক আকারের একটি ননডেস্টেরিনিস্টিক সসীম অটোমেটনের দ্বারা স্বীকৃত হতে পারে, বা কোনও সংযোজনমূলক এফএ দ্বারা সম্ভবত সম্ভাব্য তাত্পর্যপূর্ণভাবে বৃহত্তর। তদ্ব্যতীত, প্রদত্ত একটি স্ট্রিং এবং একটি রেগুলার এক্সপ্রেশন দ , NFA সমানুপাতিক সময় সদস্যপদ পরীক্ষা করতে পারেন | s | ⋅ | r …
3
একটি ডিএফএ থেকে নিয়মিত অভিব্যক্তিতে যেতে জ্ঞাত অ্যালগরিদম
আমি ভাবছিলাম আছে কিনা `ভাল '' এলগরিদম একটি DFA তে থেকে শুরু করতে (আমি কোন অর্থে ব্যাখ্যা করবে) এবং একটি রেগুলার এক্সপ্রেশন গঠন করা যেমন যে , হপকক্রফ্ট এবং ওলম্যান (1979) বইয়ের একটির চেয়ে বেশি। সেখানে সালে সেট স্ট্রিং যে রাষ্ট্র থেকে DFA তে নেওয়া সেট প্রতিনিধিত্ব করতে ব্যবহৃত হয় …
2
কতজন ডিএফএ দুটি প্রদত্ত স্ট্রিং গ্রহণ করে?
একটি পূর্ণসংখ্যা ত্রুটিমুক্ত এবং বর্ণমালা Σ = { 0 , 1 } । ডি এফ এ ( এন ) সংজ্ঞায়িত করুন প্রারম্ভিক রাষ্ট্রের সাথে এন রাজ্যগুলিতে সমস্ত সসীম-রাষ্ট্রীয় অটোমাতার সংগ্রহ হতে We আমরা সমস্ত ডিএফএ বিবেচনা করছি (কেবল সংযুক্ত, ন্যূনতম বা অবনমিত নয়); এইভাবে, | ডি ফ এ ( এন …
2
এনএফএ সর্বজনীনতার জন্য শর্তসমূহ
একটি সসীম অটোমেটা এবং একটি ফাংশন । অতিরিক্তভাবে আমরা সংজ্ঞায়িত ।A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i এখন নীচের বিবৃতিটি বিশ্লেষণ করা যাক: যদি , তবে ।Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* এটা সহজ দেখানোর জন্য যে জন্য এটা সত্য, অত যদি অটোমাটা পর্যন্ত …
4
গণনার এমন কোন ট্যুরিং-সম্পূর্ণ মডেল রয়েছে যার থামার সমস্যাটি অনস্বীকার্য?
আমি এ জাতীয় কোনও মডেল ভাবতে পারি না, টাইপড ল্যাম্বডা ক্যালকুলাসের কোনও রূপ? কিছু প্রাথমিক সেলুলার অটোমেটন? এটি ওল্ফ্রামের "গণনার সমতুল্যের নীতি" প্রায় অস্বীকার করবে : স্পষ্টতই সহজ নয় এমন প্রায় সমস্ত প্রক্রিয়া সমমানের পরিশীলনের গণনা হিসাবে দেখা যায়
2
প্রসঙ্গে সংবেদনশীল ব্যাকরণ এবং প্রকারগুলি
1) স্ট্যাটিক টাইপিং এবং ফর্মাল ব্যাকরণগুলির মধ্যে কী সম্পর্ক? 2) বিশেষত, কোনও লিনিয়ার বাউন্ডেড অটোমেটনের পক্ষে, একটি সি ++ বা এসএমএল প্রোগ্রামটি ভাল টাইপ করা হয়েছে কিনা তা পরীক্ষা করা সম্ভব হবে? নেস্টেড স্ট্যাক অটোমেটন? 3) আনুষ্ঠানিক ব্যাকরণ শর্তে স্থিতিশীল টাইপিং বিধি প্রকাশ করার প্রাকৃতিক উপায় আছে কি?
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.