نظرية المماثلات (automate theory)

نظرية المماثلات مجموعة من القواعد تنظم عمليات الحاسوب طبقاً لمماثلات نظرية لهذه العمليات.