State Machines

  1. Mathematical Foundations
    1. Formal Definition
      1. State Set
        1. Finite State Collections
          1. State Naming Conventions
          2. Input Alphabet
            1. Input Symbol Definition
              1. Input Encoding Methods
              2. Transition Function
                1. State-Input Mappings
                  1. Partial Functions
                    1. Total Functions
                    2. Initial State
                      1. Start State Selection
                        1. Reset Behavior
                        2. Final States
                          1. Accepting State Criteria
                            1. Language Recognition Applications
                            2. Output Alphabet
                              1. Output Symbol Sets
                                1. Output Encoding
                                2. Output Function
                                  1. State-Output Mappings
                                    1. Input-Output Mappings
                                      1. Output Timing Models

                                  Previous

                                  1. Introduction to State Machines

                                  Go to top

                                  Next

                                  3. Visual Representations