Любой язык, который имеет четкие правила синтаксиса и семантики, например, математические языки, формальные языки программирования, логические языки и т. д., можно назвать формальным языком.