RAIRO-Theor. Inf. Appl.
Volume 54, 2020
|Number of page(s)||23|
|Published online||10 April 2020|
Linear automata with translucent letters and linear context-free trace languages*
Department of Mathematics, Faculty of Arts and Sciences, Eastern Mediterranean University,
North Cyprus, Via Mersin-10, Turkey.
2 Fachbereich Elektrotechnik/Informatik, Universität Kassel, 34109 Kassel, Germany.
** Corresponding author: firstname.lastname@example.org
Accepted: 18 February 2020
Linear automata with translucent letters are studied. These are finite-state acceptors that have two heads that read the input from opposite sides and for which a set of translucent letters is associated with each state. Thus, head 1, which proceeds from left to right, does not necessarily read the first letter of the current tape content, but it skips a prefix that consists of translucent letters only and reads the first letter after that prefix. Analogously, head 2, which proceeds from right to left, does not necessarily read the last letter, but it skips a suffix that consists of translucent letters only and reads the last letter before that. After such a read operation, the head always returns to its corresponding end of the tape. These linear automata with translucent letters are a generalization of the finite-state acceptors with translucent letters that were studied by the authors in B. Nagy and F. Otto [Finite-state acceptors with translucent letters. In BILC 2011, Proc., edited by G. Bel-Enguix, V. Dahl, and A.O. De La Pente, SciTePress, Portugal (2011) 3-13.] It is shown that these linear automata are strictly more expressive than the model with a single head, but that they still only accept languages that have a semi-linear Parikh image. On the other hand, we obtain a characterization for the class of linear context-free trace languages in terms of a specific class of linear automata with translucent letters.
Mathematics Subject Classification: 68Q45
Key words: Linear automaton / translucent letter / linear context-free trace language
© EDP Sciences, 2020
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.