কোন প্রোগ্রাম যান্ত্রিকভাবে প্রয়োগ করা যেতে পারে?


13

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


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


1
যদি এটি সম্ভব হয় - যা সম্ভবত মনে হয় - তবে এটি একটি নন-টিউরিং-সম্পূর্ণ মেশিন তৈরি করা সম্ভব যা সংস্থাপক হিসাবে কাজ করে, উত্স কোড থেকে অন্যান্য মেশিনের ব্লুপ্রিন্ট তৈরি করে। যে মেশিনগুলি নিজেরাই টুরিং সম্পূর্ণ হতে পারে।
নিক জনসন

@ রিলেজ স্লাও: আপনি যদি আমি / ও, ভিবিএ ম্যাক্রোস বা এক্সটেনশনগুলি অন্তর্ভুক্ত না করেন not উদাহরণস্বরূপ, আমি সন্দেহ করি ওয়ার্ডটি অভিযোগ করবে আপনি যদি এটি একটি অসীম ওয়ার্ড ডকুমেন্ট খাওয়ান। এটি সম্ভবত অন্তর্নিহিত ওএস যা কোনও সীমাতে পৌঁছাতে পারে।
পুনরায় পোস্টার

@ রিনিয়ারপোস্ট তবে প্রতিটি রুটিন টিউরিং সম্পূর্ণ হওয়ার দরকার নেই; তারা হয় কার্যকরভাবে অবসান হয় বা সম্ভবত না। উদাহরণস্বরূপ, আপনি যদি এটি একটি অসীম দলিল খাওয়ান, তবে এটি সম্ভবত শেষ হবে না। আমার বক্তব্যটি ছিল আমাদের বেশিরভাগ প্রোগ্রামগুলিতে একটি টিউরিং সম্পূর্ণ ভাষা ব্যবহার করার দরকার নেই, কারণ আমরা এগুলিকে এমন প্রোগ্রামগুলিতে সীমাবদ্ধ করতে পারি যা আমরা অসীম ডেটা প্রদত্ত টার্মিনেট প্রমাণ করতে পারি, এবং অসীম ডেটা দিলে শেষ হয় না; এবং যদি আপনি এটি করতে পারেন তবে হ্যালটিং সমস্যা নিয়ে কোনও সমস্যা নেই। TLDR; যদি আপনি নিজের রুটিনগুলি শেষ করে দিতে বা প্রমাণ করতে না পারেন তবে আপনি একজন ভয়ানক প্রোগ্রামার।
রিয়েলজ স্লাও

উত্তর:


23

হ্যাঁ, তাই আপনি এটি কীভাবে করেন তা এখানে:

আপনি মূলত যে কোনও প্রোগ্রাম সার্কিট করতে চান তা সংকলন করতে পারেন। উদাহরণস্বরূপ সিন্থেসিসের জ্যামিতি সম্পর্কিত ড্যান ঘিকা এবং তার সহযোগীদের কাজ দেখুন, যা প্রোগ্রামগুলিকে সার্কিটগুলিতে সংকলন করতে হয় তা দেখায়।

  1. ড্যান আর ঘিকা। সিন্থেসিসের জ্যামিতি: ভিএলএসআই ডিজাইনের একটি কাঠামোগত পদ্ধতি
  2. ড্যান আর ঘিকা, অ্যালেক্স স্মিথ। সিন্থেসিসের জ্যামিতি দ্বিতীয়: গেমস থেকে বিলম্ব-সংবেদনশীল সার্কিট
  3. ড্যান আর ঘিকা, অ্যালেক্স স্মিথ। তৃতীয় সংশ্লেষের জ্যামিতি: ধরণের অনুক্রমের মাধ্যমে রিসোর্স পরিচালনা।
  4. ড্যান আর ঘিকা, অ্যালেক্স স্মিথ, সাতনম সিংহ। সংশ্লেষণের জ্যামিতি IV: স্ট্যাটিক হার্ডওয়ারে অ্যাফাইন পুনরাবৃত্তি সংকলন।

ইঞ্জিনিয়ারিংয়ের পরে সার্কিটগুলি আবার দেখা যায়। জন বায়েজ এই সপ্তাহের অনুসন্ধানসমূহ 288-296-তে ধারণাগুলির উপমাগুলির একটি বড় টেবিল দেয় এবং প্রচুর সংযোগ তৈরি করে। সুতরাং ড্যানের সংকলকটি উত্পন্ন জরিপটি যান্ত্রিক বা জলবাহী সিস্টেম হিসাবে ইনস্ট্যান্ট করা যেতে পারে, আপনি যদি সত্যিই চাইতেন!

╔══════════════════════════════════════════════════════════════╗
║                 displacement  flow      momentum     effort  ║
╠══════════════════════════════════════════════════════════════╣
║ Mechanics      position      velocity  momentum     force    ║
║ (translation)                                                ║
║                                                              ║
║ Mechanics      angle         angular   angular      torque   ║
║ (rotation)                   velocity  momentum              ║
║                                                              ║
║ Electronics    charge        current   flux         voltage  ║
║                                        linkage               ║
║                                                              ║
║ Hydraulics     volume        flow      pressure     pressure ║
║                                        momentum              ║
╚══════════════════════════════════════════════════════════════╝
  1. http://math.ucr.edu/home/baez/week288.html
  2. http://math.ucr.edu/home/baez/week289.html
  3. http://math.ucr.edu/home/baez/week290.html
  4. http://math.ucr.edu/home/baez/week291.html
  5. http://math.ucr.edu/home/baez/week294.html
  6. http://math.ucr.edu/home/baez/week296.html

12
তাত্পর্য: সফ্টওয়্যার পেটেন্টগুলি কোনও অর্থ দেয় না।
আন্দ্রেস সালামন

1
একটি প্রশ্নের জন্য দুর্দান্ত উত্তর আমি কীভাবে জিজ্ঞাসা করতে সবে জানি। যুক্ত চার্টের জন্য ধন্যবাদ!
অ্যালেক্স নাই

5

এর ব্যবহারিক উদাহরণ হ'ল বোস্টন সায়েন্স মিউজিয়ামে মূলত এমআইটি শিক্ষার্থীদের একটি দল তৈরি টিঙ্কার টয় কম্পিউটারের টিকিট টয় কম্পিউটার। অবশ্যই এটি মাইক্রোসফ্ট ওয়ার্ডের থেকে অনেক সহজ।

এখানে সায়েন্টিফিক অ্যামেরিকান থেকে 1989 নিবন্ধটি এটা বর্ণনা করা হয়েছে।

লেগোস দিয়ে তৈরি ট্যুরিং মেশিনগুলিও রয়েছে (এটি কিছুটা চিট করে কারণ এটি বিদ্যুত ব্যবহার করে --- প্রকৃতপক্ষে একটি কম্পিউটার --- চলাচলের জন্য, তবে আমি মনে করি এটি এড়ানোর জন্য নকশাটি সংশোধন করা যেতে পারে) স্ক্র্যাপ ধাতু এবং আরও অনেক কিছু।


আমি নিবন্ধটি এবং লেগো মেশিনটি উপভোগ করেছি, ধন্যবাদ।
অ্যালেক্স নাই

1

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

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