Abstrakt. Trädautomata med ett minne infördes 2001. De generaliserar både pushdown (ord) automata och trädautomata med begränsningar av jämlikhet mellan bröder i Bogaert och Tison. Även om den har ett decimedable tomhet problem, den främsta svagheten med denna modell är dess brist på goda stängningsegenskaper. Vi föreslår en generalisering av den synbart pushdown automata av Alur och Madhusudan till en familj av träd kännare som bär längs deras (bottom-up) beräkning en extra obundna minne med en trädstruktur (i stället för en symbol stack). Med andra ord, dessa kännare, kallas synligt Tree Automata med minne (VTAM) definiera en underklass av träd automata med ett minne njuta av Booleska stängning egenskaper. Vi visar i synnerhet att de kan definieras och att problemen som tomhet, inkludering och universalitet är avgörande för VTAM. Dessutom föreslår vi en förlängning av VTAM, vars övergångar kan begränsas av strukturella jämlikhets- och ojämlikhetstester mellan minnen, och visar att denna förlängning bevarar de goda stängnings- och decisionsegenskaperna.
Därför använder vi här den nyligen föreslagna klassen av så kallade synbart trädautomata med minne, synlighet och strukturella begränsningar.
Tree Automata with Memory, Visibility and Structural Constraints
{'venue': 'in &quot;Proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS’07', 'journal': None, 'mag_field_of_study': ['Computer Science']}