Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation