- #1
Wallboy
- 4
- 0
I'm reading about automata theory and am currently at the part about what a FSA can recognize and what it cannot. They use the example of some language: {0n1n | n ≥ 0} which an FSA cannot be built for.
When I first started learning about state machines before reading into theory of computation was from the Mealy/Moore models where we can have outputs associated with each state.
So my question is, could you not have an output associated with the first state such that every time it would see a 0, an output signal would be generated to increment some external counter, so that when the machine finally does see a 1, it jumps to the next state and uses that counter information to know how many 1's to repeat?
I'm guessing I am jumping ahead and adding more power to the 5-tuple description of what a FSA really is?
When I first started learning about state machines before reading into theory of computation was from the Mealy/Moore models where we can have outputs associated with each state.
So my question is, could you not have an output associated with the first state such that every time it would see a 0, an output signal would be generated to increment some external counter, so that when the machine finally does see a 1, it jumps to the next state and uses that counter information to know how many 1's to repeat?
I'm guessing I am jumping ahead and adding more power to the 5-tuple description of what a FSA really is?