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. MereghettiSecondo
;B.S. PalanoUltimo
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.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.