A '''formális nyelv''' a [[matematika]], a [[matematikai logika|logika]] és aaz [[informatika]] számára egy véges [[ábécé (informatika)|ábécéből]] generálható, véges hosszúságú szavak (például [[karakter]] [[string]]ek, jelsorozatok) [[halmaz]]a, amelyekkel a ''formális nyelvek elmélete'' foglalkozik. (Más kontextusban, mint például jog vagy politika, a ''formális nyelv'' kifejezés alatt egy, a napi beszédtől eltérő, udvarias, megfontolt, körülíró jellegű, túlzottan modoros kifejezési módot értenek. Jelen cikkben a formális nyelvet a formális nyelvek elmélete szerint értjük, és minden esetben szigorúan csak írott nyelvről beszélünk, ezért a jelsorozat elemei megjeleníthető, nyomtatható karakterek.)