Precise Language, Formal Language, Domain-specific Language