Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions

The aim of this paper is to design the polynomial construction of a finite recognizer for hairpin completions of regular languages. This is achieved by considering completions as new expression operators and by applying derivation techniques to the associated extended expressions called hairpin expressions. More precisely, we extend partial derivation of regular expressions to two-sided partial derivation of hairpin expressions and we show how to deduce a recognizer for a hairpin expression from its two-sided derived term automaton, providing an alternative proof of the fact that hairpin completions of regular languages are linear context-free.Comment: 28 page

Understanding mixed sequence DNA recognition by novel designed compounds: the kinetic and thermodynamic behavior of azabenzimidazole diamidines

Sequence-specific recognition of DNA by small organic molecules offers a potentially effective approach for the external regulation of gene expression and is an important goal in cell biochemistry. Rational design of compounds from established modules can potentially yield compounds that bind strongly and selectively with specific DNA sequences. An initial approach is to start with common A·T bp recognition molecules and build in G·C recognition units. Here we report on the DNA interaction of a synthetic compound that specifically binds to a G·C bp in the minor groove of DNA by using an azabenzimidazole moiety. The detailed interactions were evaluated with biosensor-surface plasmon resonance (SPR), isothermal calorimetric (ITC), and mass spectrometry (ESI-MS) methods. The compound, DB2277, binds with single G·C bp containing sequences with subnanomolar potency and displays slow dissociation kinetics and high selectivity. A detailed thermodynamic and kinetic study at different experimental salt concentrations and temperatures shows that the binding free energy is salt concentration dependent but essentially temperature independent under our experimental conditions, and binding enthalpy is temperature dependent but salt concentration independent. The results show that in the proper compound structural context novel heterocyclic cations can be designed to strongly recognize complex DNA sequences

Factorizations and Universal Automaton of omega Languages

In this paper, we extend the concept of factorization on finite words to ω-rational languages and show how to compute them. We define a normal form for Büchi automata and introduce a universal automaton for Büchi automata in normal form. We prove that, for every ω-rational language, this Büchi automaton, based on factorization, is canonical and that it is the smallest automaton that contains the morphic image of every equivalent Büchi automaton in normal form

The reuse of biosolids on agricultural land: Critical issues and perspective

The sludge management represents a considerable amount of operational costs for wastewater treatment plants (WWTPs). Issues concerning the treatment and the recovery/disposal of biosolids are gaining importance especially in Lombardy region, where the biosolid landspreading on agricultural soils is a very common practice. The aim of this work was to evaluate the results obtained from a survey carried out on the biosolids/sludge, derived from WWTPs, ingoing to and outgoing from the STPs (sludge treatment plants-authorized for the treatment on behalf of third parties) located in Pavia Province. Moreover, the characterization of agricultural soils that receive the biosolids is carried out. Furthermore, the whole biosolid management chain, from production to landspreading on agricultural soils, was studied, highlighting the critical issues based on the survey results. The results obtained suggested the following actions: (a) the reduction of sludge production in WWTPs; (b) a more "controlled" production in terms of biosolid qualitative characteristics; (c) better "selection" of the sludge ingoing to STPs; and (d) more effective actions to control the "response" of the agricultural soils. Furthermore, full compliance with the best spreading practices on the soils is required, as well as a better use of agronomic skills to obtain a higher resource valorization. PRACTITIONER POINTS: In this work, the characteristics of biosolid spread in agricultural soils in Pavia Province were analyzed. The minimization of sludge production in WWTPs is encouraged in order to reduce critical issues related to biosolid management. The stabilization process in WWTPs should improve in order to obtain a better quality sludge. A better "selection" of the sludge ingoing to STPs and a more effective monitoring of the agricultural soils are encouraged

Quantitative languages defined by functional automata

A weighted automaton is functional if any two accepting runs on the same finite word have the same value. In this paper, we investigate functional weighted automata for four different measures: the sum, the mean, the discounted sum of weights along edges and the ratio between rewards and costs. On the positive side, we show that functionality is decidable for the four measures. Furthermore, the existential and universal threshold problems, the language inclusion problem and the equivalence problem are all decidable when the weighted automata are functional. On the negative side, we also study the quantitative extension of the realizability problem and show that it is undecidable for sum, mean and ratio. We finally show how to decide whether the language associated with a given functional automaton can be defined with a deterministic one, for sum, mean and discounted sum. The results on functionality and determinizability are expressed for the more general class of functional weighted automata over groups. This allows one to formulate within the same framework new results related to discounted sum automata and known results on sum and mean automata. Ratio automata do not fit within this general scheme and specific techniques are required to decide functionality. © 2012 Springer-Verlag.SCOPUS: cp.kinfo:eu-repo/semantics/publishe