שיחה:תורת החישוביות/כריעות שפות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
←ארגון מחודש של החלק: ממבט ראשון |
|||
שורה 80:
:::::אני די מקווה שהשילוב, שבהחלט לקח בחשבון את הערותיך, בסדר מבחינתך. ישנה נקודה בה ניסיתי לללכת בכוון אותו הצעת, אבל לא היה אפשר לללכת אתו עד הסוף: אם תבדוק את התלויות בנושאים, תראה שאין ממש אפשרות להציג את RE לאחר הנושאים האחרים: זה היה יוצר כפילויות ודילוגים אדירים.
:::::כל טוב, [[משתמש:Atavory|Atavory]] - [[שיחת משתמש:Atavory|שיחה]] 15:47, 3 בפברואר 2012 (IST)
:::::: היי, זה בהחלט בכיוון. נעלמה לי ההוכחה ש(המשלים של) שפת האלכסון אינה כריעה. כנראה נשמטה.. (בלעדיה, כל שרשרת הרדוקציות חסרות משמעות). אני אסתכל על זה קצת יותר לעומק בזמן הקרוב. {{#תנאי:|‎|‏}}[[משתמש:Gran|gran]]{{#תנאי:|‎|‏}} - [[שיחת משתמש:gran|שיחה]] 03:36, 4 בפברואר 2012 (IST)
|