Abstrakt. I detta papper presenterar vi Regular XPath (RXPath), som är en naturlig förlängning av XPath med regelbundna uttryck över vägar som har samma beräkningsegenskaper som XPath: linjär-tid frågebedömning och exponentiellt-tid resonemang. För att fastställa dessa resultat utformar vi en enhetlig automatisk-teoretisk ram baserad på tvåvägs svag alternerande trädautomata. Speciellt anser vi automata som har oändliga körningar på ändliga träd. Detta gör det möjligt för oss att utnyttja och förenkla befintliga automatiska-teoretiska maskiner och utveckla algoritmer både för frågeutvärdering och för resonemang över frågor. När det gäller det senare problemet, anser vi RXPath som en begränsning språk, och studera begränsning tillfredsställande, och fråga tillfredsställande och inneslutning under begränsningar i inställningen av RXPath.
Linjärtid frågeutvärdering för Regelbunden XPath REF använder alternerande träd-automata.
An Automata-Theoretic Approach to Regular XPath ⋆
{'venue': 'DBPL', 'journal': None, 'mag_field_of_study': ['Computer Science']}