Made with
ConceptDraw
DIAGRAM 14

FSM — Finite-state Machine

A “finite-state machine” is also known to be called “finite automaton”, “finite-state automaton” or simply a “state machine”, being a “mathematical model of computation”. Being an abstract machine in exactly one of a finite number of states at some given time. The finite-state machine is known for being able to change from being in one particular state to another, doing it in response to some external inputs. Such change from one state to another is known to be called a “transition”. Any finite-state machine can be defined by its initial state, a list of its states and the conditions for each of the existing transitions.

The behaviour of any of the state machines can be checked by using many different devices in order to perform a pre-determined sequence of different actions, which may depend on a sequence of different events which they are presented with. The examples of the finite-state machine may be the vending machines, dispensing products once the proper combination of the coins is deposited. The elevators may be also a very good example of the finite-state machine, or FSM. The sequence of stops all the elevators make can be determined by the quantity of the floors requested by its riders. The traffic lights may be another example of the finite-state machines changing their sequence every time the cars have to wait stopping. All the combination locks require the input of the combination of the different numbers in some definite, proper order, that’s why they are a good example of the FSM as well.

The finite state machine is known to be having less computational power comparing to some other models of computation, for example, the so called “Turing machine”. The mentioned “computational power distinction” may mean there are the computational tasks that each Turing machine can do, but which a FSM one can not. The reason for this is a FSM's memory being quite limited by the number of the states which it has. The finite-state machines are known to be studied in the more general field of the so called “automata theory”. The complete action's information is never described in the table, but it can only be added by using the so called “footnotes”. A FSM definition is always possible by using the so called “state tables”.

The Unified Modelling Language has a notation for describing state machines. UML state machines are known to be introducing the new concepts of the so called “hierarchically nested states” as well as “orthogonal regions” during the process of extending the so called “notion of actions”. UML state machines have the characteristics of both “Mealy machines” and so called “Moore machines”, known to be supporting the actions depending on the triggering event as well as on the state of the system, as well as entry and exit actions, which are associated with states rather than transitions.

The Specification and Description Language is a standard from ITU. It includes numerous graphical symbols for describing different actions in the transition – for example, to send an event, to start a timer, to cancel a timer, to receive an event, to start another state machine, etc. There are many different variants used for representing a FSM, knowing to be significant in many different areas, including electrical engineering, computer science, mathematics, philosophy, biology, logic, linguistics, etc. One of the classes of the automata studied in the so called “automata theory” as well as the “theory of computation” is a finite state machine, widely used in computer science for modeling the application behaviour, for designing different hardware digital systems, as well as used in software engineering, network protocols, the study of computation, languages and compilers.

It is possible to subdivide the finite state machines into acceptors, classifiers, transducers and sequencers. The acceptors are also known to be called as “recognizers and sequence detectors”, producing the binary output and indicating if received input is accepted or not. Each of the possible states of any FSM is either "not accepting" or "accepting". As long as all input is received, in case its current state is an accepting one, then the input is known to be “accepted”. And vice versa, in case its current state is a rejecting one, then it is known to be “rejected”. As a general rule, any input is a sequence of symbols and actions are not normally used.

A set of the mentioned symbol sequences is known to be called as a “regular language”, but only in case there is some finite state machine that accepts exactly that set. For example, the set of binary strings with an even number of zeroes is a regular language, while the set of all strings which length is a prime number is not a regular language. A machine can be described as the one containing a string, which is accepted by the mentioned machine, but not the rejected ones. Thus, that language is known to be "accepted" by the machine, called the “regular languages”. Any language is known to be called as “regular” in case there is some finite-state machine accepting it. An instance of the algebraic path problem is determining the language which was accepted by a so called “finite state acceptor”. It is itself simply a generalization of the shortest path problem to graphs with edges which are weighted by the elements of a semi-ring.

To create FMS diagram, all you need is ConceptDraw DIAGRAM diagramming and drawing software. It is always better, though, to have a Specification and Description Language (SDL) Solution from ConceptDraw STORE application to simplify your work with drawing any FMS related drawings any complexity as the mentioned solution offers the pre-made examples as well as the stencil libraries with the design elements that all can be used while working in ConceptDraw DIAGRAM

FSM — Finite-state Machine *

Example 1. Finite State Machine (FSM) Diagram

Finite state machines are widely used in systems engineering, system design, in developing computer programs and sequential logic circuits. Specification and Description Language (SDL) Solution offers all needed tools for designing without efforts. These are the SDL Connnectors and SDL Diagrams libraries which contain numerous predesigned vector objects, collection of FSM and SDL samples represented in ConceptDraw STORE.

Specification and Description Language (SDL) Solution in ConceptDraw STORE

Example 2. Specification and Description Language (SDL) Solution in ConceptDraw STORE

All samples included in Specification and Description Language (SDL) Solution are well thought-out and professionaly designed. You can choose any desired of them from ConceptDraw STORE, it will be automatically opened in ConceptDraw DIAGRAM Then you are able to change some details in it or use the sample as the base for your own FSM diagram.

SDL Architecture

Example 3. SDL Architecture

The samples you see on this page were created in ConceptDraw DIAGRAM software using the tools of Specification and Description Language (SDL) Solution. First of them demonstrates the Finite State Machine (FSM) diagram, the second represents the SDL architecture and describes the processes within the sub-blocks also with help of finite state machines. An experienced user spent 10-20 minutes creating each of these samples.

Use the Specification and Description Language (SDL) Solution for ConceptDraw DIAGRAM software to create your own professional looking FSM and SDL diagrams fast, easy and effective.

All source documents are vector graphic documents. They are available for reviewing, modifying, or converting to a variety of formats (PDF file, MS PowerPoint, MS Visio, and many other graphic formats) from the ConceptDraw STORE. The Specification and Description Language (SDL) Solution is available for all ConceptDraw DIAGRAM users.




TEN RELATED HOW TO's:

Process Flow Diagram Symbols →

Chemical and Process Engineering solution contains variety predesigned process flow diagram elements relating to instrumentation, containers, piping and distribution necessary for chemical engineering, and can be used to map out chemical processes or easy creating various Chemical and Process Flow Diagrams in ConceptDraw DIAGRAM.Process Flow Diagram Symbols
Picture: Process Flow Diagram Symbols
Related Solution:

How To Draw Building Plans →

Architectural drawing allows to show the location of a building or ensemble of buildings on the ground, indicating the cardinal points. For centuries, people had been studying architecture in universities to learn how to draw building plans and now everyone can do it easily just using appropriate software. While developing the building plan, its graphic part, you can display the part of the floor or the entire floor of a building with an indication of the exact location of the drawn premise. Small-sized apartments does not restrict the advanced interior design opportunities. Here is a detailed and precise floor plan of a pretty small apartment. A furniture objects are added to show possible interior of this home. This plan can be used to help somebody with a floor layout and furniture arrangement. Having this floor plan in a pocket while shopping would be useful to check if there is enough rooms for a new furniture.How To Draw Building Plans
Picture: How To Draw Building Plans
Related Solution:

Interior Design. Registers, Drills and Diffusers — Design Elements →

Still concerned about fire safety in your establishment? Be sure that all the necessary elements like registers, drills and diffusers are present on your plan. Otherwise, you have to put them on it immediately. Here you can see the Registers, Drills and Diffusers library that contains vector graphical objects depicting various, drills, diffusers and registers that are used in HVAC systems and reflected ceilings. ConceptDraw had solutions designed to support both. You can use it to create effortlessly Reflected Ceiling plans, HVAC plans and other interior design and building plans related issues. ConceptDraw DIAGRAM provides a complete set of tools for creating graphical documents in compliance with all requirements of modern design of technical documentation.Interior Design. Registers, Drills and Diffusers — Design Elements *
Picture: Interior Design. Registers, Drills and Diffusers — Design Elements
Related Solution:

Work Flow Chart →

What is a Work Flow Chart? It is a chart which visually displays the step-by-step transferring of data, documents and tasks during the work. ConceptDraw DIAGRAM extended with Workflow Diagrams solution from the Business Processes area of ConceptDraw Solution Park is the best software for drawing the Work Flow Chart of any complexity.Work Flow Chart *
Picture: Work Flow Chart
Related Solution:

Sequence Diagram for Cloud Computing →

One of the ways effectively visualize what is a Cloud computing or Cloud computing architecture, is to create the Sequence diagram for Cloud computing. The ConceptDraw DIAGRAM diagramming and vector drawing software enhanced with Cloud Computing Diagrams solution from the Computers and Network area of ConceptDraw Solution Park will help you design all desired types of diagrams related with cloud computing.Sequence Diagram for Cloud Computing *
Picture: Sequence Diagram for Cloud Computing
Related Solution:

Workflow Diagram Symbols →

A competent delegation of responsibilities between workers guarantees business success in most cases. At first sight, it might seem that workflow diagram symbols are quite similar to a regular flowchart. But workflow diagram is a more accurate way to present working processes. Workflow diagrams are helpful for a working process analyzation, to depict a pathway of process issues, personalize responsibilities and identify resources that will help to optimize a workflow. Generally, Workflow diagram deploys flowchart symbols for displaying work process steps and relationships. But, often it require some additions and improvements to become more professional and illustrative. The Workflow solution for ConceptDraw DIAGRAM provides the user with a big library of symbols that are designed especially for workflow diagrams.Workflow Diagram Symbols *
Picture: Workflow Diagram Symbols
Related Solution:

Flowchart Components →

The ConceptDraw Flowchart component includes a set of samples and templates. This geathered as flowchart maker toolbox which focused on drawing flowcharts of any industry standards.Flowchart Components
Picture: Flowchart Components
Related Solution:

Concept Maps →

As concept map consists from conception-blocks and links between them, you can use ConceptDraw library objects and add to a document as much objects as you need. ConceptDraw tools let you to edit, group, move objects, change their appearance and add text signs and raster or vector pictures. ConceptDraw DIAGRAM diagramming and vector drawing software extended with Concept Maps Solution from the "Diagrams" Area is effective tool for creating professional looking Concept Maps.Concept Maps *
Picture: Concept Maps
Related Solution:
ConceptDraw
DIAGRAM 14