Формальные языки изучаются в информатике и лингвистике; Теория формального языка изучает чисто синтаксические аспекты таких языков (то есть их внутренние структурные паттерны).
В математике, логике и информатике формальный язык - это язык, который определяется точным математическим способом.