অটোমাতা থিওরি কতটা বাস্তব?


37

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

অটোমেটা তত্ত্ব কি এখনও বাস্তবে কার্যকর?

এটি কি স্নাতক সিএস পাঠ্যক্রমের অংশ হওয়া উচিত?


4
আমি মনে করি এটি এখানে অফ-টপিক; FAQ দেখুন দয়া করে ।
Jukka Suomela

3
এর 'অফ = টপিক'-নেস সম্পর্কে আমার মিশ্র অনুভূতি আছে। এটি স্পষ্টতই গবেষণা স্তর নয়, তবে অটোমাটা তত্ত্বের প্রাসঙ্গিকতার এই বিশেষ প্রশ্নটি প্রায়শই উঠে আসে।
সুরেশ ভেঙ্কট

18
আমি মনে করি এটি পুরোপুরি অন-টপিক। সসীম অটোমেটা তত্ত্বের প্রয়োগগুলি কী কী? রিয়েল ওয়ার্ল্ডের ভার্টেক্স কভার অ্যাপ্লিকেশন থেকে আলাদা নয় এবং আমরা এই প্রশ্নটি বন্ধ করি নি।
পিটার শর

4
যাইহোক, এই প্রশ্নটি নিবিড়ভাবে সম্পর্কিত, এবং এর উত্তরগুলি সীমাবদ্ধ অটোমাতা তত্ত্বের অধ্যয়নের জন্য কিছু ব্যবহারিক অনুপ্রেরণা দিতে পারে: " নিয়মিত প্রকাশগুলি কীসের জন্য ভাল? "।
Jukka Suomela

2
আমার বলতে হবে যে মানের মানের এবং বিভিন্ন উত্তর "সুযোগ" ইস্যুটিকে অপ্রাসঙ্গিক করে তোলে। আমি আশা করি ইতিমধ্যে তিনটি নিকট ভোটের সাথে, এই প্রশ্নটি প্রান্তটি ছড়িয়ে দিবে না।
সুরেশ ভেঙ্কট

উত্তর:


51
  1. গ্রেপ / অ্যাওক / এসডি এর মতো কোনও সরঞ্জাম কখনও ব্যবহার করেছেন? নিয়মিত প্রকাশগুলি এই সরঞ্জামগুলির হৃদয় গঠন করে।

  2. ইমেল সার্ভারের মতো "ব্যবহারিক প্রকল্প" - নিয়মিত প্রকাশের নীতিগত ব্যবহারের মাধ্যমে আপনি কতটা কোডিং এড়াতে পারবেন তা অবাক করে দেবেন।

  3. আপনি যদি কোনও সিএস মেজর হন তবে আপনি অবশ্যই একটি (কমপক্ষে একটি ছোট) ভাষার জন্য একটি সংকলক / দোভাষী লিখবেন। আপনি যদি এই কাজটি আগে কখনও চেষ্টা করে ফেলেছেন এবং আটকে পড়ে থাকেন তবে আপনি একটি সামান্য তত্ত্ব (ওরফে প্রসঙ্গ মুক্ত ব্যাকরণ) আপনাকে কতটা সহায়তা করতে পারে তা আপনি প্রশংসা করবেন। এই তত্ত্বটি এক সপ্তাহে অসম্ভব কাজটিকে এমন কিছু তৈরি করেছে যা সপ্তাহান্তে শেষ করা যায়। (এবং এটি আবিষ্কারক একটি টুরিং পুরষ্কার জিতেছে - গুগল বিএনএফ)।

  4. আপনি যদি কোনও সিএস মেজর হন তবে এক পর্যায়ে আপনাকে পিছনে বসে কম্পিউটিংয়ের দার্শনিক ভিত্তিগুলি সম্পর্কে চিন্তা করতে হবে এবং অ্যান্ড্রয়েড এপিআইয়ের পরবর্তী সংস্করণটি কত শীতল। সম্পর্কিত নোটে, বিশ্ববিদ্যালয়ের কাজ হ'ল আপনার জীবনের পরবর্তী 5 বছরের জন্য আপনাকে প্রস্তুত না করা, তবে আপনাকে পরবর্তী 50 এর জন্য প্রস্তুত করা। এই বিষয়ে তারা কেবলমাত্র কি করতে পারে তা আপনাকে ভাবতে সহায়তা করা - চিন্তাভাবনা এই কোর্সগুলির মধ্যে একটি হিসাবে অটোমেটা তত্ত্বের।


32

সিএসের আরও ব্যবহারিক প্রকাশের একটি হ'ল সংকলক নির্মাণ। 1965 সালে, নুথ এলআর পার্সারগুলির অধ্যয়ন শুরু করেছিলেন। দ্রুত (এক দশকেরও কম সময়ে), আমাদের কাছে এলএলআর পার্সার রয়েছে যা ডিস্ট্রিমেন্টিক পুশডাউন অটোমেটার একটি উপসেট যা আমাদের শিফট বাস্তবায়ন / পার্সার হ্রাস করতে দেয়।

এলএলআর পার্সিংয়ের সম্ভাব্যতা এবং দক্ষতার কেন্দ্রবিন্দুতে একটি প্রমাণ (নথ দ্বারা) যে ভাষার "উপসর্গ" নিয়মিত হয় (আপনার সীমাবদ্ধ স্বয়ংক্রিয়তা)) এটি হ'ল ইয়্যাক / বাইসন ইত্যাদির মতো স্বয়ংক্রিয় পার্সার জেনারেটরের উত্স is

এটি নিরাপদে বলা যায় যে আমরা প্রোগ্রামিং ভাষাগুলি তাদের জানা হিসাবে এই বিকাশের জন্য তাদের সংকলন দক্ষতার অনেক বেশি।

এখানে আরও একটি উদাহরণ রয়েছে: টিসিপি / আইপি প্রোটোকলের হৃদয় একটি সসীম রাষ্ট্রীয় মেশিন। এটি আরও কতটা ব্যবহারিক হতে পারে?

প্রতিটি গুরুতর সিএস শিক্ষার্থীর, বিশেষত ব্যবহারিকদের, অটোমেটা তত্ত্বের দিকে মনোযোগ দেওয়া উচিত। এটি কম্পিউটার বিজ্ঞানের সমৃদ্ধির বেশিরভাগ ভিত্তি।


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

30

তুমি কি সেই আওয়াজ শুনতে পাচ্ছ ? এটি অটোমেটা-তাত্ত্বিক স্বর্গে এক হাজার উজ্জ্বল উপপাদ্য, অ্যাপ্লিকেশন এবং সরঞ্জামগুলি হাসির শব্দ।

ভাষা এবং অটোমেটা হ'ল মার্জিত এবং শক্তিশালী ধারণা যা আপনি কম্পিউটার বিজ্ঞানের প্রতিটি ক্ষেত্রে পাবেন। ভাষাগুলি শুকনো নয়, প্রাগৈতিহাসিক কম্পিউটিং থেকে ফর্মালিস্ট হ্যান্ড-মি-ডাউনগুলি। ভাষা তত্ত্বের দৃষ্টিভঙ্গি পরিশীলিত, অস্বচ্ছ বস্তু সম্পর্কে আপাতদৃষ্টিতে জটিল প্রশ্নগুলিকে শব্দ এবং গাছ সম্পর্কে সাধারণ বিবৃতিতে ছড়িয়ে দেয়। বৌদ্ধ গণিতের বীজগণিত এবং টোপোলজির আনা মৌলিক এবং গেম পরিবর্তনের দৃষ্টিভঙ্গির মতো কম্পিউটার বিজ্ঞানের ক্ষেত্রে সাধারণ ভাষাগুলি ভূমিকা পালন করে। এখানে কিছু ব্যবহারিক, মোটামুটি জটিল, ব্যবহারিক সমস্যা যা ভাষা তত্ত্বের মাধ্যমে যোগাযোগ করা হয়েছে।

  1. আপনি একটি নথিতে কোনও বাক্যাংশের সদৃশ ঘটনাগুলি চিহ্নিত করতে এবং দ্বিতীয় ঘটনাটি মুছতে চান। সংক্ষেপে, আপনি একটি ভাষাতে একটি ক্রম বিকল্প করতে চান।
  2. কোনও প্রোগ্রামে কি দৃ an়তা লঙ্ঘন রয়েছে? কার্নেলের সাথে ইন্টারঅ্যাক্ট করার সময় কোনও ডিভাইস ড্রাইভার কি নির্দিষ্ট প্রোটোকলকে সম্মান করে? একটি প্রোগ্রামের আচরণ হত্যার একটি সেট; অন্য কথায়, একটি ভাষা। নির্ভুলতা সম্পত্তি অন্য ভাষা। প্রোগ্রামের সঠিকতা সমস্যাটি ভাষা অন্তর্ভুক্তি পরীক্ষার সমান।
  3. আপনার সফ্টওয়্যার একটি অসীম লুপ আটকে যেতে পারে? বিতরণ করা অ্যালগরিদমে কি কোনও লাইভলক থাকে? আমাদের অসীম শব্দের উপর ভাষা দরকার, তবে ভাষা অন্তর্ভুক্তির দৃশ্য এখনও প্রযোজ্য।
  4. ওয়েব অ্যাপ্লিকেশনটিতে প্রবেশ করা দূষিত জাভাস্ক্রিপ্ট সনাক্ত করতে আপনি একটি স্যানিটাইজার তৈরি করতে চান। দূষিত স্ট্রিংগুলির সেটটি একটি ভাষা। স্ট্রিংগুলির সেট অন্য ভাষায় ফর্মগুলিতে প্রবেশ করেছে। আপনি এই ভাষাগুলির ছেদটি ফাঁকা নেই কিনা তা নির্ধারণ করতে চান।
  5. প্রতিক্রিয়াশীল এবং মিশন-সমালোচনামূলক সিস্টেমগুলির রান-টাইম পর্যবেক্ষণ। আপনি এমন কোনও সফ্টওয়্যার মনিটর ডিজাইন করতে চান যা আপনার রাসায়নিক প্রক্রিয়াটির পরিচালনা পরিচালনা করে বা আর্থিক ডাটাবেসের আপডেট আপডেট করে। এগুলি হৃৎপিণ্ডের অন্তর্ভুক্তি এবং ছেদ সমস্যা।
  6. এর অসংখ্য অ্যাপ্লিকেশন সহ প্যাটার্ন স্বীকৃতি। আপনি জিনোমিক ডেটা, পাঠ্যে, বাগ রিপোর্টগুলির একটি সিরিজে নিদর্শনগুলি সনাক্ত করতে চান। এগুলি এমন সমস্যা যেখানে আমাদের অজানা ভাষা থেকে শব্দ দেওয়া হয় এবং ভাষাটি অনুমান করতে হয়। এগুলি ভাষা অনুমানের সমস্যা।
  7. এক্সএমএল দস্তাবেজের একটি সেট দেওয়া, আপনি ইঞ্জিনিয়ারকে এই নথিগুলির ক্ষেত্রে প্রযোজ্য এমন একটি স্কিমা বিপরীত করতে চান। এক্সএমএল নথিগুলি একটি গাছকে আদর্শ হিসাবে চিহ্নিত করা যায়। স্কিমা তখন গাছের ভাষার একটি স্পেসিফিকেশন এবং স্কিমা অনুমানের সমস্যাটি গাছের ভাষাগুলির তুলনায় একটি ভাষা অনুমানের সমস্যা।
  8. অনেক অ্যাপ্লিকেশনগুলির জন্য স্বয়ংক্রিয় পাটিগণিত যুক্তি প্রয়োজন। ধরা যাক আমরা প্রসবার্গার পাটিগণিতের মতো একটি লজিক্যাল থিয়োরি ঠিক করেছি, যার মধ্যে আমাদের প্রাকৃতিক সংখ্যা, সংযোজন এবং কম-বেশি প্রাকটিক্যাল রয়েছে। এন ভেরিয়েবল সহ একটি সূত্র এন-ডাইমেনশনাল ভেক্টরগুলির একটি সেট উপস্থাপন করে। ভেক্টর হ'ল অঙ্কগুলির ক্রম এবং একটি শব্দ হিসাবে এনকোড করা যায়। একটি শিকারী হ'ল শব্দের একটি সেট; একটি ভাষা. যৌক্তিক ক্রিয়াকলাপ যেমন সংমিশ্রণ, বিভাজন এবং প্রত্যাখ্যান হয়ে যায় ছেদ, মিলন এবং ভাষার পরিপূরক (অস্তিত্বের পরিমাপ এক প্রকারের অনুমান)।

উপরোক্ত ইঙ্গিতটি হ্রাস ভাষাগুলি বিমূর্ত গাণিতিক বিষয় হিসাবে বিবেচনা করে। এই ধারণাগুলিকে বাস্তবে প্রয়োগ করতে, এই ডেটা স্ট্রাকচারগুলিকে ম্যানিপুলেট করার জন্য আমাদের ভাষা এবং অ্যালগরিদম উপস্থাপনের জন্য একটি ডেটা স্ট্রাকচার প্রয়োজন।

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

আমি যুক্তি এবং সিদ্ধান্ত পদ্ধতি সম্পর্কে কিছুই বলেনি। (হ্যাঁ, তাদের ব্যবহারিক প্রয়োগ রয়েছে)) কোনও অনুমোদনমূলক ওভারভিউয়ের জন্য কাভেহের উত্তর দেখুন।


হা হা, বিড়ম্বনা
প্রবীণ সোনি

16

অন্যান্য উত্তরে যেমন ব্যাখ্যা করা হয়েছিল, অটোমাতা তত্ত্বটি একটি সাধারণ গণনামূলক মডেল হিসাবে ধারণাগতভাবে গুরুত্বপূর্ণ যা আমরা ভালভাবে বুঝতে পারি এবং নিয়মিত প্রকাশ এবং অটোম্যাটায় অনেকগুলি বাস্তব জীবনের অ্যাপ্লিকেশন রয়েছে।

আধুনিক গবেষণার জন্য এখানে একটি ছোট উদাহরণ যা একটি আধুনিক ধারণা বুঝতে অটোমাতা তত্ত্বে ফিরে যায়। এই গবেষণাপত্রে গবেষকরা প্রমাণ করেছেন যে নিয়মিত ভাষাগুলিতে সকলেরই সম্পত্তি পরীক্ষক থাকে: "নিয়মিত ভাষাগুলি স্থির সংখ্যক প্রশ্নের সাথে পরীক্ষার যোগ্য হয়"


15

এটি কেবল ভ্যানিলা অটোমেটনের নয়। আপনি একটি (গণনামূলক) মডেলের বুনিয়াদি (গ্রহণযোগ্য রাষ্ট্রগুলি, অ্যাপসিলন-ট্রানজিশন, ...) সম্পর্কে শিখছেন যা কী কী পারে তা নিয়ে তর্ক করতে সহায়তা করে এবং আরও গুরুত্বপূর্ণভাবে কিছু প্রশ্নের সাথে প্রকাশ করা যায় না। কয়েকটি আকর্ষণীয় ফলাফলের মধ্যে রয়েছে:

(এবং অবশ্যই আমি অন্যান্য ক্লাসে অনেক এড়িয়ে চলেছি)

মূলত, এটি একটি খুব সাধারণ মডেল। আপনার ক্লাসগুলি সম্ভবত অটোমাতা, ভাষা এবং যুক্তির মধ্যে লিঙ্ককে জোর দেবে।

যদি আমি এটি কংক্রিটের "পার্থিব" সরঞ্জামগুলির সাথে সম্পর্কিত করে দেখছিলাম, আমি লাইব্রেরীতে অবসরে সকালে কাটিয়ে ফেলতে চাই অ্যাবিতেবুল ও আল দ্বারা ডেটাবেসগুলির ফাউন্ডেশন থেকে কয়েকটি অংশ (এবি?) পড়া এবং এটি আবার শ্রেণিবিন্যাসের সাথে সংযুক্ত করার চেষ্টা করছি । অবশ্যই এটা শুধু এক একটি অটোমাটা ক্লাসের অ্যাপ্লিকেশনের জন্য দেখার (অনেক) উপায়ে, এবং আমি সবচেয়ে সুস্পষ্ট না অনুমান - কিন্তু যে অবিকল কেন এটি একটি আকর্ষণীয় ব্যায়াম আছে।


14

ইতিমধ্যে বিভিন্ন উত্তরে নির্দেশিত হিসাবে, ইউজির পাঠ্যক্রমগুলিতে অটোম্যাটা থিওরি আরও উন্নত (এবং ব্যবহারিক) বিষয়গুলি উপস্থাপনের জন্য এবং উপেক্ষা হওয়া সংযোগগুলি নির্দেশ করার জন্য একটি প্রাথমিক ধারণা কাঠামো দেয়; উদাহরণস্বরূপ: বাইনারি ডিসিশন ডায়াগ্রামগুলি (এগুলি ডিএফএ হ্রাস করা হয়; ডিএফএ শেখানোর পরে, আমি প্রায়শই বিডিডি-ভিত্তিক ধাঁধা সমাধান শেখায়); বায়োপার্ল এবং বায়োপাইথন সহ স্ক্রিপ্টিং (এবং একটি দুর্দান্ত সেটিংস যাতে রিয়েল-ওয়ার্ল্ড স্ক্রিপ্ট রিজেক্সসে লুকিয়ে থাকতে পারে এমন কতগুলি অযৌক্তিক ম্যাচগুলিকে শক্তিশালী করতে পারে), আনুষ্ঠানিক ডিবাগিং (অবহেলিত এফএ হিসাবে হিসাবে সম্পত্তি বৈশিষ্ট্য, ছেদ করা), এবং এমনকি ভিসিআর বা হোম অনুপ্রবেশকারী অ্যালার্ম প্রোগ্রামিং (অসম্পূর্ণ উদাহরণের মাধ্যমে শেখানো একটি দুর্বল নির্দিষ্ট অটোমেটনের প্রতিদিনের স্ট্রেস পরিস্থিতি; সম্ভবত ইউজার ইন্টারফেসের হেরেলের প্লে-ইন / প্লে-আউট দৃশ্য ভিত্তিক সংশ্লেষ ব্যবহার করে আনুষ্ঠানিকভাবে)) পাইথন পড়ানোর জন্য আমি সেটিংটিও ব্যবহার করি '


1
স্বাগতম, গণেশ!
সুরেশ ভেঙ্কট

1
অটোমেটা শেখানোর একটি দুর্দান্ত উপায়। আপনি আপনার বক্তৃতা নোট ভাগ করতে ইচ্ছুক হবে?
মার্টিন বার্গার

9

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


8

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

- জেমস মিল ("পিকিউ" ছদ্মনামে লেখেন), "থিওরি এবং অনুশীলন", লন্ডন এবং ওয়েস্টমিনস্টার রিভিউ , এপ্রিল 1836


8

শিল্পে ব্যবহৃত মডেল চেকিংয়ে অটোমাতা তত্ত্ব সম্পর্কিত যথেষ্ট গবেষণা হয়েছে। ফিল্ডস ইনস্টিটিউটে মোশে ওয়ার্ডির সাম্প্রতিক বক্তৃতাগুলি পরীক্ষা করুন , বিশেষত তৃতীয় বক্তৃতা "লজিক, অটোমেটা, গেমস এবং অ্যালগরিদম" কেন অটোমেটা তত্ত্বটি এখনও গুরুত্বপূর্ণ এবং দরকারী is

সারাংশ:

1950 এবং 1960 এর দশকে বুচি, এলগট, রবিন এবং ট্র্যাখেনব্রোট দ্বারা প্রবর্তিত সিদ্ধান্ত পদ্ধতির কাছে অটোমেটা-তাত্ত্বিক পদ্ধতির সিদ্ধান্ত গ্রহণের পদ্ধতির অন্যতম মৌলিক পন্থা। সম্প্রতি, এই পদ্ধতির হার্ডওয়্যার এবং সফ্টওয়্যার সিস্টেমগুলির আনুষ্ঠানিক যাচাইকরণে শিল্প অ্যাপ্লিকেশনগুলি পাওয়া গেছে। যুক্তি থেকে ব্যবহারিক অ্যালগরিদমের পথটি কেবল অটোমেটা দিয়েই নয়, গেমগুলির মাধ্যমেও যায়, যার অ্যালগরিদমিক দিকগুলি চন্দ্র, কোজেন এবং স্টকমেয়ার দ্বারা ১৯ 1970০ এর দশকের শেষভাগে পড়াশোনা করেছিল। এই ওভারভিউ টকটিতে আমরা অটোম্যাটা এবং গেমসের মাধ্যমে যুক্তি থেকে অ্যালগরিদমের পথটি বর্ণনা করি।

লেকচারগুলির স্লাইড এবং অডিও ফাইলগুলি এখানে পাওয়া যায়: 1 , 2 , 3


6

"ব্যবহারিক" এবং "প্রয়োগ" শব্দের শব্দার্থের বিষয়টি আমাদের বিবেচনায় নেওয়া উচিত। কিছু শিক্ষার্থীর জন্য ব্যবহারিক এমন কিছু যা তাদের পরীক্ষায় উত্তীর্ণ হতে সহায়তা করে; অন্যদের জন্য, যে কোনও কিছু পেশায় আসবে। উভয় ক্ষেত্রেই অটোমাতা থিওরিটি সত্যই কার্যকর।

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

একইভাবে "অ্যাপ্লিকেশন" এর জন্য। এই শব্দটি দিয়ে আপনি কী বোঝেন? এমনকি যদি আপনি "ডাউন-টু-আর্থ আর্থ ইঞ্জিনিয়ার" হন তবে আপনি বাস্তব বিশ্বের প্রকল্পগুলিতে অটোম্যাটা থিওরির অনুরূপ ধারণাগুলি দেখতে এবং ব্যবহার করতে পারবেন: প্রোগ্রামিং কোড, ফ্লো ডায়াগ্রাম এবং স্ট্যাকের এমনকি সহজ তবে উজ্জ্বল ধারণা concept আমার মতো তত্ত্বের নার্দের জন্য, আমি যুক্তি, বীজগণিত এবং সীমাবদ্ধ মডেল তত্ত্বের মতো অন্যান্য ক্ষেত্রে অটোমাতা থিওরির প্রয়োগগুলি বিবেচনা করি । অবশ্যই, সুপারমার্কেটে শপিং করার সময় আমার সম্ভবত পাম্পিং লেমা ব্যবহার করার দরকার পড়বে না, তবে এর মতো উপপাদ্যগুলি আমাকে কয়েকটি শ্রেণির ভাষার কাঠামো বুঝতে সহায়তা করেছে , লজিকগুলি এবং বীজগণিত কাঠামোগুলির সাথে চিঠিপত্রের উল্লেখ না করে। এবং এটি এমন কোনও বিষয় যা আমি ব্যবহারিকতার কোনও পরিমাপের চেয়ে বেশি মূল্যবান।


5

লজিকের সাথে একসাথে নিক্ষেপ করা, অটোমাতা স্টেটম্যানদের মতো চেক করার উপায়গুলি সরবরাহ করতে পারে

Aφ

AφAφ

φAφAφL(A)L(Aφ)


3

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

উদাহরণস্বরূপ দেখুন সিএসএসআর , অন্ধভাবে পুনর্নির্মাণের গোপনীয় রাজ্যের একটি অ্যালগরিদম; এটি লুকানো মার্কভ মডেলগুলির চেয়ে আরও দক্ষ এবং নমনীয়।


1
প্রাকৃতিক দিকটি যুক্ত করার জন্য, লুকানো মার্কভ মডেলগুলি স্পষ্টরূপে স্বীকৃতি প্রোগ্রাম যেমন কুরজওয়েলগুলিতে ব্যবহৃত হয়।
tden

3

অটোমাতা তত্ত্বের আরও একটি ব্যবহারিক প্রয়োগ হ'ল কৃত্রিম বুদ্ধিমত্তার বিকাশ। সীমাবদ্ধ অটোমেটনের ধারণা থেকে কৃত্রিম বুদ্ধিমত্তা তৈরি হয়েছিল। রোবোটের নিউরাল নেটওয়ার্কটি অটোমেটা তত্ত্বের ভিত্তিতে নির্মিত হয়। সব পরে রোবটও অটোমেটা a


2

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

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.