فضای منظم

{regular space} [ریاضی] یک فضای توپولوژیکی که در آن هر مجموعۀ بسته و هر نقطه ای در خارج آن مجموعه همسایگی های باز جداازهم داشته باشند

یک فضای توپولوژیکی که در آن هر مجموعۀ بسته و هر نقطه‌ای در خارج آن مجموعه همسایگی‌های باز جداازهم داشته باشند.

💡 یک مفهوم بسیار مرتبط، حلقه توابع چندجمله‌ای روی فضای برداری، و به صورت کلی‌تر حلقه توابع منظم روی واریته جبری است.

💡 وقتی تولید کد در زمان اجرا اتفاق می افتد، مثلاً در ترجمۀ بموقع، مهم است که تمام فرایند با رعایت مقدار فضا و زمان، کافی باشد. برای مثال، وقتی عبارات منظم تفسیر شده اند و برای تولید کد در زمان اجرا استفاده می شوند، یک ماشین حالت متناهی غیرقطعی، اغلب به جای ماشین قطعی تولید می شود. زیرا معمولاً غیرقطعی، سریعتر ایجاد می‌شود و فضای حافظه کمتری از قطعی اشغال می کند. بااینکه به طور کلی کد کافی کمتری تولید می کند، تولید کد بموقع می‌تواند از شکل دادن اطلاعات که فقط در زمان اجرا در دسترس است، فایده ببرد.