Iterative arrays (IAs) are a parallel computational model with a sequential processing of the input. They are one-dimensional arrays of interacting identical deterministic finite automata. In this paper, realtime-IAs with sublinear space bounds are used to accept formal languages. The existence of an infinite proper hierarchy of space complexity classes between logarithmic and linear space bounds is proved. Some decidability questions on logarithmically space bounded realtime-IAs are investigated. Furthermore, an optimal space lower bound for non-regular language recognition on realtime-IAs is shown.

Sublinearly space bounded iterative arrays / A. Malcher, C. Mereghetti, B.S. Palano - In: Automata and Formal Languages / [a cura di] E. Csuhaj-Varjú, Z. Ésik. - Budapest : Hungarian Academy of Science, 2008. - ISBN 9789633113677. - pp. 1-10 (( Intervento presentato al 12. convegno Automata and Formal Languages tenutosi a Balatonfured nel 2008.

Sublinearly space bounded iterative arrays

C. Mereghetti
Secondo
;
B.S. Palano
Ultimo
2008

Abstract

Iterative arrays (IAs) are a parallel computational model with a sequential processing of the input. They are one-dimensional arrays of interacting identical deterministic finite automata. In this paper, realtime-IAs with sublinear space bounds are used to accept formal languages. The existence of an infinite proper hierarchy of space complexity classes between logarithmic and linear space bounds is proved. Some decidability questions on logarithmically space bounded realtime-IAs are investigated. Furthermore, an optimal space lower bound for non-regular language recognition on realtime-IAs is shown.
Iterative arrays; cellular automata; space bounded computations; decidability questions; formal languages; theory of computation
Settore INF/01 - Informatica
2008
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
afl08.pdf

accesso riservato

Tipologia: Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione 130.58 kB
Formato Adobe PDF
130.58 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/53446
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact