Abstrakt. Vi överväger problemet med att utvärdera i streaming (dvs. i ett enda vänster-till högerpass) ett nästäppt ordöverföring med en begränsad mängd minne. En transduktion T sägs vara höjdbegränsat minne (HBM) om det kan utvärderas med ett minne som endast beror på storleken på T och höjden på ingångsordet. Vi visar att det är decidable i coNPTime för en näst ordet transduction definieras av en synbart pushdown givare (VPT), om det är HBM. I detta fall kan den mängd minne som krävs bero exponentiellt på ordets höjd. Vi uppvisar ett tillräckligt, decidable villkor för en VPT att utvärderas med ett minne som beror kvadratiskt på höjden av ordet. Detta villkor definierar en klass av transduktioner som strikt innehåller alla determinizable VPTs.
Filiot, Gauwin, Reynier och Servais REF visar att två stora underklasser av synliga tryckgivare (VPT) kan strömmas med minne endast beroende på höjden på det orankade ingångsträdet och på givare.
Streamability of nested word transductions
{'venue': 'Logical Methods in Computer Science, Volume 15, Issue 2 (April 4, 2019) lmcs:5348', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}