অটোমাতা থিওরি / ফরমাল ল্যাঙ্গুয়েজ থিসিস টপিক

Question

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

কোন পরামর্শ খুব প্রশংসা হবে!

Comments

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

— Jukka Suomela

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

— ভিনসেন্ট রুশো

Answer 1

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

Comments

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

— ভিনসেন্ট রুসো

ক্লাসিক 70 এর কাজগুলির তুলনায় সমস্যাগুলিও পৃথক এবং শক্ত: প্রাকৃতিক কম্পিউটিং সমস্যাগুলি ক্লাসিক স্ট্রিং-পার্সিংয়ের সমস্যা না হয়ে সাধারণত অ্যাসাইক্লিক গ্রাফের হয়ে থাকে। "গ্রাফ ব্যাকরণ প্রাকৃতিক কম্পিউটিং" সন্ধান করুন।

— চার্লস স্টুয়ার্ট

সত্যিই একটি আকর্ষণীয় বিষয়। Biocomputing (যা আমি সঙ্গে জড়িত করে থাকেন) এর ডিএনএ তীরভূমি স্থানচ্যুতি বাহিরে আরেকটি শাখা molecular-programming.org প্রকল্পের biocomputing ডোমেনের "প্রোগ্রামিং" দৃষ্টিভঙ্গি মধ্যে খুঁজছেন করা হয়েছে: diku.dk/~neil/blobentcs.pdf । আমার পক্ষপাতদুষ্ট মতামতটি দেখার জন্য উপযুক্ত :)

— স্বরবাদী

@ স্প্রিসট, হার্টম্যান এট আল-এর লিঙ্কটি পোস্ট করার জন্য আপনাকে অনেক ধন্যবাদ। কাগজ। আমি আজ এটি পড়তে হবে। আমি এখানে জিজ্ঞাসা করা প্রশ্নের উত্তরটির মতো দেখে মনে হচ্ছে: cstheory.stackexchange.com/questions/114/… যাতে আপনি কেবল আমার দিনটি তৈরি করেছেন। :-)

— অ্যারন স্টার্লিং

Answer 2

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

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

Comments

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

— ভিনসেন্ট রুসো

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

— ভিনসেন্ট রুশো

@ ক্যাপিনেহ্যাম্পটন: আপনি সর্বশেষতম কাজটি দেখতে এবং সেগুলি থেকে উদ্ভূত উন্মুক্ত সমস্যাগুলি দেখতে স্ট্যাকস এবং আইসিএএলপি (জেফরির উত্তরে উল্লিখিত) মত সম্মেলনের কার্যক্রমটি ব্রাউজ করার চেষ্টা করতে পারেন। ভাল থিসিস বিষয়গুলি প্রায়শই এই পদ্ধতিটি ব্যবহার করে খুঁজে পাওয়া যায়।

— রায়ান উইলিয়ামস

Answer 3

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

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

Comments

মতামত Kaveh জন্য ধন্যবাদ। আমি আমার উপদেষ্টার সাথে বার বার কথা বলছিলাম, তবে শেষ পর্যন্ত সিদ্ধান্তটি আমার উপর নির্ভরশীল যেহেতু আমিই তার বিষয়টির সাথে তার বেশিরভাগ সময়কে উৎসর্গ করব। তাই কেবল আগ্রহী যদি এখানে কারও বিষয় সম্পর্কে কোনও ভাল থিসিস অভিজ্ঞতা আছে। কোয়ান্টাম জটিলতার সাথে সম্পর্কিত কিছু সম্ভবত তবে মাস্টার্স থিসিস লেভেলের জন্য যথেষ্ট "কাটার আকার"।

— ভিনসেন্ট রুশো

Answer 4

ইতিমধ্যে এখানে উল্লেখ করা হয়নি এমন আরও একটি ফলপ্রসূ ক্ষেত্র হ'ল অটোমেটা তত্ত্ব এবং যুক্তির মধ্যে সংযোগ। আমার ধারণা এই গবেষণার দিকটি উত্তর আমেরিকার চেয়ে ইউরোপেই বেশি জনপ্রিয়। যেহেতু আমি এই ক্ষেত্রটিতে কাজ করি না, তাই আমি আপনাকে একটি নির্দিষ্ট সমস্যা প্রস্তাব করতে পারি না। তবে আপনি সাম্প্রতিক কাজের জন্য সাম্প্রতিক LICS 2010 এর পাশাপাশি পূর্বেরগুলিকেও পরীক্ষা করে দেখতে পারেন । বক্তৃতা নোট লিওনিদ Libkin দ্বারা একটি কোর্স থেকে একটা চমৎকার জায়গা থেকে শুরু হয়।

Comments

উদাহরণস্বরূপ, নেস্টেড শব্দের ভাষাগুলির অধ্যয়ন যা দৃশ্যমানভাবে পুডডাউন অটোম্যাটা দ্বারা স্বীকৃত তা গত দশকে বহু মনোযোগ জোগাড় করেছে। এর একটি কারণ এটি এক্সএমএল সম্পর্কিত অনেক সমস্যার একটি ভাল মডেল, অন্যটি হ'ল মডেলটি বিভিন্ন অঞ্চলে (প্রোগ্রামিং ল্যাঙ্গুয়েজ তত্ত্ব, সফ্টওয়্যার যাচাইকরণ, একমত হওয়া, যুক্তি) একসাথে কাজ করার জন্য কাজ করে। এটি সেই বিষয়গুলির মধ্যে একটি বলে মনে হচ্ছে যা সত্যই এ / বি বিভাজনকে অতিক্রম করে। cis.upenn.edu/~alur/nw.html

— আন্দ্রে সালামন

Answer 5

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

যেমন দেখুন

ওয়াগনার এবং ডিন, স্ট্যাটিক বিশ্লেষণের মাধ্যমে প্রবেশের সনাক্তকরণ, আইইইই সিম্প। সুরক্ষা এবং গোপনীয়তা 2001

ওয়াগনার এবং সোটো, হোস্ট-ভিত্তিক অনুপ্রবেশ সনাক্তকরণ সিস্টেমগুলিতে মিমিক্রি আক্রমণ, এসিএম কনফ। কম্পিউটার এবং যোগাযোগ সুরক্ষা 2002

গিফিন, ঝা এবং মিলার, দক্ষ প্রসঙ্গ-সংবেদনশীল অনুপ্রবেশ সনাক্তকরণ, এনডিএসএস 2004

ফেং এট আল, সুরক্ষা এবং গোপনীয়তা 2004 সম্পর্কিত আইইইই সিম্পোজিয়াম ইনট্রুশন সনাক্তকরণের জন্য স্ট্যাটিক বিশ্লেষণে সংবেদনশীলতা ফর্মালাইজিং

Comments

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

— ভিনসেন্ট রুসো

এছাড়াও ডেভিড, আমি মনে করি আপনি যাচাইকরণে ব্যবহৃত হিসাবে আনুষ্ঠানিক পদ্ধতিতে সংক্ষিপ্ত পরিবর্তন দিন। বিশেষত বুচি অটোমাটার মতো জিনিসগুলির সাথে জড়িত হওয়ার সময়, সমস্ত ধরণের আকর্ষণীয় প্রশ্ন রয়েছে। তারা কেবল STOC / FOCS / SODA জমি থেকে সরে গেছে।

— সুরেশ ভেঙ্কট