What is the meaning of the v and w columns in a finite state machine example?

Click For Summary
SUMMARY

The discussion centers on the interpretation of the v and w columns in a finite state machine (FSM) defined as M = (S, ℓ, wp, v, ω), where S = {S0, S1, S2} and ℓ = ω = {0, 1}. The v column represents the next state function, v: S × ℓ → S, determining the subsequent state based on the current state and input. The w column serves as the output function, w: S × ℓ → wp, indicating the output produced for each state and input combination. The user expresses confusion over the specific transitions and outputs detailed in the state table.

PREREQUISITES
  • Understanding of finite state machines (FSM)
  • Familiarity with state transition diagrams
  • Knowledge of input-output functions in automata theory
  • Basic concepts of mathematical functions and mappings
NEXT STEPS
  • Study the formal definitions of finite state machines in automata theory
  • Review state transition tables and their construction
  • Examine examples of FSMs with varying input and output functions
  • Learn about the implications of state transitions in real-world applications
USEFUL FOR

This discussion is beneficial for students studying computer science, particularly those focusing on automata theory, as well as educators and professionals seeking to clarify the concepts of state machines and their functions.

prevail
Messages
17
Reaction score
0
Okay, I'm having trouble understanding a finite state machine example in my book. It's a state table for the machine M = (S, \ell, \wp, v , \omega) where S = {S0, S1, S2}, \ell = \omega = {0,1}.

Please check out the attachment:smile: What i don't understand is the v and \omega column... Why is row S0; S0 in "0" and S1 in "1", and row S2; 0 in "0" and 1 in "1"?

Is this just made up or something? :-p
 

Attachments

  • finitestatemachine.jpg
    finitestatemachine.jpg
    40.5 KB · Views: 450
Last edited:
Physics news on Phys.org
Given a state and an input, isn't v supposed to tell you where to go next? And similarly w tells you what you're supposed to output?
 
yeah, that's right! In my textbook it says that:

v: S X \ell -> S is the next state function
w: S X \ell -> \wp is the output function.. but i still don't get it :(


Hmm, my attachment is still pending. I've found the same example here :
http://www.cis.uoguelph.ca/~sawada/2910/notes/fsm-1x2.pdf (check out page 3)
 
Last edited by a moderator:

Similar threads

Replies
9
Views
3K
  • · Replies 4 ·
Replies
4
Views
7K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
5K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K