BISIMULATION MINIMIZATION OF TREE AUTOMATA

2007 ◽  
Vol 18 (04) ◽  
pp. 699-713 ◽  
Author(s):  
PAROSH AZIZ ABDULLA ◽  
JOHANNA HÖGBERG ◽  
LISA KAATI

We extend an algorithm by Paige and Tarjan that solves the coarsest stable refinement problem to the domain of trees. The algorithm is used to minimize nondeterministic tree automata (NTA) with respect to bisimulation. We show that our algorithm has an overall complexity of [Formula: see text], where [Formula: see text] is the maximum rank of any symbol in the input alphabet, m is the total size of the transition table, and n is the number of states.

2013 ◽  
Vol 24 (06) ◽  
pp. 815-830 ◽  
Author(s):  
ARTUR JEŻ ◽  
ANDREAS MALETTI

Hyper-minimization is a recent automaton compression technique that can reduce the size of an automaton beyond the limits imposed by classical minimization. The additional compression power is enabled by allowing a finite difference in the represented language. The necessary theory for hyper-minimization is developed for (bottom-up) deterministic tree automata. The hyper-minimization problem for deterministic tree automata is reduced to the hyper-minimization problem for deterministic finite-state string automata, for which fast algorithms exist. The fastest algorithm obtained in this way runs in time [Formula: see text], where m is the size of the transition table and n is the number of states of the input tree automaton.


Farmers in dry regions of India have a high tendency for leaving their land fallow. To decipher this phenomenon, the study was carried out in the Tumkur district of the central dry zone of Karnataka. Results from the study revealed a positive relationship between the size of land holdings and land fallow. The major reason stated by farmers for leaving their fallow land was the scarcity of rainfall or irrigation, and poor land fertility status. The Tobit regression model was fitted to study the determinants of the decision of farmers to keep the arable land fallow, where, dependent variable considered was the share of fallow land in the total size of landholding of farm households. It was found that the availability of water for irrigation and family labour has a negative relationship with fallow land. Other factors determining the extent of fallow land were the distance of land from residences, poor land fertility status and availability of credit.


Author(s):  
Hooi-Leng Ser ◽  
Wen-Si Tan ◽  
Huey-Jia Cheng ◽  
Wai-Fong Yin ◽  
Kok-Gan Chan ◽  
...  

Microbacterium mangrovi strain MUSC 115T was isolated from intertidal sediments of Kuantan, Malaysia. Here we describe the draft genome of amylolytic strain MUSC 115T with total size of 4.4 Mbp from 55 contigs and G + C content of 70.0%. Total of 4,096 coding genes were observed, with 2 putative amylases genes in the draft genome of MUSC 115T. These genome features of MUSC 115T can improve our understanding of its starch-degrading mechanism and general physiology of the species, which provide opportunities for biotechnological and industrial exploitation.


Author(s):  
Richard Frankham ◽  
Jonathan D. Ballou ◽  
Katherine Ralls ◽  
Mark D. B. Eldridge ◽  
Michele R. Dudash ◽  
...  

Most species now have fragmented distributions, often with adverse genetic consequences. The genetic impacts of population fragmentation depend critically upon gene flow among fragments and their effective sizes. Fragmentation with cessation of gene flow is highly harmful in the long term, leading to greater inbreeding, increased loss of genetic diversity, decreased likelihood of evolutionary adaptation and elevated extinction risk, when compared to a single population of the same total size. The consequences of fragmentation with limited gene flow typically lie between those for a large population with random mating and isolated population fragments with no gene flow.


1981 ◽  
Vol 4 (1) ◽  
pp. 19-34
Author(s):  
Ryszard Danecki

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.


1989 ◽  
Vol 12 (4) ◽  
pp. 571-585
Author(s):  
E. Fachini ◽  
A. Maggiolo Schettini ◽  
G. Resta ◽  
D. Sangiorgi

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.


Viruses ◽  
2021 ◽  
Vol 13 (4) ◽  
pp. 690
Author(s):  
Ke Zhang ◽  
Wenzhi Liu ◽  
Yiqun Li ◽  
Yong Zhou ◽  
Yan Meng ◽  
...  

A new grass carp reovirus (GCRV), healthy grass carp reovirus (HGCRV), was isolated from grass carp in 2019. Its complete genome sequence was determined and contained 11 dsRNAs with a total size of 23,688 bp and 57.2 mol% G+C content, encoding 12 proteins. All segments had conserved 5' and 3' termini. Sequence comparisons showed that HGCRV was closely related to GCRV-873 (GCRV-I; 69.57–96.71% protein sequence identity) but shared only 22.65–45.85% and 23.37–43.39% identities with GCRV-HZ08 and Hubei grass carp disease reovirus (HGDRV), respectively. RNA-dependent RNA-polymerase (RdRp) protein-based phylogenetic analysis showed that HGCRV clustered with Aquareovirus-C (AqRV-C) prior to joining a branch common with other aquareoviruses. Further analysis using VP6 amino acid sequences from Chinese GCRV strains showed that HGCRV was in the same evolutionary cluster as GCRV-I. Thus, HGCRV could be a new GCRV isolate of GCRV-I but is distantly related to other known GCRVs. Grass carp infected with HGCRV did not exhibit signs of hemorrhage. Interestingly, the isolate induced a typical cytopathic effect in fish cell lines, such as infected cell shrank, apoptosis, and plague-like syncytia. Further analysis showed that HGCRV could proliferate in grass carp liver (L28824), gibel carp brain (GiCB), and other fish cell lines, reaching a titer of up to 7.5 × 104 copies/μL.


Author(s):  
Pu Liu ◽  
Wang Xiaojie ◽  
Dong Hongjie ◽  
Jianbin Lan ◽  
Kuan Liang ◽  
...  

Diaporthe spp. are critical plant pathogens that cause wood cankers, wilt, dieback, and fruit rot in a wide variety of economic plant hosts and are regarded as one of the most acute threats faced by kiwifruit industry worldwide. Diaporthe phragmitis strain NJD1 is a highly pathogenic isolate of soft rot of kiwifruit. Here, we present a high-quality genome-wide sequence of D. phragmitis NJD1 that was assembled into 28 contigs containing a total size of 58.33 Mb and N50 length of 3.55 Mb. These results lay a solid foundation for understanding host–pathogen interaction and improving disease management strategies.


Sign in / Sign up

Export Citation Format

Share Document