Answer
{λ,0} ∪ {$0^m1^n$ | m ≥ 1, n ≥ 1}
Work Step by Step
The language recognized by the given final state automation will be
-{λ,0} ∪ {$0^m1^n$ | m ≥ 1, n ≥ 1}
You can help us out by revising, improving and updating this answer.
Update this answerAfter you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.