(۱۹ بهمن ۱۳۹۲ ۰۱:۴۲ ق.ظ)Jooybari نوشته شده توسط:  سلام. مجموعه همه رشته های روی سیکما استار (با الفبای دو حرفی):

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

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

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

در واقع مجموعه زبان ها، مجموعه ای از زیرمجموعه های رشته های زبانه. در واقع هر زبان یک مجموعه از رشته های الفباست.

(۱۹ بهمن ۱۳۹۲ ۱۱:۳۴ ق.ظ)sonia11 نوشته شده توسط:  

(19 بهمن ۱۳۹۲ ۰۱:۴۲ ق.ظ)Jooybari نوشته شده توسط:  سلام. مجموعه همه رشته های روی سیکما استار (با الفبای دو حرفی):

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

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

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

در واقع مجموعه زبان ها، مجموعه ای از زیرمجموعه های رشته های زبانه. در واقع هر زبان یک مجموعه از رشته های الفباست.

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

(۱۹ بهمن ۱۳۹۲ ۰۶:۳۷ ب.ظ)Jooybari نوشته شده توسط:  

(19 بهمن ۱۳۹۲ ۱۱:۳۴ ق.ظ)sonia11 نوشته شده توسط:  

(19 بهمن ۱۳۹۲ ۰۱:۴۲ ق.ظ)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].