تالار گفتمان مانشت
تعداد حالات برای DFA - نسخه‌ی قابل چاپ

تعداد حالات برای DFA - homa - 21 دى ۱۳۹۰ ۰۹:۲۰ ب.ظ

تعداد حالات چه جوری بدست میاد؟؟؟
جواب گزینه‌ی ۱

RE: تعداد حالات - مازیار صفایی - ۲۱ دى ۱۳۹۰ ۰۹:۳۲ ب.ظ

(۲۱ دى ۱۳۹۰ ۰۹:۲۰ ب.ظ)homa نوشته شده توسط:  تعداد حالات چه جوری بدست میاد؟؟؟
جواب گزینه‌ی ۱

یک حالت شروع قرار می دهیم که هر چقدر a می خواهد بیاید. {*a}
به محض دیدن یک b ما وارد حالت دوم می شویم. در این حالت a و b می توانند * بار تکرار شوند.
دیگه فرقی نمی کنه b مربوط به *{*ab} باشد یا {b}.

بعد از اون n-2 حالت احتیاج داریم.

که جمعش می شه:
n-2+1+1=n

تعداد حالات - Jooybari - 21 دى ۱۳۹۰ ۱۰:۱۱ ب.ظ

جوابشون درسته. میشه یه کار دیگه هم کرد. [tex]\{a\}^*\{ba^*\}^*[/tex] رو میشه نوشت [tex]\{a b\}^*[/tex]. یعنی یه طوقه از a,b به خودش میزنیم.
با گرفتن یه b به حالت دوم میره و بعد از اون با a,b به n-2 حالت دیگه میره. یعنی داریم:
[tex]\delta (q_0,a)={q_0}[/tex]
[tex]\delta (q_0,b)={q_0}[/tex]
[tex]\delta (q_0,b)={q_1}[/tex]
[tex]\delta (q_1,b)={q_2}[/tex]
[tex]\delta (q_i,a)={q_{i 1}} ; (2\leq i\leq n-2)[/tex]
[tex]\delta (q_i,b)={q_{i 1}} ; (2\leq i\leq n-2)[/tex]
که [tex]q_0[/tex] حالت شروع و [tex]q_{n-1}[/tex] حالت پایانیه.

RE: تعداد حالات - homa - 21 دى ۱۳۹۰ ۱۰:۵۳ ب.ظ

(۲۱ دى ۱۳۹۰ ۱۰:۱۱ ب.ظ)Lakikharin نوشته شده توسط:  جوابشون درسته. میشه یه کار دیگه هم کرد. [tex]\{a\}^*\{ba^*\}^*[/tex] رو میشه نوشت [tex]\{a b\}^*[/tex]. یعنی یه طوقه از a,b به خودش میزنیم.
با گرفتن یه b به حالت دوم میره و بعد از اون با a,b به n-2 حالت دیگه میره. یعنی داریم:
[tex]\delta (q_0,a)={q_0}[/tex]
[tex]\delta (q_0,b)={q_0}[/tex]
[tex]\delta (q_0,b)={q_1}[/tex]
[tex]\delta (q_1,b)={q_2}[/tex]
[tex]\delta (q_i,a)={q_{i 1}} ; (2\leq i\leq n-2)[/tex]
[tex]\delta (q_i,b)={q_{i 1}} ; (2\leq i\leq n-2)[/tex]
که [tex]q_0[/tex] حالت شروع و [tex]q_{n-1}[/tex] حالت پایانیه.
چه جوری این رو نتیجه گرفتی: [tex]\{a\}^*\{ba^*\}^*[/tex]=[tex]\{a b\}^*[/tex]
Huh

RE: تعداد حالات - مازیار صفایی - ۲۲ دى ۱۳۹۰ ۱۲:۱۹ ق.ظ

(۲۱ دى ۱۳۹۰ ۱۰:۵۳ ب.ظ)homa نوشته شده توسط:  
(21 دى ۱۳۹۰ ۱۰:۱۱ ب.ظ)Lakikharin نوشته شده توسط:  جوابشون درسته. میشه یه کار دیگه هم کرد. [tex]\{a\}^*\{ba^*\}^*[/tex] رو میشه نوشت [tex]\{a b\}^*[/tex]. یعنی یه طوقه از a,b به خودش میزنیم.
با گرفتن یه b به حالت دوم میره و بعد از اون با a,b به n-2 حالت دیگه میره. یعنی داریم:
[tex]\delta (q_0,a)={q_0}[/tex]
[tex]\delta (q_0,b)={q_0}[/tex]
[tex]\delta (q_0,b)={q_1}[/tex]
[tex]\delta (q_1,b)={q_2}[/tex]
[tex]\delta (q_i,a)={q_{i 1}} ; (2\leq i\leq n-2)[/tex]
[tex]\delta (q_i,b)={q_{i 1}} ; (2\leq i\leq n-2)[/tex]
که [tex]q_0[/tex] حالت شروع و [tex]q_{n-1}[/tex] حالت پایانیه.
چه جوری این رو نتیجه گرفتی: [tex]\{a\}^*\{ba^*\}^*[/tex]=[tex]\{a b\}^*[/tex]
Huh
*a که یا هست یا نه.
در جمله *{*ba} هم که *b و *a داریم.
پس اگه با هم اجتماع بگیریم می شه همون!