| Publication type: |
 |
Conference proceedings |
|
| Subject: |
|
Computer Science/Other
|
|
| Title: |
|
Transductions Computed by Iterative Arrays |
|
| Author(s): |
|
Martin Kutrib ( ) 1, Andreas Malcher () 1 |
|
| Laboratory: |
|
|
|
| Abstract: |
|
Iterative arrays are one-dimensional arrays of interconnected interacting finite automata. The cell at the origin is equipped with a one-way read-only input tape. We consider iterative arrays as transducers. To this end, the cell at the origin is additionally equipped with a one-way write-only output tape. The families of transductions computed are classified with regard to the time allowed to compute the input and the output, respectively. In detail, the time complexities of real-time and linear-time are of particular interest, for which a proper hierarchy is shown. In the second part of the paper, iterative array transducers are compared with the conventional transducer models, namely, finite state transducers and pushdown transducers. It turns out that all deterministic variants can be simulated by iterative array transducers. Moreover, nondeterministic but unambiguous finite state transducers can be simulated as well. When considering time constraints, incomparability results to almost all families are derived. |
|
| Fulltext language: |
|
English |
|
| Production date: |
|
2010-11-12 |
|
|
| Book title: |
|
Proceedings of JAC 2010 |
|
| Audience: |
|
international |
|
| Publication date: |
|
2010-12-15 |
|
| Page, identifiant, ...: |
|
156-167 |
|
| Scientifics editor: |
|
TUCS |
|
|
| Conference or book title: |
|
Journées Automates Cellulaires 2010 |
|
| Conference date: |
|
2010-12-15 |
|
| Conference date (end): |
|
2010-12-17 |
|
| City: |
|
Turku |
|
| Country: |
|
Finland |
|
|
| Keyword(s): |
|
iterative arrays – transductions – finite state transducers – pushdown transducers |
|
| Classification: |
|
F.1.1; F.1.2; F.4.3 |
|
|
Export this paper
