কেউ কি আসলেই এমন কোনও সিস্টেম লিখেছেন (সফ্টওয়্যার বা কাগজের উপর সাধারণ উদাহরণ সহ সহজ ব্যাখ্যা) যা কম্পিউটার প্রোগ্রাম তৈরি করে? আমি ইনপুট করে এবং এটি এমন একটি প্রোগ্রাম তৈরি করে যা চেয়ে কম সংখ্যক প্রাথমিক সংখ্যা তালিকাভুক্ত করে কেবলমাত্র 1 <x \ ওয়েজ- হিসাবে উপস্থিত নয় \ উপস্থিত A as হিসাবে সংজ্ঞায়িত হয় ; st 1 <A \ ওয়েজ এ <x \ ওয়েজ x = A can বার বি, \ এমবক্স {সহ \ এ, বি \ ইন th ম্যাথবিবি {এন} অধ্যাপকরা বলছেন তারা পারছেন তবে কেউ প্রকৃত সম্পূর্ণ উদাহরণ দেয় না।পি আর আই এম ই ( এক্স ) 1 < এক্স ∧ ∄ এ
13
আপনি যেমন বোঝাতে চেয়েছেন, আপনি কি জানেন যে কোনও সাধারণ উদ্দেশ্য প্রোগ্রামিং ভাষার জন্য একটি সংকলক?
—
সাশো নিকোলভ
হাই - সিস্টেরিতে আপনাকে স্বাগতম! দুর্ভাগ্যক্রমে আপনার প্রশ্নটি তাত্ত্বিক কম্পিউটার বিজ্ঞানের গবেষণা স্তরের প্রশ্ন নয় এবং এই সাইটে এটি অফ-টপিক।
প্রকৃতপক্ষে, বর্তমান গবেষণার শীর্ষে এটি একটি ভাল প্রশ্ন এবং খুব আশাব্যঞ্জক। তবে আপনি যা চান তা সুনির্দিষ্টভাবে উল্লেখ করা প্রায়শই খুব কঠিন। আপনি যদি এটি নির্দিষ্ট করে রাখার ব্যবস্থা করেন তবে আপনার এমন একটি সিস্টেমের দরকার যা প্রমাণ করবে যে এটি বোধগম্য, এটি সম্ভবপর এবং এটির জন্য গাণিতিক প্রমাণ প্রয়োজন। সেই প্রমাণ থেকে এটি করা একটি প্রোগ্রাম বের করা যেতে পারে। তবে প্রমাণটি স্বয়ংক্রিয় করার জন্য গবেষণা এবং প্রোগ্রামটি উত্তোলন এখনও শৈশবকালে রয়েছে, যদিও দুর্দান্ত অগ্রগতি ঘটেছে। উদাহরণস্বরূপ আপনি উইকিপিডিয়ায় কোক- এ দেখতে পারেন--
—
বাবু ২৩
আপনার প্রশ্নের সাথে সম্পর্কিত একটি বই এখানে । অন্যরাও আছেন। এটি বোঝা সহজ নয় । কক এবং ইসাবেল (এরকম আরও একটি সিস্টেম) জনতার মধ্যে এসই ব্যবহারকারীরা অন্তর্ভুক্ত রয়েছে যারা প্রশ্নটি বন্ধ না করা হলে আপনাকে আরও তথ্য এবং উদাহরণ দিতে পারে। আমি এটি ওয়েবে অনুসন্ধান করে খুঁজে পেয়েছি: কোক উদাহরণ প্রোগ্রাম সংশ্লেষণ।
—
বাবু
কম্পিউটার বিজ্ঞানের যে অঞ্চলটি আমি আপনাকে যা জিজ্ঞাসা করছি তা ক্যাপচার করে একে প্রোগ্রাম সংশ্লেষ বলা হয় এবং এটি গবেষণার একটি সক্রিয় ক্ষেত্র।
—
হক বনেট