Using FSM equations in various applications

There are a number of publications when given a context and a specification, we are required to describe a behavior of a component of a discrete event system that combined with the context satisfies the specification. The problem is formalized as solving an equation over appropriate mathematical machines. In the paper, we discuss some problems that can be reduced to solving an equation over finite state machines.