مبانی نظریه محاسبات (نظریه زبانها و ماشینها) نویسنده کریستوز پاپادیمیترو هری لویس ترجمه حسن تفضلی فاطمه آقایی
