אוטומטים ושפות פורמליות/שפות פורמליות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
שורה 48:
* '''השלמה''' – השפה המתקבלת מכל המילים ב־<math>\ \Sigma^*</math> שאינן ב־L. פורמלית,
<center><math>\overline{L} = \Sigma^* \smallsetminus L</math></center>
=== דוגמאות ===</math>.
* עבור אלפבית בינארי ו־<math>L=\{\varepsilon, 0, 00, 000, \ldots \}</math> השפה המשלימה היא <math>\overline{L}=\{1, 01, 10, 11, 001, 010, 011, \ldots \}</math>
|