State Machines

  1. Advanced State Machine Models
    1. Hierarchical State Machines
      1. State Nesting
        1. Superstates
          1. Substates
            1. Hierarchical Decomposition
              1. State Inheritance
              2. Orthogonal Regions
                1. Concurrent Execution
                  1. Parallel State Machines
                    1. Synchronization Mechanisms
                    2. History States
                      1. Shallow History
                        1. Deep History
                          1. History State Applications
                          2. Entry and Exit Actions
                            1. Entry Action Execution
                              1. Exit Action Execution
                                1. Action Execution Order
                                2. Guard Conditions
                                  1. Boolean Guard Expressions
                                    1. Conditional Transitions
                                      1. Guard Evaluation
                                    2. Pushdown Automata
                                      1. Stack Operations
                                        1. Push Operations
                                          1. Pop Operations
                                            1. Peek Operations
                                            2. Stack Alphabet
                                              1. Context-Free Language Recognition
                                                1. Formal Definition
                                                  1. Acceptance Criteria
                                                    1. Empty Stack Acceptance
                                                      1. Final State Acceptance
                                                    2. Turing Machines
                                                      1. Infinite Tape Model
                                                        1. Tape Alphabet
                                                          1. Read-Write Head Operations
                                                            1. Halting States
                                                              1. Computability Theory Applications
                                                                1. Church-Turing Thesis

                                                              Previous

                                                              5. Finite State Transducers

                                                              Go to top

                                                              Next

                                                              7. Implementation Approaches