On one FSM Class with a Polynomial Number of States in Observable Form

This work is devoted to the description of some property of a finite state machine (FSM), which allows one to speak about polynomial number of states in observable form of a FSM. The observable form is an essential part of the vast variety of methods for testing and optimization of systems, based on FSM model.