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