Consider the FA M1 given below: b q1 q2 a. Explain, i.e., describe, what is the language recognized by M1. (Aim for a description that clearly outlines the constraints of the language, e.g., L(M:) = {...

Extracted text: Consider the FA M1 given below: b q1 q2 a. Explain, i.e., describe, what is the language recognized by M1. (Aim for a description that clearly outlines the constraints of the language, e.g., L(M:) = { x is a string over {alphabet}| x fulfills constraint A and constraint B and.) b. Consider strings ba, aba, abbb, ɛ. Which ones are accepted by M1? Show the configuration traces of strings in L(M1). (Remember to use proper notation to showcase the trace of the different strings)