From Interaction to Formal Language 2