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:

Business Process Modeling Notation →

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).Business Process Modeling Notation *
Picture: Business Process Modeling Notation
Related Solution:

Interior Design. Office Layout Plan Design Element →

Sometimes, when it is difficult to create a functional space plan or to rearrange existing one, the art of interior design comes in. It doesn't matter, if you need a cozy bedroom or an office layout plan, you should use appropriate tools to make your design great. While making a floor plan of a new office it could be useful to apply some design elements such as furniture and office equipment. This diagram presents an office furniture objects that can be used for office interior design planning, or making office furniture and equipment layouts. This vector stencils library is supplied with ConceptDraw Office Layout Plans solution. It contains more then 30 vector objects of office interior for making office floor plans including an office space layout plans and furniture arrangement.Office Layout Plan Design Element
Picture: Interior Design. Office Layout Plan Design Element
Related Solution:

Local area network (LAN). Computer and Network Examples →

Computer networks nowadays are spread all across the world. The large number of parameters, such as geographic scale or communication protocols, can divide networks. One of the most common types of networks is called local area network (LAN). It convenient to represent network examples by means of diagrams. This local area network (LAN) diagram provides an easy way to see the way the devices in a local network are interacted. The diagram uses a library containing specific symbols to represent network equipment , media and the end-user devices such as computers (PC, mac, laptop) , network printer, hubs, server and finally a modem. There are two types of network topologies: physical and logical. The current diagram represents precisely a physical type of LAN topology because it refers to the physical layout of a local network equipment.Local area network (LAN) diagram
Picture: Local area network (LAN). Computer and Network Examples
Related Solution:

UML Class Diagram Example for GoodsTransportation System →

Class Diagram for Goods Transport System in UML. This sample was created in ConceptDraw DIAGRAM diagramming and vector drawing software using the UML Class Diagram library of the Rapid UML Solution from the Software Development area of ConceptDraw Solution Park. This sample shows the concept of working of the transport company and is used by transport companies, carriers at the transportation of various goods.UML Class Diagram Example for GoodsTransportation System *
Picture: UML Class Diagram Example for GoodsTransportation System
Related Solution:

Wireframe Examples →

ConceptDraw DIAGRAM is a powerful diagramming and vector drawing software. Extended with Website Wireframe solution from the Software Development area, ConceptDraw DIAGRAM became the ideal software for prototype and design professional looking websites wireframes. Website Wireframe solution offers at your disposal wide variety of wireframe examples and samples which confirm this.Wireframe Examples *
Picture: Wireframe Examples
Related Solution:

How to Draw Pictorial Chart. How to Use Infograms →

How to draw pictorial chart quick, easy and effective? ConceptDraw DIAGRAM offers the unique Pictorial Infographics Solution that will help you! Pictorial Infographics solution contains large number of libraries with variety of predesigned vector pictograms that allows you design infographics in minutes. There are available 10 libraries with 197 vector pictograms.How to Draw Pictorial Chart. <br> How to Use Infograms *
Picture: How to Draw Pictorial Chart. How to Use Infograms
Related Solution:

Fruit Art →

Fruits are unique products, they are beautiful and delicious, and look amazing in the compositions. Fruits are perfect for decorating various dishes, desserts and beverage. Each composition of fruits is a real fruit art! ConceptDraw DIAGRAM diagramming and vector drawing software extended with Food Court solution from the Food and Beverage area of ConceptDraw Solution Park perfectly suits for fruit art design and easy drawing attractive food and beverage illustrations.Fruit Art *
Picture: Fruit Art
Related Solution:

Geo Map - Africa →

Africa has 54 fully recognized sovereign states, 9 territories and two de facto independent states with limited or no recognition. Vector design elements library Africa contains country map contours, geographical maps, cartograms and thematic maps for ConceptDraw DIAGRAM diagramming and vector drawing software. To help visualize the business and thematic information connected with geographic areas, locations or customs. All ConceptDraw DIAGRAM documents are vector graphic files and are available for reviewing, modifying, and converting to a variety of formats: image, HTML, PDF file, MS PowerPoint Presentation, Adobe Flash, MS Visio (.VDX,.VSDX).Geo Map - Africa *
Picture: Geo Map - Africa
Related Solution:
ConceptDraw
DIAGRAM 14