דף הבית
אקראי
כניסה לחשבון
הגדרות
תרומה לוויקיספר
אודות ויקיספר
הבהרות משפטיות
חיפוש
תבנית
:
אוטומטים ושפות פורמליות
שפה
מעקב
עריכה
אוטומטים ושפות פורמליות
מבוא
שפות פורמליות
אוטומט סופי דטרמיניסטי
אוטומט סופי לא דטרמיניסטי
תכונות של שפות רגולריות
סגירות תחת פעולות שונות
למת הניפוח לשפות רגולריות
משפט מיהיל-נרוד
ביטויים רגולריים
אוטומט מחסנית
דקדוקים חסרי הקשר
תכונות של שפות חסרות הקשר
תכונות סגור
למת הניפוח לשפות חסרות הקשר
צורות נורמליות לדקדוקים חסרי הקשר
דו-משמעות