بازنشانی

مگر تو روی بپوشی و فتنه بازنشانی که من قرار ندارم که دیده از تو بپوشم

اتوماتون زمانی در نظریه ماشین‌های خودکار (اتوماتون)، اتوماتون زمانی به یک حالت توسعه یافته از ماشین حالت متناهی گفته می‌شود که در آن، مجموعه ورودی‌ها با کلاک ساعت واقعی به ماشین داده می‌شود. در اجرای یک سیستم مبتنی بر اتوماتون زمانی، کلاک ساعت سیستم با روندی یکسان افزایش میابد. مقدار عددی این کلاک ساعت‌ها، عددی صحیح می‌باشد. واحد کنترلی وجود دارد که مقادیر این کلاک ساعت را کنترل می‌کند و با افزایش ویا کاهش آن می‌تواند در دریافت ورودی، محدودیت ایجاد کند. ازآن گذشته می‌تواند کلاک ساعت را بازنشانی مجدد کند. اتوماتون زمانی زیرمجموعه اتوماتون ترتیبی قرار میگید.

وقتی اسکندر مقدونی بر شاهنشاهی هخامنشی غلبه کرد، اورشلیم و یهودا نخست تحت کنترل مقدونیه، و در نهایت بطلمیوس یکم سوتر از دودمان بطلمیوسی قرار گرفت. در سال ۱۹۸ پیش از میلاد، آنتیوخوس سوم از امپراتوری سلوکی با شکست بطلمیوس پنجم اورشلیم و یهودا را تحت زمامداری خود درآورد. تلاش سلوکیان برای بازنشانی اورشلیم به‌صورت یک شهر-ایالت هلنیستی با شورش مکابیان به سرکردگی متتیای کاهن و پنج پسرش علیه آنتیوخوس چهارم بی‌نتیجه ماند. این شورش در سال ۱۵۲ پیش از میلاد، منجر به تشکیل پادشاهی حشمونیان به پایتختی اورشلیم شد.