مرجع کلمات و اصطلاحات اختصاری

زبرینه یا سوپریمُم (supremum) همچنین...

در تئوری محاسبات، اتوماتون تعین‌ناپذیر...

ماشین خودکار قطعی کراندار...