تالار گفتمان مانشت

نسخه‌ی کامل: مجموعه همه رشته های تعریف شده روی سیگما استار
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
مجموعه همه رشته های تعریف شده روی الفبای سیگما استار چه فرقی با مجموعه همه زبان های تعریف شده روی سیگما استار دارد؟
سلام. مجموعه همه رشته های روی سیکما استار (با الفبای دو حرفی):

[tex]\{\lambda , a , b , aa, ab , ba , bb , aaa , aab , ...\}[/tex]

مجموعه همه زبان ها:

[tex]\{\{\\},\{\lambda\},\{a\},\{b\},\{aa\},\{ab\},...\}[/tex]

در واقع مجموعه زبان ها، مجموعه ای از زیرمجموعه های رشته های زبانه. در واقع هر زبان یک مجموعه از رشته های الفباست.
(19 بهمن 1392 01:42 ق.ظ)Jooybari نوشته شده توسط: [ -> ]سلام. مجموعه همه رشته های روی سیکما استار (با الفبای دو حرفی):

[tex]\{\lambda , a , b , aa, ab , ba , bb , aaa , aab , ...\}[/tex]

مجموعه همه زبان ها:

[tex]\{\{\\},\{\lambda\},\{a\},\{b\},\{aa\},\{ab\},...\}[/tex]

در واقع مجموعه زبان ها، مجموعه ای از زیرمجموعه های رشته های زبانه. در واقع هر زبان یک مجموعه از رشته های الفباست.
اینکه هر زبان مجموعه ای است از رشته ها رو می دونم اما این موضوع که چرا مجموعه همه رشته های روی سیگما استار شمارش پذیر است ولی مجموعه همه زبان ها شمارش ناپذیر است رو نمیدونم در واقع منظورم از این سوال این بود که مجموعه همه رشته های روی سیگما استار چرا شمارش پذیر است؟
(19 بهمن 1392 11:34 ق.ظ)sonia11 نوشته شده توسط: [ -> ]
(19 بهمن 1392 01:42 ق.ظ)Jooybari نوشته شده توسط: [ -> ]سلام. مجموعه همه رشته های روی سیکما استار (با الفبای دو حرفی):

[tex]\{\lambda , a , b , aa, ab , ba , bb , aaa , aab , ...\}[/tex]

مجموعه همه زبان ها:

[tex]\{\{\\},\{\lambda\},\{a\},\{b\},\{aa\},\{ab\},...\}[/tex]

در واقع مجموعه زبان ها، مجموعه ای از زیرمجموعه های رشته های زبانه. در واقع هر زبان یک مجموعه از رشته های الفباست.
اینکه هر زبان مجموعه ای است از رشته ها رو می دونم اما این موضوع که چرا مجموعه همه رشته های روی سیگما استار شمارش پذیر است ولی مجموعه همه زبان ها شمارش ناپذیر است رو نمیدونم در واقع منظورم از این سوال این بود که مجموعه همه رشته های روی سیگما استار چرا شمارش پذیر است؟

یعنی میشه یه ترتیب برای رشته ها مشخص کرد. توی مجموعه دوم من خیلی هارو ننوشتم. مثلاً [tex]\{\{\lambda,a\},\{a,ab,\lambda\},...\}[/tex].
(19 بهمن 1392 06:37 ب.ظ)Jooybari نوشته شده توسط: [ -> ]
(19 بهمن 1392 11:34 ق.ظ)sonia11 نوشته شده توسط: [ -> ]
(19 بهمن 1392 01:42 ق.ظ)Jooybari نوشته شده توسط: [ -> ]سلام. مجموعه همه رشته های روی سیکما استار (با الفبای دو حرفی):

[tex]\{\lambda , a , b , aa, ab , ba , bb , aaa , aab , ...\}[/tex]

مجموعه همه زبان ها:

[tex]\{\{\\},\{\lambda\},\{a\},\{b\},\{aa\},\{ab\},...\}[/tex]

در واقع مجموعه زبان ها، مجموعه ای از زیرمجموعه های رشته های زبانه. در واقع هر زبان یک مجموعه از رشته های الفباست.
اینکه هر زبان مجموعه ای است از رشته ها رو می دونم اما این موضوع که چرا مجموعه همه رشته های روی سیگما استار شمارش پذیر است ولی مجموعه همه زبان ها شمارش ناپذیر است رو نمیدونم در واقع منظورم از این سوال این بود که مجموعه همه رشته های روی سیگما استار چرا شمارش پذیر است؟

یعنی میشه یه ترتیب برای رشته ها مشخص کرد. توی مجموعه دوم من خیلی هارو ننوشتم. مثلاً [tex]\{\{\lambda,a\},\{a,ab,\lambda\},...\}[/tex].
با تشکر از وقتی که گذاشتیدRolleyes
لینک مرجع