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

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