বৈশিষ্ট্য যার জন্য a সিএফএল নয়?

এটি অটোমেটা কোর্সে একটি স্ট্যান্ডার্ড প্রমাণ যা এবং that কোনও প্রসঙ্গ-মুক্ত ভাষা নয়। $L = \Sigma^\star$ $|\Sigma| \ge 2$ $S(L) = \{ww : w \in L\}$

এটিও সত্য যে কোনও সীমাবদ্ধ , সীমাবদ্ধ (এবং সেইজন্য একটি সিএফএল)। আমি অনুমান করছি যে অসীম এবং নিয়মিত সিএফএল না হওয়ার জন্য "পর্যাপ্ত" নয়। সম্পাদনা : নন-সিএফএল সম্পর্কে কী ? $L$ $S(L)$ $L$ $S(L)$ $L$

সেখানে কোন চরিত্রায়ন কি আছে একটি সিএফএল হচ্ছে না? $L$ $S(L)$

context-free

— রায়ান
সূত্র

আমি যদি সঠিকভাবে বুঝতে পারি, তবে প্রশ্নটি সিদ্ধান্ত নেওয়ার জন্য নিয়মিত ভাষা দেওয়া হবে, কিনা ।

L

$L$

S (L)

$S(L)$

— জে.ই.

১. আপনি কী ধরণের চরিত্রায়ন খুঁজছেন তা সম্পর্কে আমাদের আরও বলতে পারেন? আপনি কি একটি অ্যালগরিদম খুঁজছেন যা প্রদত্ত , কিনা তা স্থির করে

L

$L$

S (L)

$S(L)$ প্রসঙ্গ-মুক্ত ? আপনি কি

এমন কিছু শর্তের সন্ধান করছেন যা

প্রসঙ্গমুক্ত হবে তা নিশ্চিত করার জন্য পর্যাপ্ত ? আপনি কোন রূপটি গ্রহণ করতে চান? ২. যদি আপনি কিছু দিন পরে কোনও উত্তর না পেয়ে থাকেন এবং এটি CSTheory.SE এ দেখতে পছন্দ করেন তবে মডারেটরের মনোযোগের জন্য এটি নির্দ্বিধায় নির্দ্বিধায় এবং এটি স্থানান্তরিত করতে বলুন।

L

$L$

S (L)

$S(L)$

— DW

@DW 1. হয় ভাল হয়, কিন্তু আমি পর্যাপ্ত শর্ত পছন্দ করব। 2. টিপ জন্য ধন্যবাদ!

— রায়ান 15

@ রায়ান কি যথেষ্ট শর্ত? ভাল, এখানে একটি দম্পতি আছে: (ক) এল নিয়মিত এবং প্রতি জন্য

মধ্যে

(খ) এল সিএফ এবং সব জন্য

পারেন খালি করুন অথবা সমান

। এগুলি অবশ্যই প্রয়োজনীয় নয়। আপনি যদি এখানে উত্তর না পেয়ে থাকেন তবে দয়া করে প্রশ্নটিকে সিটিওরিতে স্থানান্তর করুন। আমি প্রয়োজনীয় এবং পর্যাপ্ত শর্ত সম্পর্কে সত্যই আগ্রহী!

w

$w$

L

$L$

w = w^{R}

$w = w^R$

n

$n$

L \cap Σ^{n}

$L \cap \Sigma^{n}$

Σ^{n}

$\Sigma^{n}$

— aelguindy

অসীম এবং নিয়মিত

আসলেই

পক্ষে সিএফ যথেষ্ট নয়। তাহলে

তারপর

যা cf. নিয়মিত হয়, অত: পর

L

$L$

S (L)

$S(L)$

Σ = {a, b, c}, L = a^{*}

$\Sigma = \{a,b,c\},L = a^*$

S (L) = (a a)^{*}

$S(L) = (aa)^*$

— চি

একটি অনুমান সঙ্গে একটি বর্ধিত মন্তব্যকারীকে আরো, কিন্তু এখানে একটি শর্তে যে, সমস্যা ক্যাপচার বলে মনে হয় নিয়মিত প্রেক্ষাপটে হয় -এর জন্য প্রসঙ্গ-মুক্ত হতে হবে। $L$ $S(L)$

শর্ত জন্য ন্যূনতম ডিএফএ তে, যে কোনও গ্রহণযোগ্য পথে কমপক্ষে একটি লুপ থাকে। $A$ $L$

ব্যতিক্রম: দুটি লুপের অনুমোদিত যদি তাদের লেবেল এবং প্রিফিক্সের লেবেল প্রথম লুপের আগে সমস্ত যাত্রাপথের আগে এবং দ্বিতীয় লুপের পরে প্রত্যয়টি খালি থাকে। উদাহরণস্বরূপ ঠিক আছে। $aa^*b(aa)^*$

মনে রাখবেন যে দুটি শব্দ এবং যাতায়াত করে যদি তারা একই শব্দের এর শক্তি হয় । আমরা প্রত্যয়টি খালি ধরে নিতে পারি, কারণ এটি খালি থাকতে পারে না এবং কোনও ডিএফএ-তে দ্বিতীয় লুপের লেবেলের সাথে ভ্রমণ করতে পারে। $u$ $v$ $t$

যথেষ্ট শর্ত ধরে আপনার জন্য একটি পিডিএ সংগ্রহ করতে, প্রতিটি গ্রহণ প্যাটার্ন চিকিত্সা দ্বারা এর যেখানে একটি সহজ লুপ লেবেল। আমরা ফর্মের শব্দগুলি গ্রহণ করতে চাই । আমরা পড়ি , প্রতিটি occurence প্রতীক ধাক্কা , পড়া , তারপর প্রতিটি occurence প্রতীক পপ , এবং পরিশেষে পড়া । $L$ $xuy$ $A$ $u$ $xu^nyxu^ny$ $x$ $u$ $yx$ $u$ $y$

ব্যতিক্রম সম্পর্কে, যদি আমরা এই ক্ষেত্রে থাকি তবে একটি প্রাথমিক গ্রহণযোগ্য পথ হ'ল ফর্মের যেখানে লুপগুলির লেবেল। আমরা গ্রহণ ফর্ম শব্দের কিন্তু ধৃষ্টতা (দ্বারা যাতায়াতের) এটি হিসাবে একই , যা করতে পারেন একটি পিডিএ দ্বারা করা: ধাক্কা $xuyv$ $u,v$ $xu^n y v^m xu^n y v^m$ $x,u,v$ $u^nxyu^n v^mxyv^m$ $n$ বার (এর occurences জন্য , পঠিত) , পপ বার ধাক্কা বার (জন্য ), পঠিত , পপ বার। $u$ $xy$ $n$ $m$ $v$ $xy$ $m$

চূড়ান্ত পিডিএ প্রতিটি প্যাটার্নের জন্য পিডিএগুলির ইউনিয়ন।

প্রয়োজনীয় (হ্যান্ডউইভিং) যদি দুটি লুপের সাথে কোনও পথ থাকে, এমনকী সর্বাধিক সহজ ক্ষেত্রে যেখানে আপনাকে অবশ্যই অন্যটি গ্রহণ করতে হবে (উদাহরণস্বরূপ ), আপনাকে অবশ্যই প্রতিটি বারে কতবার নেওয়া হবে তা মনে রাখতে হবে তবে স্ট্যাকের কাঠামো আপনাকে একই ক্রমে পুনরাবৃত্তি করতে বাধা দেয়। লক্ষ করুন যে ডিএফএ ন্যূনতম যে বৈশিষ্ট্যটি গুরুত্বপূর্ণ, এটি যখন যথেষ্ট হতে পারে তখন দুটি লুপ ব্যবহার এড়াতে। $a^*b^*$

আপাতত প্রয়োজনীয় অংশটি কেবল একটি অনুমান, এবং সঠিক শর্তটি পেতে আরও ব্যতিক্রমের প্রয়োজন হতে পারে, আমি পাল্টা উদাহরণগুলিতে আগ্রহী।

— ডেনিস
সূত্র

"এবং তারপরে ডব্লিউ পড়ার পরে, শব্দের দ্বিতীয় উপস্থিতিতে নেওয়া প্রতিটি লুপের জন্য একটি প্রতীক পপিং" - তবে এরকম অনেকগুলি

! যদি না আমি আপনার যুক্তিটি ভুলভাবে পড়ছি।

w

$w$

— রায়ান

@ রায়ান "প্যাটার্ন" xuy এর সংখ্যা যেখানে আপনি লেবেল একটি লুপ সীমাবদ্ধ, তাই আমরা অনুমান করতে পারি যে আমরা কোনটি পড়ছি।

— ডেনিস

আমি এই অংশটি স্পষ্ট করতে সম্পাদনা করেছি।

— ডেনিস

শর্ত আরেকটা আমি মন ছিল আমাকে অনুরূপ: এস (এল) প্রসঙ্গ বিনামূল্যে iff সেখানে শব্দ উপস্থিত না থাকার হয়

, যেমন যে

এবং

একে অন্যের উপসর্গ হয় না এবং

।

u, v, w_{1}, w_{2}

$u,v,w_1,w_2$

w_{1}

$w_1$

w_{2}

$w_2$

u (w_{1} + w_{2})^{*} v \subseteq L

$u(w_1+w_2)^*v \subseteq L$

— হল্ফ

@holf পুলিশের জন্য কাজ বলে মনে হচ্ছে না

a^{*} b^{*}

$a^*b^*$

— ডেনিস