Iterated uniform finite-state transducers

A deterministic iterated uniform finite-state transducer (for short, iufst) operates the same length-preserving transduction on several left-to-right sweeps. The first sweep occurs on the input string, while any other sweep processes the output of the previous one. We focus on constant sweep bounded iufsts. We study their descriptional power vs. deterministic finite automata, and the state cost of implementing language operations. Then, we focus on non-constant sweep bounded iufsts, showing a nonregular language hierarchy depending on sweep complexity

CAPOEIRA E EXTENSÃO UNIVERSITÁRIA: PERCURSOS, DIÁLOGOS E DESAFIOS

This article presented an experience report regarding an Extension project developed at the State University of Minas Gerais - UEMG since 2018. For organization purposes, the text is divided into three equally important ones. The first will deal, succinctly, with impressions and subjective experiences with capoeira. In this part, in addition to the relevant academic knowledge, the author's route as a master of the art will be presented. In the following part, a brief analysis of the various conceptions of university extension will be carried out. Finally, in the third part, a narrative will be treated about the author's experience as project coordinator for more than five years at UEMG.Este artículo presentó un relato de experiencia sobre un proyecto de Extensión desarrollado en la Universidad del Estado de Minas Gerais - UEMG desde 2018. Para fines de organización, el texto se divide en tres igualmente importantes. El primero tratará, sucintamente, de impresiones y experiencias subjetivas con la capoeira. En esta parte, además de los conocimientos académicos pertinentes, se presentará el recorrido del autor como maestro del arte. En la siguiente parte se realizará un breve análisis de las diversas concepciones de la extensión universitaria. Finalmente, en la tercera parte, se tratará una narración sobre la experiencia del autor como coordinador de proyectos durante más de cinco años en la UEMG.Neste artigo apresentamos um relato de experiência a respeito de um projeto de Extensão desenvolvido na Universidade do Estado de Minas Gerais – UEMG desde o ano de 2018. Para fins de organização, o texto está dividido em três partes igualmente importantes. A primeira tratará, de forma sucinta, das impressões e experiências subjetivas com a capoeira. Nessa parte, além dos saberes acadêmicos pertinentes, será apresentada a trajetória do autor como mestre da arte. Na parte seguinte, será realzada uma breve análise das diversas concepções de extensão universitária. Por fim, na terceira parte, será tratada uma narrativa a respeito dessa experiência do autor como coordenador do projeto por mais de cinco anos, na Universidade do Estado de Minas Gerais - UEMG

Bounded Languages Meet Cellular Automata with Sparse Communication

Cellular automata are one-dimensional arrays of interconnected interacting finite automata. We investigate one of the weakest classes, the real-time one-way cellular automata, and impose an additional restriction on their inter-cell communication by bounding the number of allowed uses of the links between cells. Moreover, we consider the devices as acceptors for bounded languages in order to explore the borderline at which non-trivial decidability problems of cellular automata classes become decidable. It is shown that even devices with drastically reduced communication, that is, each two neighboring cells may communicate only constantly often, accept bounded languages that are not semilinear. If the number of communications is at least logarithmic in the length of the input, several problems are undecidable. The same result is obtained for classes where the total number of communications during a computation is linearly bounded

On Measuring Non-Recursive Trade-Offs

We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their growth rate, and show how to deduce such bounds in general. We also identify criteria which, in the spirit of abstract language theory, allow us to deduce non-recursive tradeoffs from effective closure properties of language families on the one hand, and differences in the decidability status of basic decision problems on the other. We develop a qualitative classification of non-recursive trade-offs in order to obtain a better understanding of this very fundamental behaviour of descriptional systems

Counter Machines and Distributed Automata: A Story about Exchanging Space and Time

We prove the equivalence of two classes of counter machines and one class of distributed automata. Our counter machines operate on finite words, which they read from left to right while incrementing or decrementing a fixed number of counters. The two classes differ in the extra features they offer: one allows to copy counter values, whereas the other allows to compute copyless sums of counters. Our distributed automata, on the other hand, operate on directed path graphs that represent words. All nodes of a path synchronously execute the same finite-state machine, whose state diagram must be acyclic except for self-loops, and each node receives as input the state of its direct predecessor. These devices form a subclass of linear-time one-way cellular automata.Comment: 15 pages (+ 13 pages of appendices), 5 figures; To appear in the proceedings of AUTOMATA 2018

In vitro protective effect and antioxidant mechanism of Resveratrol induced by Dapsone Hydroxylamine in human cells

Dapsone (DDS) hydroxylamine metabolites cause oxidative stress- linked adverse effects in patients, such as methemoglobin formation and DNA damage. This study evaluated the ameliorating effect of the antioxidant resveratrol (RSV) on DDS hydroxylamine (DDSNHOH) mediated toxicity in vitro using human erythrocytes and lymphocytes. The antioxidant mechanism was also studied using in-silico methods. In addition, RSV provided intracellular protection by inhibiting DNA damage in human lymphocytes induced by DDS-NHOH. However, whilst pretreatment with RSV (10-1000 μM significantly attenuated DDS-NHOH-induced methemoglobinemia, but it was not only significantly less effective than methylene blue (MET), but also post-treatment with RSV did not reverse methemoglobin formation, contrarily to that observed with MET. DDS-NHOH inhibited catalase (CAT) activity and reactive oxygen species (ROS) generation, but did not alter superoxide dismutase (SOD) activity in erythrocytes. Pretreatment with RSV did not alter these antioxidant enzymes activities in erythrocytes treated with DDS-NHOH. Theoretical calculations using density functional theory methods showed that DDS-NHOH has a pro-oxidant effect, whereas RSV and MET have antioxidant effect on ROS. The effect on methemoglobinemia reversion for MET was significantly higher than that of RSV. These data suggest that the pretreatment with resveratrol may decrease heme-iron oxidation and DNA damage through reduction of ROS generated in cells during DDS therapy

Topological defects and Goldstone excitations in domain walls between ferromagnetic quantum Hall effect liquids

It is shown that the low-energy spectrum of a ferromagnetic quantum Hall effect liquid in a system with a multi-domain structure generated by an inhomogeneous bare Zeeman splitting $\epsilon_{Z}$ is formed by excitations localized at the walls between domains. For a step-like $\epsilon_Z(r)$, the domain wall spectrum includes a spin-wave with a linear dispersion and a small gap due to spin-orbit coupling, and a low-energy topological defects. The latter are charged and may dominate in the transport under conditions that the percolation through the network of domain walls is provided.Comment: 4 pages, 1 fi

Anisotropic splitting of intersubband spin plasmons in quantum wells with bulk and structural inversion asymmetry

In semiconductor heterostructures, bulk and structural inversion asymmetry and spin-orbit coupling induce a k-dependent spin splitting of valence and conduction subbands, which can be viewed as being caused by momentum-dependent crystal magnetic fields. This paper studies the influence of these effective magnetic fields on the intersubband spin dynamics in an asymmetric n-type GaAs/AlGaAs quantum well. We calculate the dispersions of intersubband spin plasmons using linear response theory. The so-called D'yakonov-Perel' decoherence mechanism is inactive for collective intersubband excitations, i.e., crystal magnetic fields do not lead to decoherence of spin plasmons. Instead, we predict that the main signature of bulk and structural inversion asymmetry in intersubband spin dynamics is a three-fold, anisotropic splitting of the spin plasmon dispersion. The importance of many-body effects is pointed out, and conditions for experimental observation with inelastic light scattering are discussed.Comment: 8 pages, 6 figure

Intersubband spin-density excitations in quantum wells with Rashba spin splitting

In inversion-asymmetric semiconductors, spin-orbit coupling induces a k-dependent spin splitting of valence and conduction bands, which is a well-known cause for spin decoherence in bulk and heterostructures. Manipulating nonequilibrium spin coherence in device applications thus requires understanding how valence and conduction band spin splitting affects carrier spin dynamics. This paper studies the relevance of this decoherence mechanism for collective intersubband spin-density excitations (SDEs) in quantum wells. A density-functional formalism for the linear spin-density matrix response is presented that describes SDEs in the conduction band of quantum wells with subbands that may be non-parabolic and spin-split due to bulk or structural inversion asymmetry (Rashba effect). As an example, we consider a 40 nm GaAs/AlGaAs quantum well, including Rashba spin splitting of the conduction subbands. We find a coupling and wavevector-dependent splitting of the longitudinal and transverse SDEs. However, decoherence of the SDEs is not determined by subband spin splitting, due to collective effects arising from dynamical exchange and correlation.Comment: 10 pages, 4 figure