On the Minimization of Finite State Trans- ducers over Semigroups
Finite state transducers over semigroups are regarded as a formal model of sequential reactive programs that operate in the interaction with the environment. At receiving a piece of data a program performs a sequence of actions and displays the current result. Such programs usually arise at implemen...
Saved in:
| Main Authors: | V. A. Zakharov, G. G. Temerbekova |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2016-12-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/411 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
On the Minimization Problem for Sequential Programs
by: Vladimir A. Zakharov, et al.
Published: (2017-08-01) -
Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines
by: Vladimir A. Zakharov
Published: (2020-09-01) -
Weak*-closed invariant subspaces and ideals of semigroup algebras on foundation semigroups
by: B. Mohammadzadeh
Published: (2014-03-01) -
Isomorphisms of semigroups of transformations
by: A. Sita Rama Murti
Published: (1983-01-01) -
Derivations on Certain Semigroup Algebras
by: M. Lashkarizadeh Bami
Published: (2007-12-01)