For example, let A be an alternating automaton.
به‌طور مثال، فرض کنید A یک ماشین متغیر باشد.