প্রশ্ন ট্যাগ «pl.programming-languages»

ব্যবহারিকভাবে, এমন একটি ভাষার জন্য যা শেষ পর্যন্ত সঙ্কলিত / সিস্টেম স্তরের নির্দেশিকায় রূপান্তরিত হতে পারে, এটি কি প্রাসঙ্গিক মুক্ত ব্যাকরণ হওয়া প্রয়োজন? উদাহরণস্বরূপ: সমস্ত প্রোগ্রামিং / স্ক্রিপ্টিং ভাষাগুলি নিখরচায় ব্যাকরণ আছে? জাভা সিএফজির উপর ভিত্তি করে তৈরি হয়েছে, তবে আসলে কী এমন ঘটনা ঘটছে যে সমস্ত প্রোগ্রামিং ভাষা সিএফজির …

23 pl.programming-languages  context-free 

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

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

বিভাগ তত্ত্বের ক্ষেত্রে ফিউচার বা প্রতিশ্রুতির কোনও কার্যকর বিবরণ আছে কি ? বিশেষত, ভবিষ্যতের শ্রেণীবদ্ধ দ্বৈত কী হতে পারে?

22 pl.programming-languages  ct.category-theory  concurrency 

যেহেতু এটি নির্বিঘ্ন গণনার অনুমতি দেয় না, কাক অগত্যা টিউরিং-সম্পূর্ণ নয়। কক গণনা করতে পারে এমন ফাংশনগুলির শ্রেণি কী? (এটির একটি আকর্ষণীয় বৈশিষ্ট্য আছে?)

22 computability  pl.programming-languages  coq 

আমি কেবল বুঝতে পেরেছি যে আমি আমার প্রশ্নের উত্তরটি "হ্যাঁ" বলে ধরে নিচ্ছি তবে আমার কাছে কোনও সঠিক কারণ নেই। আমি কল্পনা করি যে সম্ভবত এমন কোনও আবর্জনা সংগ্রহকারী রয়েছে যা কেবলমাত্র সবচেয়ে খারাপ ক্ষেত্রে মন্দার পরিচয় দেয়। আমি উল্লেখ করতে পারি একটি নির্দিষ্ট রেফারেন্স আছে? আমার ক্ষেত্রে আমি খাঁটি-কার্যকরী …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

যে কেউ এর মধ্যে পার্থক্যটি ব্যাখ্যা করতে সক্ষম হতে পারে: বীজগণিত ডেটাটাইপস (যার সাথে আমি মোটামুটি পরিচিত) জেনারালাইজড বীজগণিত ডেটাটাইপগুলি (কীসের ফলে তাদের সাধারণীকরণ করা হয়?) প্ররোচনামূলক প্রকার (যেমন কোক) (বিশেষত প্রেরণামূলক প্রকারের।) আপনাকে ধন্যবাদ।

21 lo.logic  pl.programming-languages  type-theory  dependent-type 

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

21 pl.programming-languages  semantics  term-rewriting-systems 

আমি টিউটোরিয়াল উপাদানটি সন্ধান করছি যা সংকলক নির্ভুলতার প্রমাণগুলি কভার করে, প্রাথমিকভাবে গ্রেডের শিক্ষার্থীর স্তরে ডেনোটেশনাল পদ্ধতি ব্যবহার করে। বিকল্পভাবে, আপনি কি কয়েকটি সাধারণ সংকলক উদাহরণগুলি সম্পর্কে জানেন যা আমি সমস্যাগুলি বর্ণনা করতে ব্যবহার করতে পারি? (আমার কাছে প্রথম যে উদাহরণটি এসেছিল তা হ'ল ইনফিক্স থেকে পোস্টফিক্স এক্সপ্রেশনর অনুবাদক But …

20 reference-request  pl.programming-languages  semantics  compilers 

আনুষ্ঠানিক পদ্ধতির একটি গুরুত্বপূর্ণ লক্ষ্য হ'ল স্বয়ংক্রিয় বা মানব-নির্দেশিত উপায় দ্বারা সিস্টেমগুলির যথার্থতা প্রমাণ করা। তবে, মনে হচ্ছে আপনি সঠিকতার প্রমাণ দিতে পারলেও, সিস্টেমটি ব্যর্থ হবে না এমন গ্যারান্টি দিতে সক্ষম হতে পারবেন না। উদাহরণ স্বরূপ: স্পেসিফিকেশন সিস্টেমটিকে সঠিকভাবে মডেল না করতে পারে, বা একটি উত্পাদন সিস্টেম মডেল করা থেকে …

20 lo.logic  pl.programming-languages  formal-systems  formal-methods 

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

19 lo.logic  pl.programming-languages  lambda-calculus 

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

19 computability  pl.programming-languages  functional-programming 

নীচে দেওয়া মত একটি ফ্রেম নিয়ম , ধারণাটি ক্যাপচার করে যে cপূর্বশর্ত সহ একটি প্রোগ্রাম দেয় যা pচালানোর আগে ধারণ করে এবং qপরবর্তীকালের পরে পোস্টকন্ডিশন করে, কিছুটা অসম্পূর্ণ অবস্থা রানের rআগে এবং পরে উভয়ই রাখা উচিত c। ( সংযোজকটির *প্রয়োজন হয় যে তার যুক্তিগুলি বিযুক্ত করা উচিত)) প্রায়শই, প্রাক- cপূর্ববর্তী …

18 lo.logic  pl.programming-languages  program-logic 

এটি কি ব্যাকরণ প্রোগ্রামগুলির একটি সংস্কার ? পূর্ববর্তী ভ্যাগ দ্বারা জিজ্ঞাসা করা হয়েছিল এবং মন্তব্যকারীদের অনেক পরামর্শ সহ। কোন ব্যাকরণকে গণনার মডেল নির্দিষ্ট করে দেখা যায়? উদাহরণস্বরূপ, যদি আমরা একটি সাধারণ প্রসঙ্গমুক্ত ব্যাকরণ গ্রহণ করি যেমন G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

এই পৃষ্ঠাটি দৃser়ভাবে জানায় অনেক ভাষা অন্তর্নিহিত সাব টাইপিং (কাঠামোগত সমতা) ব্যবহার করে না আমি বেশিরভাগ প্রোগ্রামিং ভাষা ব্যবহার করেছি যা সুস্পষ্ট সাবটাইপিং ব্যবহার করে । উপরোক্ত নোটগুলিতে বর্ণিত হিসাবে অন্তর্নিহিত সাব টাইপিংয়ের সুবিধাগুলি কী কী।

18 pl.programming-languages  type-theory 

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

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem