דפים המקושרים לדף "שפה פורמלית"
קפיצה לניווט
קפיצה לחיפוש
הדפים שלהלן מקשרים לדף שפה פורמלית:
מוצגים 49 פריטים
- משפט קנטור (→ קישורים)
- בעיית הכרעה (→ קישורים)
- אוטומט סופי (→ קישורים)
- אוטומט סופי דטרמיניסטי (→ קישורים)
- תורת האוטומטים (→ קישורים)
- תורת האוטומטים - מונחים (→ קישורים)
- משפט קוק-לוין (→ קישורים)
- שפה חופשית הקשר (→ קישורים)
- שפה רגולרית (→ קישורים)
- ביטוי רגולרי (→ קישורים)
- קבוצה ניתנת למנייה רקורסיבית (→ קישורים)
- PP (מחלקת סיבוכיות) (→ קישורים)
- סיבוכיות מעגלים (→ קישורים)
- למת הניפוח לשפות חופשיות הקשר (→ קישורים)
- סימון מתמטי (→ קישורים)
- משפט סביץ' (→ קישורים)
- אוטומט מחסנית (→ קישורים)
- מערכת הוכחה אינטראקטיבית (→ קישורים)
- משפט מייהיל-נרוד (→ קישורים)
- מבנה יצירה (→ קישורים)
- פסוק (לוגיקה) (→ קישורים)
- משפט הסדר הטוב (→ קישורים)
- כריעות (→ קישורים)
- מודל (לוגיקה מתמטית) (→ קישורים)
- מחרוזת ריקה (תכנות) (→ קישורים)
- NP (מחלקת סיבוכיות) (→ קישורים)
- מספרים גדולים (→ קישורים)
- דקדוק חופשי-הקשר (→ קישורים)
- דקדוק רגולרי (→ קישורים)
- מבנה (לוגיקה מתמטית) (→ קישורים)
- לוגיקה אפיסטמית (→ קישורים)
- על-מכפלה (→ קישורים)
- אקסיומת ההיקפיות (→ קישורים)
- הצורה הנורמלית של חומסקי (→ קישורים)
- מודל חישובי (→ קישורים)
- EXPTIME (→ קישורים)
- שפה דלילה (→ קישורים)
- שפה אונארית (→ קישורים)
- קידוד גדל (→ קישורים)
- TQBF (→ קישורים)
- הצורה הנורמלית של גרייבך (→ קישורים)
- שפה רקורסיבית (→ קישורים)
- דקדוק תלוי-הקשר (→ קישורים)
- שפה תלוית הקשר (→ קישורים)
- הומומורפיזם (שפות פורמליות) (→ קישורים)
- אלפבית (שפה פורמלית) (→ קישורים)
- שלמות (לוגית) (→ קישורים)
- RE (מחלקת סיבוכיות) (→ קישורים)
- Testwiki:הכה את המומחה/ארכיון169 (→ קישורים)