An algebraic approach to computations with progress

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