La finitude des représentations linéaires des semi-groupes est décidable

Brzozowski, 1973, Characterizations of locally testable events, Discrete Math., 4, 243, 10.1016/S0012-365X(73)80005-6 G. Jacob, Un théorème de factorisation des produits d'endomorphismes de KN, J. Algebra,àparaître. Jacob, 1977, On peut décider si un semi-groupe de matrices est fini, Theoretical Computer Sci., 5, 183, 10.1016/0304-3975(77)90006-8 Kaplansky, 1969, Fields and Rings McNaughton, 1974, Algebraic decision procedures for local testability, Math. Systems Theory, 8, 60, 10.1007/BF01761708 McNaughton, 1975, The Burnside theorem for semi-groups, J. Algebra, 34, 292, 10.1016/0021-8693(75)90184-2 Procesi, 1966, The Burnside problem, J. Algebra, 4, 421, 10.1016/0021-8693(66)90031-7 Schur, 1911, Über Gruppen periodischer Substitutionen, Sitzungsber. Preuss. Akad. Wiss., 619 Schutzenberger, 1965, On finite monoids having only trivial subgroups, Inform. Contr., 8, 190, 10.1016/S0019-9958(65)90108-7 Suprunenko, 1958 Suprunenko, 1963 Zalcstein, 1973, Locally testable semigroups, 5, 216 Zalcstein, 1973, Finiteness conditions for matrix semigroups, 38, 247 Zalcstein, 1973, Syntactic semigroups of some classes of star-free languages