ConceptDraw
DIAGRAM 17

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

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.

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.

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:
In software engineering, a UML Class Diagrams is a type of static structure diagram that is used both for general conceptual modeling of the systematics of the application, and for detailed modeling translating the models into programming code. Use ConceptDraw DIAGRAM with UML class diagram templates, samples and stencil library from Rapid UML solution to show the classes of system, their attributes, operations or methods, and the relationships among the classes.
Picture: UML Class Diagrams. ConceptDraw DIAGRAM - Diagramming Software for Design UML Diagrams
Related Solution:
A circuit diagram or wiring diagram uses symbols to represent parts of a circuit. Electrical and electronic circuits can be complicated. Making a drawing of the connections to all the component parts in the circuit's load makes it easier to understand how circuit components are connected. Drawings for electronic circuits are called "circuit diagrams". Drawings for electrical circuits are called "wiring diagrams". 26 libraries of the Electrical Engineering Solution of ConceptDraw DIAGRAM make your electrical diagramming simple, efficient, and effective. You can simply and quickly drop the ready-to-use objects from libraries into your document to create the electrical diagram.
Picture: Electrical Symbols — Electrical Circuits
Related Solution:
It is important to have an electrical circuits scheme, when you plan a renovation or move to a new apartment. You have to arrange interior according to that plan, and it’s trouble-free to create wiring diagrams with ConceptDraw DIAGRAM , furthermore, this software has all the features needed to create an interior plan as well. So, get inspired by tons of examples included to ConceptDraw DIAGRAM solutions, and start your diagramming experience! A wiring diagrams, that are represented on this drawing was created to depict the components of the electrical circuit schemes. These diagrams are created to depict the information about circuit arrangements and connections. Wiring diagrams, in contrast to physical drawings, use standard symbol's notation to depict different circuit devices and connections. That is why, wiring diagrams are applied to discover and repair electrical and electronic circuits. The vector graphic objects provided by ConceptDraw Electrical Engineering solution can help any specialist in electric engineering to design electrical schemes, circuit and wiring plans, power systems charts, and Maintenance and Repair diagrams.
Picture: Wiring Diagrams with ConceptDraw DIAGRAM
Related Solution:
SIPOC is a tool that summarizes the inputs and outputs of one or more processes in table form. You need to draw professional looking SIPOC Diagram quick and easy? Pay please your attention on ConceptDraw DIAGRAM diagramming and vector drawing software. Extended with Business Process Mapping Solution from the Business Processes Area of ConceptDraw Solution Park, it suits ideal for this.
Picture: SIPOC Diagram
Related Solution:
Talking about software, one of the best diagramming and drawing ones is ConceptDraw DIAGRAM nowadays. Having the mentioned tool anyone can create the needed drawings, including the biomedical ones, within a short period of time as long as the appropriate solution is downloaded and installed. Having the Biomedicine solution that extends the ConceptDraw DIAGRAM vector diagramming application with the pre-made samples and stencil libraries can help to complete the tasks on time even though you have no experience in making the needed illustrations. Choosing any needed from 137 vector graphics icons from the Biomedicine solution may simplify the work of creating the great looking as well as smart and professional looking drawings within only a few minutes. Being based on the already previously created examples of the biomedical-related drawings, any ConceptDraw DIAGRAM user can make the unique ones getting a smart looking result.
Picture: Biomedical Technology
Related Solution:
UML Object Diagram shows the structure of a modeled system at a specific time. ConceptDraw Rapid UML solution delivers libraries contain pre-designed objects fit UML notation, and ready to draw professional UML Object Diagram.
Picture: Diagramming Software for Design UML Object Diagrams
Related Solution:
ConceptDraw DIAGRAM is a software for simplу depicting the business processes based on BPMN 2.0. Business Process Diagrams Cross-Functional-Flowcharts, Workflows, Process Charts, IDEF0 and IDEF2, Timeline, Calendars, Gantt Charts, Business Process Modeling, Audit and Opportunity Flowcharts and Mind Maps (presentations, meeting agendas).