Cancellation, pumping and permutation in formal languages

  • Antonio Restivo
  • Christophe Reutenauer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 172)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    M. Blattner,M. Latteux, Parikh-bounded languages, 8-th Int. Colloquium on Automata, Languages and Programming, Acre (Israel), Lecture notes in Computer Science 115 (1981) 316–323.Google Scholar
  2. [2]
    A. Ehrenfeucht,R. Parikh,G. Rozenberg, Pumping lemmas for regular sets, SIAM J. of Computing 10 (1981) 536–541.Google Scholar
  3. [3]
    S.Eilenberg, Automata, languages and machines, Vol.A, Academic Press (1974).Google Scholar
  4. [4]
    M.Harrison, Introduction to formal language theory, Addison-Wesley (1978).Google Scholar
  5. [5]
    K. Culik,A. Salomaa, Test set and checking words for homomorphisms equivalence, J.Comp.System Science 19 (1980) 379–395.Google Scholar
  6. [6]
    M.Lothaire, Combinatorics on words, Addison-Wesley (1983).Google Scholar
  7. [7]
    A.Restivo,C.Reutenauer, On the Burnside problem for semigroups, J.of Algebra (to appear).Google Scholar
  8. [8]
    A.Restivo,C.Reutenauer, Some applications of a theorem of Shirshov to language theory, Information and Control (to appear).Google Scholar
  9. [9]
    A.Restivo,C.Reutenauer, On cancellation properties of languages which are support of rational power series, J. of Computer and System Science (to appear).Google Scholar
  10. [10]
    L.H.Rowen, Polynomial identities in ring theory, Academic Press (1980).Google Scholar
  11. [11]
    A.Salomaa, Formal power series in noncommuting variables, Proc. Scandinavian Math. Congress, Aarhus 1980, Prog.Math. 11 (1981).Google Scholar
  12. [12]
    A.Salomaa,M.Soittola, Automata theoretic aspects of formal power series, Springer Verlag (1978).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Antonio Restivo
    • 1
  • Christophe Reutenauer
    • 2
  1. 1.Istituto di MatematicaUniversità di PalermoPalermoItaly
  2. 2.LITP Institut de ProgrammationParis

Personalised recommendations