গুগলের টুরিং ডুডল কী ধরণের অটোমেটন?


10

অ্যালান টুরিংয়ের জন্মদিন উদযাপনে গুগল একটি মেশিন দেখানো একটি ডুডল প্রকাশ করেছে । ডুডলটি কোন ধরণের মেশিন? এটি কি একটি টুরিং সম্পূর্ণ ভাষা প্রকাশ করতে পারে?

শাস্ত্রীয় ট্যুরিং মেশিনের স্পষ্ট পার্থক্য রয়েছে: একটি সীমাবদ্ধ টেপ, কীভাবে রাষ্ট্রের সাথে সংযুক্ত হতে পারে তার প্রতিবন্ধকতা ...

ডুডল এখনও পাওয়া হতে হয় এখানে ডুডলের স্ক্রিনশট

(উপরের ডানদিকে প্রদর্শনটি প্রত্যাশিত আউটপুট দেখায়।)

মাঝখানে টেপটি স্কোয়ারে বিভক্ত যা একটি ফাঁকা, একটি শূন্য বা একটি ধরে রাখতে পারে। মাথাটি একটি স্কোয়ারের উপরে অবস্থিত এবং পড়া এবং লেখার জন্য ব্যবহৃত হয়।

টেপের নীচে আপনি একটি সবুজ তীর দেখতে পাবেন যা আপনি মেশিনটি শুরু করতে ক্লিক করতে পারেন। এর পাশের দুটি বৃত্তের লাইন রয়েছে যার মধ্যে কয়েকটি সংযুক্ত রয়েছে। আমি তাদের "রাজ্য" বলব।

মেশিনটি শুরু হওয়ার পরে, সবুজ বোতামের ডানদিকে প্রথম রাজ্যটি জ্বলতে হবে, তার পরের অংশে ডানদিকে এবং এই জাতীয় ... প্রতিটি রাজ্যে নিম্নলিখিত কমান্ডগুলির মধ্যে একটি থাকে:

  • ফাঁকা = কিছুই করবেন না (কেবলমাত্র পরবর্তী অবস্থায় চলে যান)
  • 1 = মাথার বর্তমান অবস্থানে টেপটিতে একটি লিখুন
  • 0 = মাথার বর্তমান অবস্থানে টেপটিতে একটি শূন্য লিখুন
  • বাম দিকে তীর = বাম দিকে মাথা সরাতে
  • তীর ডানদিকে = ডানদিকে মাথা একপাশে সরানো
  • শর্ত: যদি মাথার নীচে মানটি বর্গক্ষেত্রে প্রদর্শিত মানের সমান হয় তবে রাষ্ট্রগুলির দ্বিতীয় লাইনে নেমে যেতে হবে। যদি তা না হয়, ডান দিকে পরবর্তী অবস্থায় যান
  • বাম জাম্প: একটি (স্থির) আগের অবস্থায় ফিরে আসুন তবে কেবল উপরের সারিতে [আমি মূলত সেইটিকে ভুলে গিয়েছি, ধন্যবাদ @ মারজিও!]

দুটি লাফানো (একের পর এক) ওভারল্যাপ করার কোনও উপায় নেই। মেশিনটি যখন সেখানে কোনও স্থিতি ছেড়ে দেয় এবং তার ডানদিকে আর কোনও রাজ্য নেই।

(মেশিনটি থামার পরে টেপের বিষয়বস্তুগুলি প্রদর্শনের বিষয়বস্তুর সাথে তুলনা করা হয়, তবে আমি এটিকে মেশিনের উদ্দেশ্যমূলক কার্যকারিতার অংশ হিসাবে বিবেচনা করি না))


9
একটি টিউরিং মেশিন অবশ্যই! en.wikedia.org/wiki/Turing_machine সম্ভবত আপনি বিভ্রান্ত হয়েছিলেন কারণ রূপান্তর সিস্টেমটি ফানকি।
হক বনেট

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

1
@ মারজিও ডি বিয়াসি: আপনি ঠিক বলেছেন যে এই ধাঁধাটিতে লাফ দেওয়ার নির্দেশ রয়েছে এবং এগুলি ছাড়া মডেল স্পষ্টতই খুব দুর্বল কারণ কোনও মেশিন কেবল স্থির সময়ের জন্য চালাতে পারে। ("ডিএফএর সমতুল্য" বলতে কী বোঝাতে চাইছেন তা আমি নিশ্চিত নই) আপনি জাম্পের নির্দেশে কোন বিধিনিষেধ চাপিয়েছেন তা উত্তর পরিবর্তন করতে পারে। "টেপ সীমাবদ্ধ" সম্ভবত একটি ভুল ধারণা।
Tsuyoshi Ito

গুগল তাদের ডুডলগুলি উপলভ্য রাখে (যদিও দৃশ্যত ইন্টারেক্টিভ সংস্করণগুলি সর্বদা না)।
রাফেল

@ শুয়োশিআইটো: আমার অর্থ (তবে সম্ভবত আমি ভুল) যে লুপ ছাড়াই একটি মেশিন দিয়েছিল আপনি একটি ডিএফএ তৈরি করতে পারেন যা এটি অনুকরণ করে। যদি আপনি উভয় দিকেই নির্বিচারে লাফাতে অনুমতি দেন এবং এটি ওভারল্যাপ করতে পারে, তবে মেশিনটি কেবলমাত্র দুটি টি সারি (রাজ্যগুলিকে অনুভূমিকভাবে "সমতল" করা যেতে পারে) এমনকি তত্ক্ষণাত "টুরিং সম্পূর্ণ" (একটি অসীম টেপ ধরে) করা হচ্ছে। আমি জানি না যদি আপনি বাম জাম্পগুলি ওভারল্যাপ করতে পারে তবে (তবে কেবল প্রথম সারিতে) এবং একটি স্বেচ্ছাসেবী সংখ্যার (তবে নীচের সারিতে নিয়ন্ত্রণ কেবল উপরে বা নীচে যেতে পারে) অনুমতি দিলে কী হয় happens সম্ভবত এটি cs.stackex بدل.com এর জন্য একটি দুর্দান্ত প্রশ্ন
মারজিও ডি

উত্তর:


10

ধরে নিচ্ছি যে:

  • আমরা নির্বিচারে বড় সংখ্যক সারি যুক্ত করতে পারি ("স্থিতি রেখা")
  • সারিগুলি নির্বিচারে দীর্ঘ হতে পারে
  • টেপ অসীম

M4

atdoodle

... সুতরাং এটিটির ডুডল সম্ভবত টুরিং সম্পূর্ণ না হলেও (শুধুমাত্র প্রথম সারিতে কেবল অ-ওভারল্যাপিং বাম-কেবল লাফ অপারেটরের কারণে), এটি (আন) ডিকিসিডিবিটির সূক্ষ্ম লাইনে চলার পক্ষে যথেষ্ট শক্তিশালী: - ডি

সম্পাদনা করুন: টুরিং ডুডল সম্পূর্ণরূপে ভ্রমণ

(আমি উপরের উত্তরটি রেখেছি, কারণ আমি নিশ্চিত না যে এই অংশটি সঠিক :-)

আমি মনে করি যে এমনকি একটি একক বাম অ-ওভারল্যাপিং লাফ দিয়েও টুরিং ডুডল টুরিং সম্পূর্ণ! । (সাধারণ) ধারণাটি হ'ল টেপটি নিজেই বর্তমান অবস্থা সঞ্চয় করতে ব্যবহার করা এবং বৃহত্তর বর্ণমালা উপস্থাপনের জন্য একাধিক ঘর ব্যবহার করা।

উদাহরণস্বরূপ 2 টি রাজ্যের 8 টি প্রতীক টিএম নিম্নলিখিত টেপ প্রতিনিধিত্ব করে সিমুলেটেড করা যেতে পারে:

    HEAD POSITION
    v
...[s][b2 b1 b0] [_][b2 b1 b0] [_][b2 b1 b0] ....
   ^^^^^^^^^^^^^
    "macro cell"

টুরিং ডুডল পারেন:

  1. s
  2. b2,b1,b0
  3. পরবর্তী চিহ্নটি লিখুন, মাথাটি বাম বা ডানদিকে "ম্যাক্রো সেল" এ সরান এবং তারপরে পরবর্তী অবস্থায় সংরক্ষণ করুন; এই ক্রিয়াকলাপগুলির নীচের চিত্রটিতে (যেগুলি ক্রিয়াগুলি বাম / ডান সরান এবং লেখার সাহায্যে কোষগুলির ক্রম অনুসারে করা যেতে পারে) "এমডাব্লু" বলা হয়;
  4. অবশেষে নিয়ন্ত্রণটিকে উপরের সারিতে স্থানান্তর করুন যা একক বাম জাম্পের সাথে নিয়ন্ত্রণটি আবার পদক্ষেপ 1 এ নিয়ে আসবে।

সম্পূর্ণ ছবি এখানে পাওয়া যায়

TdoodleTC

TMDM


nooo! তুমি আমাকে এটা দ্বারা মেরেছ! আমি কেবল লিখেছিলাম কীভাবে টেপের পরিবর্তে রাজ্য-স্থানে একটি স্বেচ্ছাসেবক টিএম তৈরি করতে পারি। যাইহোক, আপনার পদ্ধতির সুন্দর কারণ এটি কেবল একটি লাফ ব্যবহার করে। সাবাশ! অপেক্ষা করুন, আপনার যন্ত্রটি কীভাবে ইনপুট গ্রহণ করবে?
আর্টেম কাজনাটচিভ

@ মারজিও-ডি-বিয়াসি চমৎকার কাজ!
মরিচ_চিকো

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

জুনিয়র চিহ্ন alen turing। আমি এটি পড়তে উপভোগ করেছি
আইড্রয়েড

সম্পূর্ণরূপে পুনরায় টিএম সম্পূর্ণতা না। আপনি কী মনে করেন না যে টিএম নতুন ফাঁকা স্কোয়ারগুলিকে ইনপুট টেপটিতে পূর্বে সংজ্ঞায়িত না করে লিখেছে। এটি টিএম সম্পূর্ণতার জন্য প্রয়োজনীয় অন্যথায় এটি কেবল একটি সীমাবদ্ধ গণনা।
vzn

5

মেশিনটি সরবরাহ করা হয় একটি "টেপ", (কাগজের অ্যানালগ) এর মধ্য দিয়ে চলমান, এবং বিভাগগুলিতে বিভক্ত ("স্কোয়ারস" বলা হয়) প্রতিটি "চিহ্ন" বহন করতে সক্ষম। যে কোনও মুহূর্তে কেবল একটি বর্গক্ষেত্র রয়েছে, r-th বলুন, S (r) চিহ্নটি বহন করুন যা "মেশিনে" রয়েছে। আমরা এই স্কোয়ারটিকে "স্ক্যান স্কয়ার" বলতে পারি। স্ক্যান করা স্কোয়ারের প্রতীকটিকে "স্ক্যান করা প্রতীক" বলা যেতে পারে। "স্ক্যান করা প্রতীক" হ'ল মেশিনটি যার মধ্যে একটি, তাই বলতে গেলে, "সরাসরি সচেতন"। যাইহোক, এর এম-কনফিগারেশনটি পরিবর্তন করে মেশিনটি কার্যকরভাবে কিছু প্রতীকগুলি স্মরণ করতে পারে যা এটি আগে "দেখেছি" (স্ক্যান করা)। যেকোন মুহুর্তে মেশিনের সম্ভাব্য আচরণ এম-কনফিগারেশন Qn এবং স্ক্যান করা প্রতীক এস (আর) দ্বারা নির্ধারিত হয়। এই জোড়া qn, S (r) কে "কনফিগারেশন" বলা হবে: এইভাবে কনফিগারেশনটি মেশিনের সম্ভাব্য আচরণ নির্ধারণ করে। কিছু কনফিগারেশনে স্ক্যান স্কয়ারটি ফাঁকা (যেমন কোনও চিহ্ন বহন করে না) মেশিন স্ক্যান করা স্কয়ারে একটি নতুন প্রতীক লিখে রাখে: অন্য কনফিগারেশনে এটি স্ক্যানকৃত প্রতীকটি মুছে দেয়। মেশিনটি স্ক্যান করা স্কয়ারটি পরিবর্তন করতে পারে তবে কেবল এটি এক জায়গা ডান বা বামে স্থানান্তরিত করে। এর মধ্যে যে কোনও অপারেশন ছাড়াও এম-কনফিগারেশন পরিবর্তন করা যেতে পারে। Down 232 down লিখিত কিছু প্রতীকগুলি অঙ্কের ক্রম গঠন করবে যা আসল সংখ্যার দশমিক which অন্যরা হ'ল "স্মৃতিতে সহায়তা করার জন্য" মোটামুটি নোট। এটি কেবলমাত্র এই রুক্ষ নোটগুলিই মুছে ফেলতে দায়বদ্ধ হবে। কোনও চিহ্ন নেই) মেশিন স্ক্যান করা স্কয়ারে একটি নতুন প্রতীক লিখে রাখে: অন্যান্য কনফিগারেশনে এটি স্ক্যান করা প্রতীকটি মুছে দেয়। মেশিনটি স্ক্যান করা স্কয়ারটি পরিবর্তন করতে পারে তবে কেবল এটি এক জায়গা ডান বা বামে স্থানান্তরিত করে। এর মধ্যে যে কোনও অপারেশন ছাড়াও এম-কনফিগারেশন পরিবর্তন করা যেতে পারে। Down 232 down লিখিত কিছু প্রতীকগুলি অঙ্কের ক্রম গঠন করবে যা আসল সংখ্যার দশমিক which অন্যরা হ'ল "স্মৃতিতে সহায়তা করার জন্য" মোটামুটি নোট। এটি কেবলমাত্র এই রুক্ষ নোটগুলিই মুছে ফেলতে দায়বদ্ধ হবে। কোনও চিহ্ন নেই) মেশিন স্ক্যান করা স্কয়ারে একটি নতুন প্রতীক লিখে রাখে: অন্যান্য কনফিগারেশনে এটি স্ক্যান করা প্রতীকটি মুছে দেয়। মেশিনটি স্ক্যান করা স্কয়ারটি পরিবর্তন করতে পারে তবে কেবল এটি এক জায়গা ডান বা বামে স্থানান্তরিত করে। এর মধ্যে যে কোনও অপারেশন ছাড়াও এম-কনফিগারেশন পরিবর্তন করা যেতে পারে। Down 232 down লিখিত কিছু প্রতীকগুলি অঙ্কের ক্রম গঠন করবে যা আসল সংখ্যার দশমিক which অন্যরা হ'ল "স্মৃতিতে সহায়তা করার জন্য" মোটামুটি নোট। এটি কেবলমাত্র এই রুক্ষ নোটগুলিই মুছে ফেলতে দায়বদ্ধ হবে। Down 232 down লিখিত কিছু প্রতীকগুলি অঙ্কের ক্রম গঠন করবে যা আসল সংখ্যার দশমিক which অন্যরা হ'ল "স্মৃতিতে সহায়তা করার জন্য" মোটামুটি নোট। এটি কেবলমাত্র এই রুক্ষ নোটগুলিই মুছে ফেলতে দায়বদ্ধ হবে। Down 232 down লিখিত কিছু প্রতীকগুলি অঙ্কের ক্রম গঠন করবে যা আসল সংখ্যার দশমিক which অন্যরা হ'ল "স্মৃতিতে সহায়তা করার জন্য" মোটামুটি নোট। এটি কেবলমাত্র এই রুক্ষ নোটগুলিই মুছে ফেলতে দায়বদ্ধ হবে।

এটি আমার যুক্তি যে এই ক্রিয়াকলাপগুলির মধ্যে এমন সমস্তগুলি অন্তর্ভুক্ত রয়েছে যা কোনও সংখ্যার গণনায় ব্যবহৃত হয়। যন্ত্রগুলির তত্ত্বটি পাঠকের সাথে পরিচিত হলে এই বিতর্কটির প্রতিরক্ষা সহজ হবে। পরবর্তী বিভাগে আমি তত্ত্বের বিকাশের সাথে এগিয়ে চলেছি এবং ধরে নিই যে "মেশিন", "টেপ", "স্ক্যান", ইত্যাদি দ্বারা বোঝানো বোঝা গেছে it

এটি মূল ট্যুরিং পেপারের একটি অংশ "এনটিস্কেডংস্প্রোব্লিমের সাথে একটি অ্যাপ্লিকেশন সহ কমপ্যুটেবল নাম্বার" এর একটি অংশ।

আমি যে কাগজের প্রস্তাব দিচ্ছি তার আধুনিক আধুনিক সহচর হলেন চার্লস পেটজোল্ডের দ্য এনোটেটেড টুরিং

যেমন আপনি দেখতে পাচ্ছেন, গুগল কেবল এমন একটি মেশিনের সাদৃশ্য করার চেষ্টা করেছিল যা টুরিংয়ের বর্ণনার সাথে খুব মিল।

সম্পাদনা: ধরে নেওয়া হচ্ছে গুগলের টিএম সম্পূর্ণ বর্ণমালা হ'ল বানির আইকনটি ক্লিক করার পরে গেমের শেষে দেখানো হয়েছে এবং এটি একটি অসীম ক্রম তৈরি করেছে এবং আরও সারি এবং কলাম পেয়েছে (তাই আমরা ধরে নিতে পারি যে আমরা কোনও যোগ করতে পারি ), যে কোনও সারিতে বাম জাম্পগুলি (এবং বাম জাম্পগুলি ওভারল্যাপিংও করেছে) রেখে গেছে , সংলগ্ন সারিগুলির মধ্যে শর্তযুক্ত এবং নিঃশর্ত জাম্প রয়েছে, আমি মনে করি এটি টুরিং সম্পূর্ণ


কিন্তু তারা কি তীব্রভাবে একটি টুরিং মেশিন বাস্তবায়ন করেছিল? এইটির একটি সসীম টেপ রয়েছে, সুতরাং এটি সহজেই বিবেচনাযোগ্য পার্থক্য। এটি একটি পার্থক্য যে একটি পার্থক্য তোলে? তারা আসলেই কোনও দুর্বল মেশিন বাস্তবায়ন করেছিল?
বেজেলি

2
@ বেজেলি ওয়েল আমি নিশ্চয়তা দিতে পারি না যেহেতু আমি এটি নকশা করি নি, তাই আমি তাদের মেশিন সম্পর্কে সমস্ত নিয়ম জানি না। তবে, আপনি যদি গেমের ফাইনালে পৌঁছে যান, আপনি বনি আইকনটি ক্লিক করতে সক্ষম হবেন যা আপনাকে দীর্ঘ টেপের দিকে নিয়ে যায়, বিশ্লেষণটি এখানে দেখুন: sbf5.com/~cduan/technical/turing । সুতরাং, মেশিনটি কতগুলি লাইন পেতে পারে তার সংখ্যার কোনও বাধা নেই, যা আপনাকে কোনও আকারের টেপের দিকে নিয়ে যাবে।
মরিচ_চিকো

plz স্কেচ একটি প্রমাণ দেয় যে তার
টিউরিং

4

ধাঁধাতে, উভয় লাইনে জাম্পের অনুমতি দেওয়া হয় তবে তারা ওভারল্যাপ করতে পারে না। খেলা শেষে চূড়ান্ত খরগোশ-ক্রম ডুডল, তারা যে লাইনে জাম্প অনুমতি এবং তারা যেতে পারে বন্ধনী নেস্টেড তাই এবং [()] অনুমতি দেওয়া হয়, কিন্তু ([)] দেয়া হবে না বলে মনে হয়।

আমি নিম্নলিখিত অনুমানগুলি ব্যবহার করব:

  1. 01ϵ
  2. মেশিনটি কোনও নির্দিষ্ট সংখ্যক লাইন ব্যবহার করতে পারে
  3. বাম-জাম্পগুলি যে কোনও লাইনে অনুমতি দেওয়া হয়েছে (আমি প্রতি লাইনে একটি বাম জাম্প ব্যবহার করব)
  4. ϵ01

এই অনুমানগুলি সহ, গুগল ডুডল মেশিন টিউরিং সম্পূর্ণ

01ϵ01n

3(n1)+15n+1

গুগল ডুডল মেশিন

ϵ01ϵ0101

জিডিএম টিএম কে নিম্নরূপে অনুকরণ করে:

  1. 1
  2. j
  3. ϵ01
  4. ϵ
  5. 01
  6. 01

আপনার প্রিয় সার্বজনীন টিএম চয়ন করুন এবং সর্বজনীন জিডিএম পেতে উপরের পদ্ধতিতে এটি প্রয়োগ করুন।

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