Original: Formal languages are studied in computer science and linguistics ; the field of formal language theory studies the purely syntactical aspects of such languages ( that is , their internal structural patterns ) .
Simplified: In mathematics , logic , and computer science , a formal language is a language that is defined in a precise mathematical way .