On some properties of local testability

  • Aldo de Luca
  • Antonio Restivo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 85)


Local Testability Testable Language Free Semigroup Factorization Line Bounded Synchronization 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Brzozowski, J.A. and I. Simon, Characterizations of locally testable events, Discrete Math., 4 (1973) 243–271.Google Scholar
  2. 2.
    de Luca, A. and A. Restivo, Synchronization and maximality for very pure subsemigroups of a free semigroup, Lectures Notes in Computer Science, vol. 74, Springer-Verlag (1979).Google Scholar
  3. 3.
    de Luca, A. and A. Restivo, A characterization of strictly locally testable languages and its application to subsemigroups of a free semigroup (1980), Information and Control (to appear).Google Scholar
  4. 4.
    Eilenberg, S., "Automata, Languages and Machines", Academic Press, New York, vol. A (1974), vol. B (1976)Google Scholar
  5. 5.
    Hashiguchi, K. and N. Honda, Properties of code events and homomorphisms over regular events, J.Comput. System Sci. 12 (1976) 352–367.Google Scholar
  6. 6.
    McNaughton, R., Algebraic decision procedures for local testability, Math. Systems Theory, 8 (1974) 60–76.Google Scholar
  7. 7.
    McNaughton, R. and S. Papert, "Counter-Free Automata", MIT Press, Cambridge, Mass 1971.Google Scholar
  8. 8.
    Restivo, A., On a questin of McNaughtion and Papert, Information and Control, 25 (1974) 93–101.Google Scholar
  9. 9.
    Restivo, A., A combinatorial property of codes having finite synchronization delay, Theoretical Computer Science, 1 (1975), 95–101.Google Scholar
  10. 10.
    Schützenberger, M.P., Une théorie algébrique du codage, Séminaire Dubreil-Pisot (Algebre et Théorie des nombres), exposé no. 15, 1955/1956, Paris.Google Scholar
  11. 11.
    Schützenberger, M.P., Sur certaines opérations de fermeture dans les langages rationnels, Symposia Mathematica XV (1975) 245–253.Google Scholar
  12. 12.
    Zalcstein, Y., Locally testable semigroups, Semigroup Forum, 5 (1973) 216–227.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Aldo de Luca
    • 1
  • Antonio Restivo
    • 1
  1. 1.Istituto di Cibernetica del CNR, Arco FeliceNapoliItaly

Personalised recommendations