نظریه زبان ها و ماشین

ماشین تورینگ غیر قطعی برای زبان زیر :
ضمیمه 149362
زیگما برابر با ۰و ۱ میباشد.
کسی ایده ای داره ؟؟؟