EF+EX Forest Algebras
نویسندگان
چکیده
We examine languages of unranked forests definable using the temporal operators EF and EX. We characterize the languages definable in this logic, and various fragments thereof, using the syntactic forest algebras introduced by Bojanczyk and Walukiewicz. Our algebraic characterizations yield efficient algorithms for deciding when a given language of forests is definable in this logic. The proofs are based on understanding the wreath product closures of a few small algebras, for which we introduce a general ideal theory for forest algebras. This combines ideas from the work of Bojanczyk and Walukiewicz for the analogous logics on binary trees and from early work of Stiffler on wreath product of finite semigroups.
منابع مشابه
A pr 2 00 9 TWO - WAY UNARY TEMPORAL LOGIC OVER TREES
We consider a temporal logic EF + F −1 for unranked, unordered finite trees. The logic has two operators: EFϕ, which says " in some proper descendant ϕ holds " , and F −1 ϕ, which says " in some proper ancestor ϕ holds ". We present an algorithm for deciding if a regular language of unranked finite trees can be expressed in EF + F −1. The algorithm uses a characterization expressed in terms of ...
متن کاملForest Algebras, ω-Algebras and A Canonical Form for Certain Relatively Free ω-Algebras
Forest algebras are defined for investigating languages of forests [ordered sequences] of unranked trees, where a node may have more than two [ordered] successors [9]. We show that several parameters on forests can be realized as forest algebra homomorphisms from the free forest algebra into algebras which retain the equational axioms of forest algebras. This includes the number of nodes, the n...
متن کاملAnxiolytic effects of herbal ethanol extract from Gynostemma pentaphyllum in mice after exposure to chronic stress.
In this study, the effects of herbal ethanol extracts of Gynostemma pentaphyllum (GP-EX), on chronic electric footshock (EF) stress-induced anxiety disorders were investigated in mice, which were orally treated with GP-EX (30 mg/kg and 50 mg/kg) once a day for 14 days, followed by exposure to EF stress (2 mA, with an interval and duration of 10 s for 3 min). After the final exposure to EF stres...
متن کاملIndependent Effects of Forest Cover and Fragmentation on the Distribution of Forest Breeding Birds
The aims o f this study were ( 1 ) to determine the relative importance o f the independent effects o f forest cover and fragmentation on the distribution o f forest breeding birds, and ( 2 ) to test the hypothesis that the negative ef fect o f forest fragmentation on species distribution increases with decreasing forest cover, i.e., the negative interaction ef fect o f forest cover and fragmen...
متن کاملEffects of Eucalyptus Plantation on Termites in Dead Wood on the Forest Floor
Expansion of Eucalyptus plantation is considered to be one of the major human disturbances to tropical forests, where termites are superabundant and an important decomposer. Here we studied the biomass of dead wood and the abundance and species composition of termites in dead wood in Eucalyptus plantation forest (EF) in Thailand and compared the data with those of the neighboring dry evergreen ...
متن کامل