Each ICDFA was tested for synchronizability and then for each synchronizing automaton its reset length was calculated. For these ... Calculations organized this way took less than a day of running a small size computer grid based on a number of AMD Opteron 2.6 GHz processors. ... Semigroup Forum 37, 31a36 ( 1988) 11.
|Title||:||Mathematical Foundations of Computer Science 2010|
|Author||:||Petr Hlineny, Antonin Kucera|
|Publisher||:||Springer - 2010-08-14|