> For the complete documentation index, see [llms.txt](https://infosys.selmotech.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://infosys.selmotech.com/selmo-solution/selmo-solution-en/selmo-how-it-works/selmo-training/chapter-1-the-theoretical-background/1.3-the-deterministic-finite-automaton.md).

# 1.3 The deterministic finite automaton

Mathematically speaking, the Selmo-SEQ is a **deterministic finite automaton (DFA)**.\
A DFA is a concept from computer science that has been used for decades in formal language analysis, compiler technology, and flow control.

It consists of:

* a **finite set of states**,
* a **start state**,
* **transition rules**, which define when to switch from one state to the next,
* and a **transition function**, which describes which signals or inputs trigger that change.

Selmo applies this principle to control engineering.\
The switching network (the “Sequence Engine”) plays the role of the automaton.\
The inputs come from sensors, pushbuttons, or computed signals.\
The outputs control actuators, valves, motors, or logical functions.

What is special about Selmo is that these transition rules are not arbitrary but **was standardized** are.\
They read:

**IF (AR = 1 AND ¬I AND ΣS = 0) THEN Next State**

This condition is universal.\
It means:

* **AR = 1:** The automatic release is active.
* **¬I:** There is no interlock (no safety fault).
* **ΣS = 0:** All ongoing actions (sequence checks) are satisfied.

Only when these three conditions apply simultaneously does the switching network proceed.\
This makes the process calculable, safe, and reproducible — the machine follows an exactly defined logic.


---

# Agent Instructions
This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com.

## Querying This Documentation
If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter, and the optional `goal` query parameter:

```
GET https://infosys.selmotech.com/selmo-solution/selmo-solution-en/selmo-how-it-works/selmo-training/chapter-1-the-theoretical-background/1.3-the-deterministic-finite-automaton.md?ask=<question>&goal=<endgoal>
```

`ask` is the immediate question: it should be specific, self-contained, and written in natural language.
`goal` is optional and describes the broader end goal you are ultimately trying to accomplish on behalf of the user. GitBook uses it to tailor the answer towards what is most useful for that goal.

The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.