38 research outputs found
Serializing the Parallelism in Parallel Communicating Pushdown Automata Systems
We consider parallel communicating pushdown automata systems (PCPA) and
define a property called known communication for it. We use this property to
prove that the power of a variant of PCPA, called returning centralized
parallel communicating pushdown automata (RCPCPA), is equivalent to that of
multi-head pushdown automata. The above result presents a new sub-class of
returning parallel communicating pushdown automata systems (RPCPA) called
simple-RPCPA and we show that it can be written as a finite intersection of
multi-head pushdown automata systems
On the Size Complexity of Non-Returning Context-Free PC Grammar Systems
Improving the previously known best bound, we show that any recursively
enumerable language can be generated with a non-returning parallel
communicating (PC) grammar system having six context-free components. We also
present a non-returning universal PC grammar system generating unary languages,
that is, a system where not only the number of components, but also the number
of productions and the number of nonterminals are limited by certain constants,
and these size parameters do not depend on the generated language
Accepting splicing systems with permitting and forbidding words
Abstract: In this paper we propose a generalization of the accepting splicingsystems introduced in Mitrana et al. (Theor Comput Sci 411:2414?2422,2010). More precisely, the input word is accepted as soon as a permittingword is obtained provided that no forbidding word has been obtained sofar, otherwise it is rejected. Note that in the new variant of acceptingsplicing system the input word is rejected if either no permitting word isever generated (like in Mitrana et al. in Theor Comput Sci 411:2414?2422,2010) or a forbidding word has been generated and no permitting wordhad been generated before. We investigate the computational power ofthe new variants of accepting splicing systems and the interrelationshipsamong them. We show that the new condition strictly increases thecomputational power of accepting splicing systems. Although there areregular languages that cannot be accepted by any of the splicing systemsconsidered here, the new variants can accept non-regular and even non-context-free languages, a situation that is not very common in the case of(extended) finite splicing systems without additional restrictions. We alsoshow that the smallest class of languages out of the four classes definedby accepting splicing systems is strictly included in the class of context-free languages. Solutions to a few decidability problems are immediatelyderived from the proof of this result
CONSIDERATIONS ON OBTAINING VARIOUS TYPES OF PELLETS FROM DIFFERENT TYPES OF BIOMASS
Materials with lignocellulosic structure (wood, straws, sawdust, etc.) representimportant energy resources. Their main disadvantage consists in the fact that they have very low density, which leads to difficulties in the process of handling, transport, storage, respectively increased production costs. Besides this, high variations of humidity in the material can generate difficulties in the operation and adjustment of processes within the installations where they are used. These drawbacks can be improved by drying and compacting (densification) the material at very high pressures, thus obtaining wood biofuels with a uniform structure, such as pellets. The paper presents the process of compacting different types of biomass in the form of pellets, using a reduced scale pelleting machine
The Ascomycete Verticillium longisporum Is a Hybrid and a Plant Pathogen with an Expanded Host Range
Hybridization plays a central role in plant evolution, but its overall importance in fungi is unknown. New plant pathogens are thought to arise by hybridization between formerly separated fungal species. Evolution of hybrid plant pathogens from non-pathogenic ancestors in the fungal-like protist Phytophthora has been demonstrated, but in fungi, the most important group of plant pathogens, there are few well-characterized examples of hybrids. We focused our attention on the hybrid and plant pathogen Verticillium longisporum, the causal agent of the Verticillium wilt disease in crucifer crops. In order to address questions related to the evolutionary origin of V. longisporum, we used phylogenetic analyses of seven nuclear loci and a dataset of 203 isolates of V. longisporum, V. dahliae and related species. We confirmed that V. longisporum was diploid, and originated three different times, involving four different lineages and three different parental species. All hybrids shared a common parent, species A1, that hybridized respectively with species D1, V. dahliae lineage D2 and V. dahliae lineage D3, to give rise to three different lineages of V. longisporum. Species A1 and species D1 constituted as yet unknown taxa. Verticillium longisporum likely originated recently, as each V. longisporum lineage was genetically homogenous, and comprised species A1 alleles that were identical across lineages
A Naturally Unique Scholar: Solomon Marcus - a Man Who Was Never Bored
Algorithms and the Foundations of Software technolog