এই পুনর্লিখন পদ্ধতিতে একটি স্ট্রিং পাওয়া সম্ভব?

পুনর্লিখন ব্যবস্থা হ'ল আকারে নিয়মের একটি সেট । আমরা একটি স্ট্রিং যে নিয়ম প্রয়োগ করেন আমরা কোনো সাবস্ট্রিং প্রতিস্থাপন মধ্যে একটি সাবস্ট্রিং সঙ্গে এবং তদ্বিপরীত। $A \leftrightarrow B$ $w$ $A$ $w$ $B$

একটি স্ট্রিং স্ট্রিং দেওয়া হয়েছে আমরা নিম্নলিখিত বিধিগুলি সহ সিস্টেমে পেতে : $AAABB$ $BAAB$

$A \leftrightarrow BA$
$BABA \leftrightarrow AABB$
$AAA \leftrightarrow AB$
$BA \leftrightarrow AB$

তার জন্য কি কোনও সাধারণ অ্যালগরিদম আছে?

computability term-rewriting

— Daniil
সূত্র

আপনি যদি এই প্রশ্নটিতে আরও ট্যাগ যুক্ত করতে পারেন বা এটি শীতল দেখানোর জন্য নিয়ম সেটটি পরিবর্তন করতে পারেন তবে আমি প্রশংসা করব।

— দানিল

@ জেডি আমার কাছে মনে হয়, সাধারণভাবে, এই পুনর্লিখনের সমস্যাটি সমাধান করা যায় না, কারণ আপনি ট্যুরিং মেশিনকে এই জাতীয় রাইটিং সিস্টেম এবং ডাইরিভিশন সমস্যা দিয়ে মডেল করতে পারেন == টিএম

— থামার

@ জেডি আহ, এই অর্থটি বোধ হয়, আমার এটি আরও পড়তে হবে, ধন্যবাদ!

— ড্যানিল

@ ড্যানিল এবং ভবিষ্যতের পাঠক: অনস্বীকার্য সমস্যাটি হ'ল পোস্ট চিঠিপত্রের সমস্যা ।

— jmad

এটি মূলত মার্কোভের অ্যালগরিদম সম্পর্কে ধারণা।

— ভোনব্র্যান্ড

লক্ষ্য করুন যে এর সংখ্যার সমতা পরিবর্তন হয় না। যেহেতু একটি স্ট্রিংতে একটি বিজোড় সংখ্যা এবং অন্যটি সমান রয়েছে, সেগুলি অ্যাক্সেসযোগ্য নয়। $A$ $A$

আমি সাধারণভাবে বিশ্বাস করি (একটি সুনির্দিষ্ট নিয়মের জন্য, আপনার নির্দিষ্ট উদাহরণ নয়), এটি সম্ভবত একটি অনির্বাচিত সমস্যা হতে পারে। যদি রূপান্তরগুলি একতরফা হয় (যেমন ফর্মের নিয়মগুলি ) এটি তাই, উদাহরণস্বরূপ দেখুন: ট্যাগ সিস্টেম । $A \to BA$

— আর্যভট্ট
সূত্র

হ্যাঁ, আইআইআরসি, এটি অনস্বীকার্য কারণ আপনি পুনর্লিখনের নিয়মের একটি নির্দিষ্ট সেট সহ একটি টিএম মডেল করতে পারেন।

— ড্যানিল