ИСТИНА

Для трансдьюсеров, работающих над полугруппами, были разработаны разные методы минимизации. Для их применения требуется, чтобы полугруппа, над которой работают трансдьюсеры, удовлетворяла ряду условий. Нас интересует вопрос о том, насколько представителен класс полугрупп, для которых применимы эти методы. В данной заметке показано, как можно решить задачу минимизации трансдьюсеров, работающих над конечными префиксными языками. Из материалов статьи В.А. Захарова, предложенной для представления на этой конференции, следует, что именно этот класс трансдьюсеров целесообразно использовать для решения задач моделирования и анализа поведения детерминированных двухленточных автоматов.