שאלה במודלים חישוביים - הוכחת לא רגולרית

[dor_ohayon]

בתרגיל של ההוכחה לא רגולרית , אם נתתי 2 מילים 0^4i ו- 0^i , אמרתי שהם מגיעות לאותו מצב ושירשרתי את המילה 1^2i

והראתי שישנה סתירה והוא מגיע למצבים שונים , האם זה טוב?

פשוט ראיתי שכולם נתנו מילים 0^i ו 0^j כאשר i גדול מ- j

זה תרגיל 15 בבגרות של היום