One more property of array languages

  • Marek Ejsmont
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 215)


We exhibit an array language which is accepted by a non-deterministic finite automaton A /without pebbles/ and which is logspace complete for the class of array languages accepted by Turing machines in logarithmic space. It follows, that if there exists any deterministic automaton with a finite number of pebbles which accepts the same language as O-pebble automaton A then NL = L.


Finite Automaton Deterministic Finite Automaton Input Tape Logarithmic Space Horizontal Side 
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. [BH 67]
    Blum, M. and C. Hewitt: Automata on 2-dimensional tape. — In: Proc. 8 th IEEE Symp. Switching Theory, 1967, 155–160.Google Scholar
  2. [CW 78]
    Cook, C. R. and P. S. P. Wang: A Chomsky hierarchy of isotonic array grammars and languages. — In: Comp. Graphics Image Processing 8, 1978, 144–152.Google Scholar
  3. [Ej 84a]
    Ejsmont, M.: Problems in labyrinth decidable by pebble automata. Elektron. Informationsverarb. u. Kybernetik 12 (1984), 623–632.Google Scholar
  4. [Ej 84b]
    Ejsmont, M.: Array languages acceptable in logarithmic space. submitted to Information and Control, 1984.Google Scholar
  5. [Jo 75]
    Jones, N. D.: Space bounded reducibility among combinatorial problems. J. Comput. System Sci. 11 (1975), 62–85.Google Scholar
  6. [MR 71]
    Miligram, D. L. and A. Rosenfeld: Array automata and array grammars. — In: Proc. IFIP Congres 71, Ljubljana, Yugosl., Aug. 23–28, 1971. — Amsterdam: North-Holland Pub. Comp., 1972, 166–173.Google Scholar
  7. [Ro 76]
    Rosenfeld, A.: Some notes on finite-state picture languages. Inform. Control 29 (1976), 177–184.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Marek Ejsmont
    • 1
  1. 1.Faculty of Applied Physics and MathematicsTechnical University of GdańskGdanskPoland

Personalised recommendations