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 |

Continue