שיחה:כריעות

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש

ראה גם שיחה:שלמות, הערך הנוכחי פעם דיבר על שלמות במקום על כריעות.

אני לא בטוח בכלל שצריך ערך כזה, אבל צריך להכניס את ההגדרה לאנשהו (אם מישהו מחפש כריעות הוא צריך למצוא משהו). לחילופין אפשר לאחד את הערכים קבוצה רקורסיבית וקבוצה ניתנת למנייה רקורסיבית לתוך ערך זה.

Ripper234 - שיחה 12:36, 27 בפברואר 2008 (IST)

אפשר להפוך את "כריעות" להפניה לערך קבוצה רקורסיבית, אם אומרים שם מהי קבוצה כריעה. עוזי ו. - שיחה 12:59, 27 בפברואר 2008 (IST)

לא הבנתי[עריכת קוד מקור]

כתוב: "בהנתן כקלט מכונת טירוינג, לא ניתן לקבוע אם השפה שהמכונה מכריעה היא רגולרית. גם לא ניתן לקבוע, אם זו שפה חסרת הקשר וגם לא אם שפה זו היא כריעה." אבל ההגדרה של שפה כריעה היא כזאת שיש מכונת טיורינג שמחשבת אותה, אז אם נתונה המכונה שמחשבת אותה, מן הסתם קיימת מכונה כלשהי שמחשבת אותה. --77.125.96.189 21:22, 6 במאי 2009 (IDT)