Abstract
Two equivalent sufficient conditions are given for the completeness of classes of finite automata with respect to the isomorphic simulation under the α 2 − ν 2-product. It is conjectured that these conditions are also necessary with respect to the isomorphic or homomorphic simulation too.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have