К описанию прогрессивных решений параллельного автоматного уравнения

Работа посвящена нахождению наибольшего прогрессивного решения параллельного автоматного уравнения $C\diamond X\simeq S$, где $C$ и $S$ – конечные полностью определенные автоматы, на основе удаления непрогрессивных последовательностей из наибольшего решения уравнения. Именно прогрессивные решения, в композиции которых с автоматом $C$ отсутствуют заведомо тупиковые ситуации, интересны с практической точки зрения.