Abstrakt. Vi introducerar klassen av Strig träd Automata (RTA), en förlängning av standard bottom-up automata på rankade träd med framstående stater som kallas stel. Strikta tillstånd definierar en begränsning av beräkningen av RTA på träd: RTA kan testa för jämlikhet i delträd som når samma stela tillstånd. RTA kan utföra lokala och globala tester av jämlikhet mellan delträd, icke-linjära trädmönstermatchning, och begränsade tester av ojämlikhet också. Egenskaper som determinism, pumpa lemma, booleanska stängning, och flera beslutsproblem studeras i detalj. I synnerhet är tomheten problemet visas deciderbar i linjär tid för RTA, medan medlemskap i ett givet träd till språket i en given RTA är NP-fullständig. Vårt huvudsakliga resultat är att det går att avgöra om ett givet träd hör till omskrivningen av ett RTA-språk under en begränsad familj av omskrivningssystem, medan denna stängning inte är ett RTA-språk. Detta resultat, en av de första om skriva stängning av språk av trädautomata med begränsningar, möjliggör förlängning av modellkontroll förfaranden baserade på ändliga trädautomata tekniker. Slutligen, en jämförelse av RTA med flera klasser av trädautomata med lokala och globala jämlikhetstester, och med dag automata finns också.
Språken i Tagc och trädautomata med lokal jämlikhet och bristande kvalitet är ojämförliga (se t.ex. Om det inte finns några uppgifter som tyder på att det finns en risk för att det finns en risk för att det uppstår en allvarlig risk för en allvarlig störning, ska den behöriga myndigheten i den medlemsstat där den behöriga myndigheten har sitt säte underrätta den behöriga myndigheten i den medlemsstat där den behöriga myndigheten har sitt säte om detta.
Rigid tree automata
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}