@inproceedings{20a47fe05e924866966711308d6a5f04,
title = "Two-way two-tape automata",
abstract = "In this article we consider two-way two-tape (alternating) automata accepting pairs of words and we study some closure properties of this model. Our main result is that such alternating automata are not closed under complementation for non-unary alphabets. This improves a similar result of Kari and Moore for picture languages. We also show that these deterministic, non-deterministic and alternating automata are not closed under composition.",
keywords = "Alternating, Complementation, Multi-tape automata",
author = "Olivier Carton and L{\'e}o Exibard and Olivier Serre",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 21st International Conference on Developments in Language Theory, DLT 2017 ; Conference date: 07-08-2017 Through 11-08-2017",
year = "2017",
month = jan,
day = "1",
doi = "10.1007/978-3-319-62809-7\_10",
language = "English",
isbn = "9783319628080",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "147--159",
editor = "Emilie Charlier and Julien Leroy and Michel Rigo",
booktitle = "Developments in Language Theory - 21st International Conference, DLT 2017, Proceedings",
}