יש לי כמה שאלות בקשר לשפות בחישוביות (Computability):
1. האם המשלים של *∑ היא קבוצה ריקה?
2. האם המשלים של הקבוצה הריקה היא *∑?
3. האם איחוד של השפה Lacc ושל השפה המשלימה שלה, שווה ל*∑?