علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
زبان صوری
یک زبان صوری formula_1 بر روی یک الفبای formula_2 عبارت است از یک زیرمجموعه از formula_3.• An Introduction to Formal Languages and Automata، Peter Linz