אוטומטים ושפות פורמליות/אוטומט סופי דטרמיניסטי: הבדלים בין גרסאות בדף

* <math>\delta: Q\times \Sigma \to Q</math> - פונקציית המעברים

 

 

נניח כי האלפבית הינו אונרי, כלומר <math>\Sigma=\{1\}</math> ונרצה לתכנן אוטומט המקבל את כל המילים שאורכן הוא כפולה של 3, כלומר אוטומט עבור השפה <math>L=\{\varepsilon, 111, 111111, \ldots\}</math> או באופן פורמלי

<center><math>L=\{ x \in \{1\}^* : |x|\mod 3=0\}</math></center>

 

[[קובץ:DFA length mod3.png|שמאל|ממוזער|250px|אוטומט סופי עבור השפה האונרית שאורך מילותיה כפולה שלמה של 3.]]

 

 

{{תרגיל

|מספר=

|פתרון=(רמז) הוספת 0 למספר בינארי מימינו מכפילה את המספר, והוספת 1 מכפילה ומסיפה 1.

|יישור=ימין}}