5 citations · 9 across the 8 of their papers we have counts for
4 papers · 1 filter
Note on the Lower Bounds of Bimachines
Stefan Gerdjikov
This is a brief note on the lower bound of bimachines. Particularly, we report that there is a class of functional transducers with states that do not admit a bimachine with…
Space-Efficient Bimachine Construction Based on the Equalizer Accumulation Principle
Stefan Gerdjikov, Stoyan Mihov, Klaus U. Schulz
Algorithms for building bimachines from functional transducers found in the literature in a run of the bimachine imitate one successful path of the input transducer. Each single bi…
Characterisation of (Sub)sequential Rational Functions over a General Class Monoids
Stefan Gerdjikov
In this technical report we describe a general class of monoids for which (sub)sequential rational can be characterised in terms of a congruence relation in the flavour of Myhill-N…
Myhill-Nerode Relation for Sequentiable Structures
Stefan Gerdjikov, Stoyan Mihov
Sequentiable structures are a subclass of monoids that generalise the free monoids and the monoid of non-negative real numbers with addition. In this paper we consider functions $f…