মূলধারার সাধারণ-উদ্দেশ্য-অ-টিউরিং সম্পূর্ণ ভাষাগুলি আজ উপলব্ধ?


12

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

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


8
আমি মনে করি আপনি যে দুটি জিনিস সন্ধান করছেন তা পারস্পরিক বেমানান। যদি এটি টিউরিং সম্পূর্ণ হয় না, তবে এটিকে কোনও স্বেচ্ছাসেবী ব্যবহারে পরিণত করা যাবে না
ববসন

@ ডক্কাট আমি প্রশ্নটি আবার খুললাম এবং মন্তব্যগুলি থেকে मेटा সম্পর্কিত আলোচনা সরিয়ে নিয়েছি। দয়া করে মনে রাখবেন যে আপনি যদি সাইটের কোনও গাইডলাইনগুলির সাথে একমত না হন, তবে প্রতিযোগিতার উপযুক্ত উপায় হ'ল একটি মেটা আলোচনা পোস্ট করা; শুধু এড়ানো হবে না। তদ্ব্যতীত, বিষয়গত প্রশ্নের জন্য, সাফল্যের মূল চাবিকাঠি হ'ল পূর্ব গবেষণা এবং কঠোর সংজ্ঞা। আপনি যত বেশি গবেষণা করবেন, আপনার প্রশ্নটি আরও সুনির্দিষ্ট (এবং উত্তরযোগ্য) হয়ে উঠবে এবং আরও দূরে আপনি কুখ্যাত "গঠনমূলক নয়" স্থান থেকে পাবেন you
ইয়ানিস

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

2
কোককে তার ডোমেনে সুন্দর "মূলধারার" হিসাবে বিবেচনা করা যেতে পারে, প্রতিযোগীদের (এইচএল, আগদা, এসিএল এবং এ জাতীয়) অনেক কম দৃশ্যমান হওয়ার কারণে।
এসকে-যুক্তি

সম্ভবত আমি টিউরিং-সম্পূর্ণতা কী তা আসলে বুঝতে পারি না তবে কোনও ভাষা কীভাবে সাধারণ উদ্দেশ্য এবং নন-টিউরিং সম্পূর্ণ হতে পারে? আমি ভেবেছিলাম, নন-টিউরিং সম্পূর্ণ হওয়ার অর্থ কী কোনও গণনামূলক কাজ সম্পাদন করা সম্ভব হচ্ছে না, এভাবে একটি নির্দিষ্ট উদ্দেশ্যে লক্ষ্য করা হচ্ছে ..?
আভিভ কোহন

উত্তর:


24

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

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

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


সিএসএস 3 হয় টুরিং-সম্পূর্ণ।
এসকে-যুক্তি

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

2
@ মাইক, এটি একটি ভাঙ্গা উপমা। CSS3 শব্দার্থবিজ্ঞানের উপস্থাপনা ভাষার শব্দার্থবিদ্যার সাথে ঘনিষ্ঠভাবে আবদ্ধ।
এসকে-লজিক

2
নোট করুন যে উইন্ডোইং এবং সিটিই (এসকিউএল: 2003) সহ এসকিউএলও টুরিং-সম্পূর্ণ।
Jörg ডব্লু মিটাগ

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

-3

টুরিংয়ের অসম্পূর্ণ ভাষা মূলধারার না হওয়ার কারণ হ'ল যখনই আপনার প্রয়োজন হবে এটি আপনার নিজের প্রয়োগ করা সহজ এবং তবে আপনার এটি প্রয়োজন। আকর্ষণীয় উদাহরণ বিটকয়েন-স্ক্রিপ্ট: https://github.com/bitcoin/bitcoin/blob/master/src/script.cpp


5
সত্যি? আপনার নিজের থেকেই স্ক্র্যাচ থেকে কাক বাস্তবায়নের মন কি এটি এত সহজ?
এসকে-লজিক 13

এটি কি কেবল আপনার মতামত বা আপনি কোনওভাবে এটি ব্যাক আপ করতে পারেন?
gnat

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

1
আমি সম্মতি জানাই যে ভাষা টিউরিং-অসম্পূর্ণ রাখা তুচ্ছ নয়। এমনকি সুস্পষ্ট টুরিং ট্যারিপিটস ছাড়াই এটিতে সর্বদা একটি সংকলক বাগ থাকতে পারে যা অন্তর্নিহিত প্ল্যাটফর্মের একটির ব্যবহার সম্ভব করে।
মাগানরা
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.