סיבוכיות מעגלים
סיבוכיות מעגלים עוסקת במעגלים בוליאניים. מעגל בוליאני הוא רשת שערים לוגיים. שער לוגי הוא רכיב שמחליט על 0 או 1. AND מחזיר 1 רק אם כל הקלטים הם 1. OR מחזיר 1 אם לפחות קלט אחד הוא 1. NOT הופך 0 ל-1 ולהפך. למעגל יש כניסות ביטים ויציאה אחת. מעגלים מחוברים זה לזה כדי לחשב תשובה על קלט נתון. יש מעגלים ק...
תורת האוטומטים, מונחים
תורת האוטומטים עוסקת במודלים של חישוב. יש מכונות פשוטות שקוראות סדרות של סמלים. מדברים על מצבים ושינויים בין מצבים. רואים איך מחברים או חותכים מילים של סמלים. בודקים איך לשלב קבוצות מילים ולשנותן. חומסקי חילק שפות ל־4 קבוצות לפי דקדוקים. דקדוק הוא חוק שמייצר מילים. אפשר להראות שפה בעזרת מכונה, ...
תבנית:ערך מומלץ 27 בספטמבר 2004
אברם נועם חומסקי נולד ב-7 בדצמבר 1928. הוא פרופסור לחקר שפות (בלשנות) במכון הטכנולוגי של מסצ'וסטס (MIT). הוא יצר את ההיררכיה שנקראת על שמו, דרך לסדר שפות פורמליות (שפות למחשבים). חומסקי גם כתב על פוליטיקה, והוא כינה את עצמו 'סוציאליסט ליברטני' (רוצה חופש ושוויון). הוא טען שיש 'דקדוק אוניברסלי', יכ...