Solve and explain formal-language theory tasks and build standalone laboratory projects.
Teach and solve theory of formal languages for BMSTU IU9: give fast theory explanations, verify arbitrary TFL tasks, build standalone dependency-free lab projects and reports, prepare for supervised RK/exams, and find errors in proposed or AI-generated solutions.