গাণিতিক বিশ্লেষণ, অবিচ্ছিন্ন গণিত ব্যবহার করে আনুষ্ঠানিক ভাষার সমস্যাগুলি সমাধান করার জন্য কিছু ফলাফল রয়েছে কিনা।
উদাহরণস্বরূপ, একটি প্রাসঙ্গিক মুক্ত ভাষা এবং নিয়মিত ভাষার জন্য ছেদটি শূন্যতার সমস্যা সমাধান করা।
গাণিতিক বিশ্লেষণ, অবিচ্ছিন্ন গণিত ব্যবহার করে আনুষ্ঠানিক ভাষার সমস্যাগুলি সমাধান করার জন্য কিছু ফলাফল রয়েছে কিনা।
উদাহরণস্বরূপ, একটি প্রাসঙ্গিক মুক্ত ভাষা এবং নিয়মিত ভাষার জন্য ছেদটি শূন্যতার সমস্যা সমাধান করা।
উত্তর:
চামস্কি -স্কটজেনবার্গার গণনা উপপাদ্যের সাথে সংযোগ সম্পর্কে লামিন মন্তব্য করেছিলেন । সম্প্রতি, আনুষ্ঠানিক ভাষা তত্ত্বের কয়েকটি গবেষণা সমস্যা এই সংযোগের মাধ্যমে অবিচ্ছিন্ন গণিত ব্যবহার করে সমাধান করা হয়েছিল। উদাহরণ স্বরূপ:
হারমান গ্রুবার, জনাথন লি এবং জেফ্রি শ্যালিট। নিয়মিত প্রকাশ এবং তাদের ভাষা গণনা করা । অনলাইনে আরএক্সি.আর.জি.তে অনলাইনে আরএক্সিভ হিসাবে উপলব্ধ: 1204.4982, 2012
সাবিন ব্রোদা, আন্তোনিও ম্যাকিয়াভেলো, নেলমা মোরেইরা, রোগারিও রেইস: বিশ্লেষণাত্মক সংমিশ্রনের মাধ্যমে বর্ণনামূলক জটিলতার একটি হিচিকার গাইড । Theor। Comput। সী। 528: 85-100 (2014)
সাবিনে ব্রোড, আন্তোনিও Machiavelo, Nelma Moreira,, Rogério রেইস: রেগুলার এক্সপ্রেশন থেকে অটোমাটা নির্মাণ গড় সাইজ । ইএটিসিএস 116 (2015) এর বুলেটিন
রাফেলা বাস্তোস, সাবিন ব্রোদা, আন্তোনিও মাচিয়াভেলো, নেলমা মোরেইরা, রোগিরিও রেইস: আধা বর্ধিত এক্সটেনশনের জন্য আংশিক ডেরিভেটিভ অটোমাতার গড় জটিলতায় । অটোমাতা, ভাষা এবং সংমিশ্রনের জার্নাল 22 (1-3): 5-28 (2017)
উপরোক্ত রেফারেন্সগুলির প্রথম দুটিটি গাণিতিক এবং / বা historicalতিহাসিক পটভূমির জরিপও দেয়।
প্রথম সংযোগগুলির মধ্যে একটি হ'ল উত্পন্ন ফাংশন via চমস্কি-Schützenberger উপপাদ্য যুক্তরাষ্ট্রের দ্ব্যর্থহীন সিএফএল শব্দের সংখ্যা উৎপাদিত ফাংশন বীজগাণিতিক হয়। তার গবেষণাপত্রে ফ্লাজোলেট প্রমাণ করেছেন যে বেশ কয়েকটি সিএফএল প্রকৃতপক্ষে অস্পষ্টভাবে দেখিয়েছে যে তাদের উত্পন্ন করার কাজটি ট্রান্সইেন্টালেন্ট (তাদের "স্থানীয় আচরণ" তাদের এককতার চারপাশে ট্রান্সইডেন্টাল ফাংশনের বৈশিষ্ট্য, উদাহরণস্বরূপ, লোগারিদমিক পদগুলি প্রসারণে প্রদর্শিত হয়)।
আরও সাধারণভাবে আপনার অ্যানালিটিক সংমিশ্রনের দিকে নজর দেওয়া উচিত । এটি আনুষ্ঠানিক কাঠামো এবং জটিল বিশ্লেষণের মধ্যে একটি সুন্দর সংযোগ দেয়।
ফ্লাজোলেট, ফিলিপ , বিশ্লেষণাত্মক মডেল এবং প্রসঙ্গ-মুক্ত ভাষার অস্পষ্টতা , থিওর। Comput। সী। 49, 283-309 (1987)। ZBL0612.68069 ।
কনস্ট্যান্টিন ভি। সাফোনভের কাজগুলি আকর্ষণীয় হতে পারে। উদাহরণস্বরূপ "সিম্বলিক পলিনোমিয়াল সমীকরণগুলির সিস্টেমগুলির সলভ্যাবিলিটি" ।
এই কাজের মধ্যে আলোচিত নন-কমিউটেটিভ বহুবর্ষীয় সমীকরণগুলির সিস্টেমগুলি ব্যাকরণ হিসাবে বিবেচনা করা যেতে পারে যা আনুষ্ঠানিক ভাষা উত্পন্ন করে। উদাহরণস্বরূপ, প্রসঙ্গমুক্ত ভাষা। এই সম্পর্কটি ভূমিকাটিতে আলোচনা করা হয়েছে।
এই বিষয়টিতে কনস্ট্যান্টিন ভি। সাফোনভের আরও কাজ রয়েছে, এবং তাদের মধ্যে কিছুগুলি আনুষ্ঠানিক ভাষা তত্ত্বের কাছে আরও বন্ধ রয়েছে, তবে তারা রাশিয়ান ভাষায় রয়েছে। উদাহরণস্বরূপ সিনট্যাকটিকাল রাজনৈতিক নীতিমালার একটি স্বতন্ত্র প্রতিনিধি ।
প্রকাশনাগুলির সম্পূর্ণ তালিকা আপনি এখানে দেখতে পাবেন: http://www.mathnet.ru/rus/Press37125