noun
formal language
Technical term in computer science, logic, and linguistics for a language defined by precise syntactic rules, often without inherent meaning.
形式言語は、プログラミング言語の理論的基盤として研究されている。
Formal languages are studied as the theoretical foundation of programming languages.
正規表現は、ある種の形式言語を記述するために使われる。
Regular expressions are used to describe a certain kind of formal language.