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