On regularity of context-free languages

AbstractThis paper considers conditions under which a context-free language is regular and conditions which imposed on (productions of) a rewriting system generating a context-free language will guarantee that the generated language is regular. In particular: 1.(1) necessary and sufficient conditions on productions of a unitary grammar are given that guarantee the generated language to be regular (a unitary grammar is a semi-Thue system in which the left-hand of each production is the empty word), and2.(2) it is proved that commutativity of a linear language implies its regularity. To obtain the former result, we give a generalization of the Myhill–Nerode characterization of the regular languages in terms of well-quasi orders, along with a generalization of Higman's well-quasi order result concerning the subsequence embedding relation on Σ*. In obtaining the latter results, we introduce the class of periodic languages, and demonstrate how they can be used to characterize the commutative regular languages. Here we also utilize the theory of well-quasi orders

Optical Conductivity in Mott-Hubbard Systems

We study the transfer of spectral weight in the optical spectra of a strongly correlated electron system as a function of temperature and interaction strength. Within a dynamical mean field theory of the Hubbard model that becomes exact in the limit of large lattice coordination, we predict an anomalous enhancement of spectral weight as a function of temperature in the correlated metallic state and report on experimental measurements which agree with this prediction in $V_2O_3$. We argue that the optical conductivity anomalies in the metal are connected to the proximity to a crossover region in the phase diagram of the model.Comment: 12 pages and 4 figures, to appear in Phys. Rev. Lett., v 75, p 105 (1995

Transfer of Spectral Weight in Spectroscopies of Correlated Electron Systems

We study the transfer of spectral weight in the photoemission and optical spectra of strongly correlated electron systems. Within the LISA, that becomes exact in the limit of large lattice coordination, we consider and compare two models of correlated electrons, the Hubbard model and the periodic Anderson model. The results are discussed in regard of recent experiments. In the Hubbard model, we predict an anomalous enhancement optical spectral weight as a function of temperature in the correlated metallic state which is in qualitative agreement with optical measurements in $V_2O_3$. We argue that anomalies observed in the spectroscopy of the metal are connected to the proximity to a crossover region in the phase diagram of the model. In the insulating phase, we obtain an excellent agreement with the experimental data and present a detailed discussion on the role of magnetic frustration by studying the $k-$resolved single particle spectra. The results for the periodic Anderson model are discussed in connection to recent experimental data of the Kondo insulators $Ce_3Bi_4Pt_3$ and $FeSi$. The model can successfully explain the different energy scales that are associated to the thermal filling of the optical gap, which we also relate to corresponding changes in the density of states. The temperature dependence of the optical sum rule is obtained and its relevance for the interpretation of the experimental data discussed. Finally, we argue that the large scattering rate measured in Kondo insulators cannot be described by the periodic Anderson model.Comment: 19 pages + 29 figures. Submitted to PR

Decision problems for node label controlled graph grammars

AbstractTwo basic techniques are presented to show the decidability status of a number of problems concerning node label controlled graph grammars. Most of the problems are of graph-theoretic nature and concern topics like planarity, connectedness and bounded degreeness of graph languages

Fuzzy splicing systems

In this paper we introduce a new variant of splicing systems, called fuzzy splicing systems, and establish some basic properties of language families generated by this type of splicing systems. We study the “fuzzy effect” on splicing operations, and show that the “fuzzification” of splicing systems can increase and decrease the computational power of splicing systems with finite components with respect to fuzzy operations and cut-points chosen for threshold languages

Membrane systems with proteins embedded in membranes

Membrane computing is a biologically inspired computational paradigm. Motivated by brane calculi we investigate membrane systems which differ from conventional membrane systems by the following features: (1) biomolecules (proteins) can move through the regions of the systems, and can attach onto (and de-attach from) membranes, and (2) membranes can evolve depending on the attached molecules. The evolution of membranes is performed by using rules that are motivated by the operation of pinocytosis (the pino rule) and the operation of cellular dripping (the drip rule) that take place in living cells.We show that such membrane systems are computationally universal. We also show that if only the second feature is used then one can generate at least the family of Parikh images of the languages generated by programmed grammars without appearance checking (which contains non-semilinear sets of vectors).If, moreover, the use of pino/drip rules is non-cooperative (i.e., not dependent on the proteins attached to membranes), then one generates a family of sets of vectors that is strictly included in the family of semilinear sets of vectors.We also consider a number of decision problems concerning reachability of configurations and boundness. (C) 2008 Elsevier B.V. All rights reserved

The infinite-range quantum random Heisenberg magnet

We study with exact diagonalization techniques the Heisenberg model for a system of SU(2) spins with S=1/2 and random infinite-range exchange interactions. We calculate the critical temperature T_g for the spin-glass to paramagnetic transition. We obtain T_g ~ 0.13, in good agreement with previous quantum Monte Carlo and analytical estimates. We provide a detailed picture for the different kind of excitations which intervene in the dynamical response chi''(w,T) at T=0 and analyze their evolution as T increases. We also calculate the specific heat Cv(T). We find that it displays a smooth maximum at TM ~ 0.25, in good qualitative agreement with experiments. We argue that the fact that TM>Tg is due to a quantum disorder effect.Comment: 17 pages, 14 figure

Effect of Particle-Hole Asymmetry on the Mott-Hubbard Metal-Insulator Transition

The Mott-Hubbard metal-insulator transition is one of the most important problems in correlated electron systems. In the past decade, much progress has been made on examining a particle-hole symmetric form of the transition in the Hubbard model with dynamical mean field theory where it was found that the electronic self energy develops a pole at the transition. We examine the particle-hole asymmetric metal-insulator transition in the Falicov-Kimball model, and find that a number of features change when the noninteracting density of states has a finite bandwidth. Since, generically particle-hole symmetry is broken in real materials, our results have an impact on understanding the metal-insulator transition in real materials.Comment: 5 pages, 3 figure