Conjunctive grammar
সংযোগমূলক ব্যাকরণ হল আনুষ্ঠানিক ভাষা তত্ত্বে অধ্যয়নরত আনুষ্ঠানিক ব্যাকরণের একটি শ্রেণী। তারা মৌলিক ধরনের ব্যাকরণ, প্রসঙ্গ-মুক্ত ব্যাকরণ, একটি সংযোগ ক্রিয়াকলাপের সাথে প্রসারিত করে। স্পষ্ট সংযোগ ছাড়াও, সংযোগমূলক ব্যাকরণগুলি একটি অ-প্রান্তিক প্রতীকের জন্য একাধিক নিয়ম দ্বারা প্রতিনিধিত্ব করা অন্তর্নিহিত বিচ্ছিন্নতার অনুমতি দেয়, যা প্রসঙ্গ-মুক্ত ব্যাকরণে প্রকাশযোগ্য একমাত্র যৌক্তিক সংযোগকারী। বিশেষ করে, ভাষার ছেদ নির্দিষ্ট করতে সংযোগ ব্যবহার করা যেতে পারে। বুলিয়ান ব্যাকরণ নামে পরিচিত সংযোগমূলক ব্যাকরণের আরও সম্প্রসারণ অতিরিক্তভাবে স্পষ্ট নেতিবাচকতার অনুমতি দেয়। একটি সংযোগমূলক ব্যাকরণের নিয়মগুলি এমন আকারে হয় যেখানে একটি নন-টার্মিনাল এবং,.., এবং (যথাক্রমে টার্মিনাল এবং নন-টার্মিনাল প্রতীকগুলির সীমাবদ্ধ সেট) প্রতীক দ্বারা গঠিত স্ট্রিং। অনানুষ্ঠানিকভাবে, এই ধরনের একটি নিয়ম দাবি করে যে প্রতিটি স্ট্রিং যা দ্বারা প্রতিনিধিত্ব করা প্রতিটি সিনট্যাক্টিকাল শর্তকে সন্তুষ্ট করে, তাই দ্বারা সংজ্ঞায়িত শর্তটি সন্তুষ্ট করে। আনুষ্ঠানিক সংজ্ঞা একটি সংযোগমূলক ব্যাকরণ 4-টুপল দ্বারা সংজ্ঞায়িত করা হয় যেখানে একটি সীমাবদ্ধ সেট; প্রতিটি উপাদানকে একটি নন-টার্মিনাল প্রতীক বা একটি পরিবর্তনশীল বলা হয়। প্রতিটি পরিবর্তনশীল বাক্যে একটি ভিন্ন ধরনের বাক্যাংশ বা ধারা উপস্থাপন করে। ভেরিয়েবলগুলিকে কখনও কখনও সিনট্যাক্টিক বিভাগও বলা হয়। এটি টার্মিনালগুলির একটি সীমাবদ্ধ সেট, যা থেকে বিচ্ছিন্ন, যা বাক্যের প্রকৃত বিষয়বস্তু তৈরি করে। টার্মিনালের সেট হল ব্যাকরণ দ্বারা সংজ্ঞায়িত ভাষার বর্ণমালা। এটি উৎপাদনের একটি সীমাবদ্ধ সেট, এবং এর মধ্যে কিছু জন্য প্রতিটি ফর্ম। এর সদস্যদের ব্যাকরণের নিয়ম বা উৎপাদন বলা হয়। শুরু পরিবর্তনশীল (বা শুরু প্রতীক), পুরো বাক্য (বা প্রোগ্রাম) প্রতিনিধিত্ব করতে ব্যবহৃত হয়। এটি অবশ্যই একটি উপাদান হতে হবে। একই লাইনে একই বাম দিকের জন্য সমস্ত ডান হাতের দিকগুলি। (পাইপ প্রতীক) ব্যবহার করে আলাদা করা সাধারণ। নিয়ম এবং তাই হিসাবে লেখা যেতে পারে। একটি সংযোগমূলক ব্যাকরণ দ্বারা নির্দিষ্ট ভাষার দুটি সমতুল্য আনুষ্ঠানিক সংজ্ঞা বিদ্যমান। একটি সংজ্ঞা ব্যাকরণকে ইউনিয়ন, ছেদ এবং সংমিশ্রণ সহ ভাষা সমীকরণের একটি ব্যবস্থা হিসাবে উপস্থাপন করা এবং এর ন্যূনতম সমাধান বিবেচনা করার উপর ভিত্তি করে। অন্য সংজ্ঞাটি চম্স্কির প্রসঙ্গ-মুক্ত ব্যাকরণের উৎপাদক সংজ্ঞাকে সাধারণীকরণ করে যা সংযোগ এবং সংমিশ্রণের উপর পদগুলির পুনর্লিখন ব্যবহার করে। যে কোনও স্ট্রিংয়ের জন্য, আমরা বলি সরাসরি ফলন হয়, যেমন লেখা হয়, যদি এমন কোনও নিয়ম থাকে যা এবং, বা এমন একটি স্ট্রিং বিদ্যমান থাকে যা এবং। যে কোনও স্ট্রিংয়ের জন্য আমরা বলি জেনারেট করে, লেখা হয়, যদি তাই হয়। একটি ব্যাকরণের ভাষা হল এটি তৈরি করা সমস্ত স্ট্রিংয়ের সেট। উদাহরণ উৎপাদন সহ ব্যাকরণ,,,,, সংমিশ্রণমূলক। একটি সাধারণ ব্যুৎপত্তি হল এটি দেখানো যেতে পারে। ভাষাটি প্রসঙ্গ-মুক্ত নয়, প্রসঙ্গ-মুক্ত ভাষাগুলির জন্য পাম্পিং লেমা দ্বারা প্রমাণিত। পার্সিং অ্যালগরিদম যদিও কনজাংক্টিভ ব্যাকরণের অভিব্যক্তিমূলক শক্তি প্রসঙ্গ-মুক্ত ব্যাকরণের চেয়ে বেশি, কনজাংক্টিভ ব্যাকরণগুলি পরেরটির কিছু ধরে রাখে। সবচেয়ে গুরুত্বপূর্ণ বিষয় হল, লিনিয়ার-টাইম রিকার্সিভ ডিসেন্ট, কিউবিক-টাইম জেনারেলাইজড এলআর, কিউবিক-টাইম কক-কাসামি-ইয়ংগার, সেইসাথে ভ্যালিয়েন্টের অ্যালগরিদম সহ প্রধান প্রসঙ্গ-মুক্ত পার্সিং অ্যালগরিদমগুলির সাধারণীকরণ রয়েছে যা ম্যাট্রিক্স গুণনের মতো দ্রুত চলছে। তাত্ত্বিক বৈশিষ্ট্য একটি বৈশিষ্ট্য যা প্রসঙ্গ-মুক্ত ভাষা বা তাদের সীমাবদ্ধ ছেদগুলির জন্য ইতিমধ্যে অনির্বচনীয়, সংমিশ্র ব্যাকরণের জন্যও অনির্বচনীয় হতে হবে; এর মধ্যে রয়েছেঃ শূন্যতা, সীমাবদ্ধতা, নিয়মিততা, প্রসঙ্গ-স্বাধীনতা, অন্তর্ভুক্তি এবং সমতা। সংযোগমূলক ভাষাগুলির পরিবার ইউনিয়ন, ছেদ, সংযোগ এবং ক্লিন স্টারের অধীনে বন্ধ থাকে, তবে স্ট্রিং সমরূপতা, উপসর্গ, প্রত্যয় এবং সাবস্ট্রিংয়ের অধীনে নয়। পরিপূরকের অধীনে এবং ε-মুক্ত স্ট্রিং সমরূপতার অধীনে বন্ধ হওয়া এখনও উন্মুক্ত সমস্যা (2001 সালের হিসাবে)। এক-অক্ষর বর্ণমালার উপর ব্যাকরণের অভিব্যক্তির ক্ষমতা নিয়ে গবেষণা করা হয়েছে। এই কাজটি আরও সাধারণ রূপের ভাষা সমীকরণ অধ্যয়নের জন্য একটি ভিত্তি প্রদান করে। সিঙ্ক্রোনাইজড অল্টারনেটিং পুশডাউন অটোমাটা আইজিকোভিটস এবং কামিনস্কি সিঙ্ক্রোনাইজড অল্টারনেটিং পুশডাউন অটোমাটা (এসএপিডিএ) নামে একটি নতুন শ্রেণীর পুশডাউন অটোমাটা (পিডিএ) চালু করেছেন। তারা এটিকে সংযোগমূলক ব্যাকরণের সমতুল্য হিসাবে প্রমাণ করেছে ঠিক যেমন অনির্ধারিত পিডিএ প্রসঙ্গ-মুক্ত ব্যাকরণের সমতুল্য। বিবরণ বাহ্যিক লিঙ্ক প্রযুক্তিগত প্রতিবেদন সংস্করণ (পিডিএফ) আনুষ্ঠানিক ভাষা