Solving classes of set constraints with tree automata

1997 ◽  
pp. 62-76 ◽  
Author(s):  
P. Devienne ◽  
J M. Talbot ◽  
S. Tison
Keyword(s):  
Tree Automata ◽  
Set Constraints

Solving systems of set constraints using tree automata

1993 ◽  
pp. 505-514 ◽  
Author(s):  
Rémi Gilleron ◽  
Sophie Tison ◽  
Marc Tommasi
Keyword(s):  
Tree Automata ◽  
Set Constraints

Multiple Regularity and Binary ETOL-Systems1

1981 ◽  
Vol 4 (1) ◽  
pp. 19-34
Author(s):  
Ryszard Danecki
Keyword(s):  
Equivalence Problem ◽  
Tree Automata ◽  
Closure Properties ◽  
Multiple Tree

Closure properties of binary ETOL-languages are investigated by means of multiple tree automata. Decidability of the equivalence problem of deterministic binary ETOL-systems is proved.

Some Structural Properties of Systolic Tree Automata

1989 ◽  
Vol 12 (4) ◽  
pp. 571-585
Author(s):  
E. Fachini ◽  
A. Maggiolo Schettini ◽  
G. Resta ◽  
D. Sangiorgi
Keyword(s):  
Structural Properties ◽  
Stability Problem ◽  
Sufficient Condition ◽  
Tree Automata ◽  
Necessary And Sufficient Condition ◽  
The Stability ◽  
Necessary And Sufficient

We prove that the classes of languages accepted by systolic automata over t-ary trees (t-STA) are always either equal or incomparable if one varies t. We introduce systolic tree automata with base (T(b)-STA), a subclass of STA with interesting properties of modularity, and we give a necessary and sufficient condition for the equivalence between a T(b)-STA and a t-STA, for a given base b. Finally, we show that the stability problem for T(b)-ST A is decidible.

scholarly journals X-ray properties of He ii λ 1640 emitting galaxies in VANDELS

2020 ◽  
Vol 496 (3) ◽  
pp. 3796-3807
Author(s):  
A Saxena ◽  
L Pentericci ◽  
D Schaerer ◽  
R Schneider ◽  
R Amorin ◽  
...  
Keyword(s):  
Formation Rate ◽  
Galactic Nuclei ◽  
X Ray ◽  
Star Forming ◽  
Set Constraints ◽  
Significant Difference ◽  
Low Metallicity ◽  
Matched Samples ◽  
X Ray Binaries

ABSTRACT We explore X-ray emission from a sample of 18 He ii λ1640 emitting star-forming galaxies at z ∼ 2.3–3.6 from the VANDELS survey in the Chandra Deep Field South, to set constraints on the role of X-ray sources in powering the He ii emission. We find that 4 He ii emitters have tentative detections with S/N ∼ 2 and have X-ray luminosities, LX = 1.5−4.9 × 1041 erg s−1. The stacked luminosity of all 18 He ii emitters is 2.6 × 1041 erg s−1, and that of a subset of 13 narrow He ii emitters (FHWM(He ii) < 1000 km s−1) is 3.1 × 1041 erg s−1. We also measure stacked LX for non-He ii emitters through bootstrapping of matched samples, and find LX = 2.5 × 1041 erg s−1, which is not significantly different from LX measured for He ii emitters. The LX per star formation rate for He ii emitters (log (LX/SFR) ∼ 40.0) and non-emitters (log (LX/SFR) ∼ 39.9) are also comparable and in line with the redshift evolution and metallicity dependence predicted by models. Due to the non-significant difference between the X-ray emission from galaxies with and without He ii, we conclude that X-ray binaries or weak or obscured active galactic nuclei are unlikely to be the dominant producers of He ii ionizing photons in VANDELS star-forming galaxies at z ∼ 3. Given the comparable physical properties of both He ii emitters and non-emitters reported previously, alternative He ii ionizing mechanisms such as localized low-metallicity stellar populations, Pop-III stars, etc. may need to be explored.

Sign in / Sign up

Export Citation Format

Share Document