Slide 1- Vasvi Kakkad Slide 2 Formal - Tool for mathematical analysis of language Method for precisely designing language Well formed model for describing…