פעולה בינארית
פעולה בינארית היא פעולה שלוקחת שני דברים מאותו אוסף. אוסף זה נקרא קבוצה. קבוצה היא אוסף של איברים, כמו מספרים או מילים. הפעולה מקבלת שני איברים ומחזירה איבר אחד מהקבוצה. לפעמים אי אפשר לעשות את הפעולה על כל זוג. למשל, אי אפשר לחלק ב־0. קומוטטיבי אומר שהסדר לא משנה את התוצאה. אסוציאטיבי אומר שקיבוץ...
שפה רגולרית
שפה רגולרית היא קבוצת מילים שאפשר לבדוק בעזרת מכונה פשוטה. מכונה פשוטה יש לה מצבים (תיבות), מצב התחלה, ומצבים שמקבלים. המכונה קוראת אותיות אחת אחת ועוברת בין התיבות לפי חוקים. אם בסוף היא בעמדת קבלה, המילה טובה. המכונה מתחילה בתיבה מיוחדת. היא קוראת את המילה מהתחלה לסוף. כל אות גורמת לה להחליף תיב...
שפה חופשית הקשר
שפה חופשית הקשר היא קבוצה של מילים שמיוצרת על ידי כללים פשוטים. דקדוק חסר הקשר הוא קבוצת כללים שמחליפים סימן אחד בכל פעם. ההחלפה לא תלויה במה שמסביב לסימן. כלל בדקדוק כזה מחליף משתנה בשרשרת של סימנים ומשתנים. כך בונים את כל המילים בשפה. יש שפה של מחרוזות שבהן יש מספר אחד של אותיות a ואז אותו מספר ...
מוספית
מוספית היא חתיכה קטנה שמצטרפת למילה. (חתיכה עם משמעות קטנה). בעברית מוספיות בפועל מראות זמן ומי עושה. (בניין הוא התבנית של הפועל). למשל, "אכלה" קיבלה את ה־"ה" של נקבה. כשהופכים שמות או תארים מוספיות מצטרפות לפי המשקל. (משקל זה תבנית המילה). יש סוגים לפי המקום במילה. המושג הנכון הוא "קליטיק". טעות...
מסילה (מתמטיקה)
מסילה היא דרך רציפה שמחברת נקודות. "רציפה" אומרת שאין קפיצות בדרך. אפשר לחשוב על מסילה כטיול בזמן. כל רגע בעטיפה מתאים למקום בדרך. דוגמה פשוטה היא הליכה סביב מעגל. לולאה היא מסילה שהתחלה וסוף הם אותו מקום. מסילה פשוטה לא חותכת את עצמה. אם לולאה פשוטה סוגרת עיגול, היא מחלקת את המישור לחלק פנימי וח...