A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Polynomial-time algorithms for testing strong isomorphism and computing the automorphism group of R-strongly connected automata
1992
Theoretical Computer Science
Preserved Fulltext
Zhang, S., Polynomial-time algorithms for testing strong isomorphism and computing the automorphism group of R-strongly connected automata, Theoretical Computer Science 95 (1992) 263-277. An automaton A=(& Z, M) is said to be R-strongly connected if for every soS, R(s)=(r(s), Z, M,) is strongly connected, where r(s) = { M( , s x )I x EZ + } and M, is the map M restricted to r(s) x .X. The class of R-strongly connected automata includes strongly connected, permutation, group type,
doi:10.1016/0304-3975(92)90268-k
fatcat:hwlo5g455ram3g26pu7caaihsa