We study the space complexity of querying regular languages over data streams in the sliding window model. The algorithm has to answer at any point of time whether the content of the sliding window belongs to a fixed regular language. A trichotomy is shown: For every regular language the optimal space requirement is either in Theta(n), Theta(log(n)), or constant, where $n$ is the size of the sliding window.
@InProceedings{ganardi_et_al:LIPIcs.FSTTCS.2016.18, author = {Ganardi, Moses and Hucke, Danny and Lohrey, Markus}, title = {{Querying Regular Languages over Sliding Windows}}, booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)}, pages = {18:1--18:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-027-9}, ISSN = {1868-8969}, year = {2016}, volume = {65}, editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.18}, URN = {urn:nbn:de:0030-drops-68539}, doi = {10.4230/LIPIcs.FSTTCS.2016.18}, annote = {Keywords: streaming algorithms, regular languages, space complexity} }
Feedback for Dagstuhl Publishing