Formal grammars for modeling discrete systems?

Question

Discrete Math

Good day, no one knows any articles about the formal modeling of discrete systems, it does not matter if they are foreign or not. And if not, then maybe someone can suggest the use of this method in automation, computer technology, computer science

Answer 1

"Discrete system" is a broad concept.
For example, a cellular automaton .
For example, a finite state machine .
Can you be a little more specific?

application of this method in automation, computer technology, informatics

The most obvious are emulators.