Note on the Lower Bounds of Bimachines
Stefan Gerdjikov · arXiv (Cornell University) · 2018
This is a brief note on the lower bound of bimachines. Particularly, we report that there is a class of functional transducers with $O(n)$ states that do not admit a bimachine with fewer than $Θ(2^n)$ states.