Applications of an infinite squarefree CO-CFL

  • Michael G. Main
  • Walter Bucher
  • David Haussler
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 194)


Context-free languages repetitions pumping lemmas syntactic monoids locally linear languages 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. (1).
    J.M. Autebert, L. Boasson and G. Cousineau, A note on l-locally linear languages, Information and Control 37(1978), 1–4.CrossRefGoogle Scholar
  2. (2).
    J.M. Autebert, J. Beauquier, L. Boasson and M. Nivat, Quelques problems ouverts en theorie des languages algebriques, RAIRO Informatique theorique / Theoretical Informatics 13 (1979) 4, 363–378.Google Scholar
  3. (3).
    J.M. Autebert, J. Beauquier, L. Boasson and M. Latteux, Very small families of algebraic nonrational languages, in Formal Language Theory: Perspectives and Open Problems (R. Book, Ed.), Academic Press (1980), New York, 89–108.Google Scholar
  4. (4).
    L. Boasson, Un critere de rationalite des lanages algebriques, in: International Conference on Automata and Programming Languages, (M. Nivat, ed.), (North-Holland, 1972), 359–365.Google Scholar
  5. (5).
    C.H. Braunholtz, Solution to problem 5030, Am. Math. Mo. 70 (1963), 675–676.Google Scholar
  6. (6).
    W. Bucher, A. Ehrenfeucht and D. Haussler. On Total Regulators Generated by Derivation Relations, pre-publication manuscript.Google Scholar
  7. (7).
    A. Cobham Uniform tag sequences, Math. Sys. Theory 6 (1972), 164–191.CrossRefGoogle Scholar
  8. (8).
    A. Ehrenfeucht, R. Parikh and G. Rozenberg, Pumping lemmas for regular sets, SIAM J. of Computing 10, 1981.Google Scholar
  9. (9).
    M. Harrison, Introduction to Formal Language Theory, Addison-Wesley, Reading, MA., (1978), 36–40.Google Scholar
  10. (10).
    G.A. Hedlund, Remarks on the work of Axel Thue on sequences, Nord. Mat. Tidskr. 16 (1967), 148–150. MR 37 (1959), #4454.Google Scholar
  11. (11).
    J.E. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley, Reading, MA., 1979.Google Scholar
  12. (12).
    M.G. Main, Permutations are not context-free: an application of the interchange lemma, IPL (1982), 68–71.Google Scholar
  13. (13).
    M.G. Main, An infinite squarefree co-CFL, IPL, to appear.Google Scholar
  14. (14).
    J.F. Perrot, Introduction aux monoides syntactiques des langages algebriques, in: Languages Algebriques (J.P. Crestin and M. Nivat, eds), (1973), p. 167–222.Google Scholar
  15. (15).
    P.A.B. Pleasants, Nonrepetitive sequences, Proc. Cambridge Phil. Soc. 68 (1970), 267–274.Google Scholar
  16. (16).
    A. Thue, Uber unendliche Zeichenreihen, Norske Videnskabers Selskabs Skrifter Mat.-Nat. Kl. (Kristiania) (1906), Nr. 7, 1–22.Google Scholar
  17. (17).
    A. Thue, Uber die gegenseitige Lage gleicher Teile gewisser Zeichenreihen, Norske Videnskabers Selskabs Skrifter Mat.-Nat. Kl. (Kristiania) (1912), Nr. 1, 1–67.Google Scholar
  18. (18).
    A.P.J. van der Walt, Locally linear families of languages, Information and Control 32(1976), 27–32.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Michael G. Main
    • 1
  • Walter Bucher
    • 2
  • David Haussler
    • 3
  1. 1.Department of Computer ScienceUniversity of ColoradoBoulderUSA
  2. 2.Intitutes for Information ProcessingTechnical University of GrazGrazAUSTRIA
  3. 3.Department of Mathematics and Computer ScienceUniversity of DenverDenverUSA

Personalised recommendations