Regulated rewriting
নিয়ন্ত্রিত পুনর্লিখন হল ব্যাকরণগত পদ্ধতি অধ্যয়নরত আনুষ্ঠানিক ভাষার একটি নির্দিষ্ট ক্ষেত্র যা একটি ব্যুৎপত্তি ধাপে প্রয়োগ করা উৎপাদনের উপর কিছু ধরনের নিয়ন্ত্রণ নিতে সক্ষম। এই কারণে, নিয়ন্ত্রিত পুনর্লিখন তত্ত্বে অধ্যয়ন করা ব্যাকরণগত ব্যবস্থাগুলিকে "নিয়ন্ত্রিত উৎপত্তি সহ ব্যাকরণ" ও বলা হয়। এই ধরনের ব্যাকরণের মধ্যে লক্ষ্য করা যায়ঃ ম্যাট্রিক্স ব্যাকরণ মৌলিক ধারণাগুলি একটি ম্যাট্রিক্স ব্যাকরণ, একটি চার-টুপল যেখানে 1.-অ-টার্মিনাল চিহ্নগুলির একটি বর্ণমালা 2.-3-এর সাথে বিচ্ছিন্ন টার্মিনাল প্রতীকগুলির একটি বর্ণমালা 3.-ম্যাট্রিক্সের একটি সীমাবদ্ধ সেট, যা অ-খালি ক্রম, এবং যেখানে প্রতিটি, একটি ক্রমযুক্ত জোড়া, এই জোড়াগুলিকে "উৎপাদন" বলা হয় এবং চিহ্নিত করা হয়। এই পরিস্থিতিতে ম্যাট্রিক্সগুলি 4 হিসাবে লেখা যেতে পারে।-এস হল প্রারম্ভিক প্রতীক সংজ্ঞা ধরা যাক একটি ম্যাট্রিক্স ব্যাকরণ এবং ম্যাট্রিক্সের উপর সমস্ত উৎপাদনের সংগ্রহ হতে দিন। আমরা বলেছিলাম যে এটি চমস্কির শ্রেণিবিন্যাস অনুসারে, বা "ক্রমবর্ধমান দৈর্ঘ্য" বা "রৈখিক" বা "উৎপাদন ছাড়াই" প্রকারের হয় যদি এবং শুধুমাত্র ব্যাকরণের সংশ্লিষ্ট বৈশিষ্ট্য থাকে। ক্লাসিক উদাহরণ দ্রষ্টব্যঃ আব্রাহাম 1965 থেকে নেওয়া, নন-টার্মিনাল নাম পরিবর্তনের সাথে প্রসঙ্গ-সংবেদনশীল ভাষাটি তৈরি হয় যেখানে নন-টার্মিনাল সেট, টার্মিনাল সেট, এবং ম্যাট্রিক্সের সেটকে সংজ্ঞায়িত করা হয়,,,। সময় বৈকল্পিক ব্যাকরণের মৌলিক ধারণাগুলি সংজ্ঞা একটি সময় বৈকল্পিক ব্যাকরণ এমন একটি জোড়া যেখানে একটি ব্যাকরণ এবং প্রাকৃতিক সংখ্যার সেট থেকে উৎপাদনের সেটের উপসেটগুলির শ্রেণী পর্যন্ত একটি ফাংশন। পরিকল্পিত ব্যাকরণের মৌলিক ধারণাগুলি সংজ্ঞা একটি পরিকল্পিত ব্যাকরণ হল এমন একটি জোড়া যেখানে একটি ব্যাকরণ এবং উৎপাদনের সেট থেকে উৎপাদনের সেটের উপসেট শ্রেণী পর্যন্ত সাফল্য এবং ব্যর্থতা ফাংশন। নিয়মিত নিয়ন্ত্রণ ভাষা সহ ব্যাকরণ মৌলিক ধারণা নিয়মিত নিয়ন্ত্রণ ভাষা সহ একটি ব্যাকরণ, একটি জোড়া যেখানে একটি ব্যাকরণ এবং উৎপাদনের সেটের বর্ণমালার উপর একটি নিয়মিত অভিব্যক্তি। একটি সরল উদাহরণ সি. এফ. জি-কে বিবেচনা করুন যেখানে নন-টার্মিনাল সেট, টার্মিনাল সেট, এবং প্রোডাকশন সেটকে,,, এবং হিসাবে সংজ্ঞায়িত করা হয়। স্পষ্টতই, এখন, একটি বর্ণমালা হিসাবে সেট করা উত্পাদনগুলি বিবেচনা করে (যেহেতু এটি একটি সীমাবদ্ধ সেট), নিয়মিত অভিব্যক্তিটি সংজ্ঞায়িত করুনঃ সি. এফ. জি ব্যাকরণ এবং নিয়মিত অভিব্যক্তি একত্রিত করে, আমরা সি. এফ. জি. ডব্লিউ. আর. সি. এল পাই যা ভাষা তৈরি করে। নিয়ন্ত্রিত পুনর্লিখন সহ অন্যান্য ব্যাকরণ ছাড়াও, উপরে উল্লিখিত চারটি উদাহরণ হল কিভাবে একটি টুরিং মেশিনের শক্তিশালী ব্যাকরণগত যন্ত্র পাওয়ার জন্য কোনও ধরনের নিয়ন্ত্রণ প্রক্রিয়া সহ প্রসঙ্গ-মুক্ত ব্যাকরণ প্রসারিত করা যায়। তথ্যসূত্র সালোমা, আর্টো (1973) আনুষ্ঠানিক ভাষা। অ্যাকাডেমিক প্রেস, এসিএম মনোগ্রাফ সিরিজ রোজেনবার্গ, জি; সালোমা, এ। (এডস।) 1997, হ্যান্ডবুক অফ ফর্মাল ল্যাঙ্গুয়েজ। বার্লিন; নিউ ইয়র্কঃ স্প্রিংগার (সেট) (3540604200: v. 1; 3540606483: v. 2; 3540606491: v. 3) ডাসো, জার্গেন; পউন, জি. 1990, রেগুলেটেড রি-রাইটিং ইন ফরমাল ল্যাঙ্গুয়েজ থিওরি। স্প্রিংগার-ভার্লাগ নিউ ইয়র্ক, ইনকর্পোরেটেড. সেকাকাস, নিউ জার্সি, মার্কিন যুক্তরাষ্ট্র, পৃষ্ঠাঃ 308। মাঝারিঃ হার্ডকভার। ডাসো, জার্গেন, নিয়ন্ত্রিত পুনর্লিখন সহ ব্যাকরণ। 5ম পিএইচডি প্রোগ্রাম "ফরমাল ল্যাঙ্গুয়েজেস অ্যান্ড অ্যাপ্লিকেশনস"-এ বক্তৃতা, তারাগোনা, স্পেন, 2006। আব্রাহাম, এস. 1965। ভাষা তত্ত্বের কিছু প্রশ্ন, 1965 সালের গণনামূলক ভাষাবিজ্ঞান বিষয়ক আন্তর্জাতিক সম্মেলনের কার্যধারা, পৃ. 1-11, বন, জার্মানি, আনুষ্ঠানিক ভাষা আনুষ্ঠানিক পদ্ধতি