Thread: Algorithmic state machine Truth Table equations?

  1. #1
    Registered User
    Join Date
    Jan 2011

    Algorithmic state machine Truth Table equations?

    ok so im afraid o ask this hear but i have gone to every book i could find in 2 different libraries and asked everyone that i could get my hands on who knows anything about this sort of stuff and googled th question a million different ways and just cant find anything. i know this is a programming forum but as a beginner i have received so much help here i was hoping you guys could do it for me again and this related to programming kinda.

    anyways so i have this truth table for an algorithmic state machine with 2 states (present and next), 3-inputs (xyz), and 3-outputs (jkl) and the last part of all this is derive some boolean equations from this "Truth table" and im just lost can some please tell me how i can get these equations???

    Thank you soo much, going on 3 days trying to figure out this last problem just need a nudge in the right direction
    and if there is away to upload a jpg. of the truth table i can post that up to but i dont know how to do that :/ but for no i got a link if you want to take a look at.

    again thank you

  2. #2
    Registered User
    Join Date
    Nov 2010
    Long Beach, CA
    I think you might be misinterpreting the chart a bit. The way I read it, you are given a set of input conditions (X, Y, Z values), a state transition chart (the previous and next state columns), and an list of output, give the current state and input. I think what you are after is basically a Mealy machine. The Symbol number, next to the A, B, C columns (or NA, NB, NC) is the state number (S0, S1, etc), corresponding to one of the circles on a Mealy diagram.

    Let's look at the first row. It describes one rule: when you are in state (A, B, C) = (0, 0, 0), and you receive input (X, Y, Z) = (0, *, *), you transition to state (NA, NB, NC) = (0, 0, 1) and the outputs are (J, K, L) = (1, 0, 1). I think the N in NA just means Next, as in on the next iteration, (A, B, C) = (0, 0, 1).

    EDIT: In a slightly more programming way, this would be expressed as "If X == 0 && A == 0 && B == 0 && C == 0 then NA = 0, NB = 0, NC = 1, J = 1, K = 0, L = 1".

    So you may want to put these values into a chart to make a Karnaugh map. You will have as "inputs" X, Y, Z, A, B and C since those six values determine the next state and output. You will want to allow for all combinations of X, Y, Z, A, B and C (2^6 = 64), even though many of them are "don't care" values, so you can properly draw your boxes on the K-map.

Popular pages Recent additions subscribe to a feed

Similar Threads

  1. NAQ: Everything you never wanted to know about CPP
    By evildave in forum C Programming
    Replies: 21
    Last Post: 12-12-2005, 10:56 AM
  2. Porting from 32 bit machine to 64 bit machine!
    By anoopks in forum C Programming
    Replies: 10
    Last Post: 02-25-2005, 08:02 PM
  3. Finite State Machine Project Help
    By ryanbradley in forum C++ Programming
    Replies: 4
    Last Post: 03-06-2004, 10:23 AM
  4. Designing State Machine
    By axon in forum Tech Board
    Replies: 3
    Last Post: 11-06-2003, 12:13 PM
  5. progarm doesnt compile
    By kashifk in forum Linux Programming
    Replies: 2
    Last Post: 10-25-2003, 06:54 PM

Tags for this Thread

Website Security Test