در ابتدا عدد x=0 را داریم. در هر مرحله میتوانیم عدد x را به یکی از دو عدد ⌊x2⌋ یا 4x+2 تبدیل کنیم. با استفاده از این حرکات چه تعداد از اعضای مجموعه A={77,511,210,170,238} را میتوان ساخت؟
پاسخ
گزینه (۴) درست است.
تنها اعداد ۵۱۱، ۱۷۰ و ۲۳۸ قابل تولید هستند.
این ماشین اعدادی را تولید میکند که در نمایش مبنای ۲ شان هیچگاه دو رقم ۰ متوالی نداشته باشند. برای اثبات این موضوع کافی است تا نمایش مبنای ۲ ورودیها و خروجیهای ماشین را در نظر گرفته و روی تعداد بیتهای عدد x استقرا بزنیم. پس کافی است تا نمایش مبنای ۲ اعضای مجموعه A را در نظر گرفته و پاسخ را بیابیم.