Visibly Pushdown Languages over Sliding Windows

被引:0
|
作者
Ganardi, Moses [1 ]
机构
[1] Univ Siegen, Siegen, Germany
关键词
visibly pushdown languages; sliding windows; rational transductions;
D O I
10.4230/LIPIcs.STACS.2019.29
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We investigate the class of visibly pushdown languages in the sliding window model. A sliding window algorithm for a language L receives a stream of symbols and has to decide at each time step whether the suffix of length n belongs to L or not. The window size n is either a fixed number (in the fixed-size model) or can be controlled by an adversary in a limited way ( in the variable-size model). The main result of this paper states that for every visibly pushdown language the space complexity in the variable-size sliding window model is either constant, logarithmic or linear in the window size. This extends previous results for regular languages.
引用
收藏
页数:17
相关论文
共 50 条
  • [1] Congruences for visibly pushdown languages
    Alur, R
    Kumar, V
    Madhusudan, P
    Viswanathan, M
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2005, 3580 : 1102 - 1114
  • [2] On Visibly Pushdown Trace Languages
    Otto, Friedrich
    [J]. SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2015, 8939 : 389 - 400
  • [3] On the membership problem for visibly pushdown languages
    La Torre, Salvatore
    Napoli, Margherita
    Parente, Mimmo
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 96 - 109
  • [4] Regularity problems for visibly pushdown languages
    Bárány, V
    Löding, C
    Serre, O
    [J]. STACS 2006, PROCEEDINGS, 2006, 3884 : 420 - 431
  • [5] A grammatical representation of visibly pushdown languages
    Baran, Joachim
    Barringer, Howard
    [J]. LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, PROCEEDINGS, 2007, 4576 : 1 - +
  • [6] Visibly pushdown languages and term rewriting
    Chabin, Jacques
    Rety, Pierre
    [J]. FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2007, 4720 : 252 - +
  • [7] UNRESTRICTED AND DISJOINT OPERATIONS OVER MULTI-STACK VISIBLY PUSHDOWN LANGUAGES
    Bruda, Stefan D.
    Bin Waez, Tawhid
    [J]. ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, 2011, : 156 - 161
  • [8] The word problem for visibly pushdown languages described by grammars
    La Torre, Salvatore
    Napoli, Margherita
    Parente, Mimmo
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2007, 31 (03) : 265 - 279
  • [9] Rewriting of visibly pushdown languages for XML data integration
    Thomo, A.
    Venkatesh, S.
    [J]. THEORETICAL COMPUTER SCIENCE, 2011, 412 (39) : 5285 - 5297
  • [10] The AC0-Complexity of Visibly Pushdown Languages
    Goeller, Stefan
    Grosshans, Nathan
    [J]. 41ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, STACS 2024, 2024, 289