Input (grade 9): Formal languages are often used as the basis for richer constructs endowed with semantics.
Output (grade 12): A question often asked about formal languages is "how difficult is it to decide whether a given word belongs to a particular language?"