|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Equivalence checking problem for finite state transducers over semigroupsдоклад на конференции
- Автор: Zakharov V.A.
- Международная Конференция : 6th International Conference on Algebraic Informatics
- Даты проведения конференции: 3 сентября 2015
- Дата доклада: 3 сентября 2015
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Штутгарт, Germany
-
Аннотация доклада:
Finite state transducers over semigroups can be regarded as a formal model of sequential reactive programs. In this paper we introduce a uniform technique for checking effectively functionality, k-valuedness, equivalence and inclusion for this model of computation in the case when a semigroup these transducers operate over is embeddable in a decidable group.
- Добавил в систему: Захаров Владимир Анатольевич