- How can I prove that the output sequence of Mealy Moore Machine is a Regular Language ?
- And what if transition outputs more than one character ? How can we prove for this case that the language in (1) and (2) are same ?
Can I do something like this -
The right side one is Mealy Machine. So can I prove like making a machine in left with transitions using output sequence of Mealy Machine ?