می دانیم که باقیمانده هر عدد به ۳ یکی از ۳ عدد ۰و۱و۲ است و همچنین باقیمانده هر عدد به ۲ یکی از دو عدد ۰و۱ است.
چون این زبان رشته هایی را می پذیرد که باقیمانده تعداذ aها بر ۳ بزرگتر از با قیمانده تعداذ bها بر ۲ باشد. پس باقیمانده تعداد aها بر ۳ باید یا ۱ یا ۲ باشد. پس دو حالت زیر را داریم:
[tex]n_{a}(w)mod 3=1[/tex]
در این صورت تعداد b ها باید زوج باشد. و تعداد aها حداقل ۱ باشد و یا سه تا سه تا اضافه شود. یعنی تعداد aها یکی از موارد زیر است:
۱و۴و۷و۱۰و...
[tex]n_{a}(w)mod 3=2[/tex]
در این صورت هر تعداد b می تواند انتخاب شود. و تعداد aها حداقل ۲ باشد و یا سه تا سه تا اضافه شود. یعنی تعداد aها یکی از موارد زیر است:
۲و۵و۸و۱۱و...
(۰۹ مرداد ۱۳۹۰ ۰۹:۲۴ ق.ظ)behdad نوشته شده توسط: سلام
من این dfa رو کشیدم
دوستان ببینید اگه اشتباه داره درستش کنیم
سلام خانم بهداد
چیزی که شما کشیدین یک nfa هست چون بجای اینکه در هر وضعیت یک حرکت یکتا داشته باشید چند حرکت برای یک ورودی خاص دارید. مثلاً از حالت۰۱ با ورودی a هم به حالت ۰۰ می رود و هم ۰۲
