1. (א) נכון, מכיוון שכל שפה רגילה נטולת הקשר, כל שפה נטולת הקשר ניתנת להכרעה, וכל שפה הניתנת להכרעה ניתנת לזיהוי של טיורינג.
מדוע ניתן להחליט על שפות ללא הקשר?
לבעיה שאינה ניתנת להכרעה אין אלגוריתם כדי לקבוע את התשובה עבור קלט נתון עמימות של שפות חסרות הקשר: בהינתן שפה נטולת הקשר, אין מכונת טיורינג שתהיה עצור תמיד בפרק זמן מוגבל ותן תשובה אם השפה היא דו-משמעית או לא.
האם ניתן להחליט על קבוצת המשנה של שפה נטולת הקשר?
2 תשובות. Σ הוא נטול הקשר (אכן, זה רגיל) ויש לו הרבה תת-קבוצות. אם L היא שפה נטולת הקשר בגודל אינסופי, אז יש תת-קבוצות J של L שניתנות להכרעה, וכאלה שאינן ניתנות להכרעה. לדוגמה, תת-קבוצת המשנה הריקה ניתנת להכרעה.
האם ניתנות להכרעה של CFL?
CFL: זה ניתן להחליט עבור בעיית ריקנות, בעיית סופיות ובעיית חברות.
כמה שפות נטולות הקשר?
(1) יש מספר אינסופי של שפות ללא הקשר. זה נכון מכיוון שכל תיאור של שפה נטולת הקשר הוא באורך סופי, כך שיש מספר אינסופי של תיאורים כאלה. (2) יש מספר בלתי נספור של שפות.
