বিভাগ তত্ত্ব এবং পার্সার - রেফারেন্স চেয়েছিল


13

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

সেরা

উত্তর:


9

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

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

ABBAB/ABAABAB

এটি প্রমাণিত হয়েছে যে ল্যামব্যাক ব্যাকরণগুলি প্রাসঙ্গিক মুক্ত ভাষার সমতুল্য, যদিও সম্ভবত এটি বেশ কঠিন ফলাফল - সিএফজি দেখানো লামব্যাক ব্যাকরণগুলির একটি উপসেট, তবে অন্য দিকটি 1991 সালে পেন্টাস দ্বারা প্রতিষ্ঠিত হয়েছিল।

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

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


1
ল্যামব্যাক ব্যাকরণগুলির ভাষায় সিএফজি-পার্সিংয়ের ভাইলান্টের ম্যাট্রিক্স-গুণ গুণকে পুনরায় প্রকাশ করা সম্ভবত একটি ব্যায়ামের চেয়ে বেশি ...
মার্টিন বার্গার

1
@ মার্টিনবার্গার: এটা কি আরও ভাল? :)
নীল কৃষ্ণস্বামী

খুঁজে বের করার একটাই উপায়!
মার্টিন বার্গার 12

2
উম্ম, তবে "শ্রেণিবদ্ধ ব্যাকরণ" বিভাগের ভাষাগত ধারণা ( এন । উইকিপিডিয়া. org / উইকি / সায়েন্ট্যাকটিক_ক্যাটগরি ) বোঝায় , এটি গণিতবিদদের বিভাগের তত্ত্বকে জড়িত করে না। সুতরাং উত্তরটির সাথে প্রশ্নের কোনও মিল নেই।
এমিল জেবেক

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

4

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

আরও সাধারণভাবে, পার্সেক পার্সারগুলি হলেন মনাদ , যা সিএস তত্ত্ব এবং বিভাগ তত্ত্ব উভয়তেই এতটাই সুপরিচিত যে আমি জিজ্ঞাসা না করা হলে রেফারেন্স দিতে যাচ্ছি না।


3
এটি কি অনেক কিছু বলে যে গণনাতে একটি ধারণাটি একটি মোনাদ? প্রায় সবকিছুই মোনাদ হিসাবে প্রকাশ করা যায়।
মার্টিন বার্গার

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