中文
相关论文

相关论文: State Complexity of Catenation Combined with Star …

200 篇论文

In this paper, we show that, due to the structural properties of the resulting automaton obtained from a prior operation, the state complexity of a combined operation may not be equal but close to the mathematical composition of the state…

形式语言与自动机理论 · 计算机科学 2010-06-25 Bo Cui , Yuan Gao , Lila Kari , Sheng Yu

In this paper, we study the state complexities of union and intersection combined with star and reversal, respectively. We obtain the state complexities of these combined operations on regular languages and show that they are less than the…

形式语言与自动机理论 · 计算机科学 2010-06-21 Yuan Gao , Sheng Yu

In this paper we study the state complexity of catenation combined with symmetric difference. First, an upper bound is computed using some combinatoric tools. Then, this bound is shown to be tight by giving a witness for it. Moreover, we…

形式语言与自动机理论 · 计算机科学 2015-05-14 Pascal Caron , Jean-Gabriel Luque , Ludovic Mignot , Bruno Patrou

We study the state complexity of boolean operations, concatenation and star with one or two of the argument languages reversed. We derive tight upper bounds for the symmetric differences and differences of such languages. We prove that the…

形式语言与自动机理论 · 计算机科学 2012-07-04 Janusz Brzozowski , David Liu

We study the state complexity of boolean operations and product (concatenation, catenation) combined with star. We derive tight upper bounds for the symmetric differences and differences of two languages, one or both of which are starred,…

形式语言与自动机理论 · 计算机科学 2012-07-10 Janusz Brzozowski , David Liu

We exhaustively investigate possible combinations of a boolean operation together with a catenation. In many cases we prove and improve some conjectures by Brzozowski. For each family of operation, we endeavour to provide a common witness…

形式语言与自动机理论 · 计算机科学 2017-07-12 Pascal Caron , Jean-Gabriel Luque , Bruno Patrou

Monsters and modifiers are two concepts recently developed in the state complexity theory. A monster is an automaton in which every function from states to states is represented by at least one letter. A modifier is a set of functions…

形式语言与自动机理论 · 计算机科学 2022-06-13 Pascal Caron , Edwin Hamel-de-le court , Jean-Gabriel Luque

We investigate the nondeterministic state complexity of basic operations for suffix-free regular languages. The nondeterministic state complexity of an operation is the number of states that are necessary and sufficient in the worst-case…

形式语言与自动机理论 · 计算机科学 2010-08-11 Yo-Sub Han , Kai Salomaa

The quotient complexity, also known as state complexity, of a regular language is the number of distinct left quotients of the language. The quotient complexity of an operation is the maximal quotient complexity of the language resulting…

形式语言与自动机理论 · 计算机科学 2010-12-20 Janusz Brzozowski , Bo Liu

We improve some results relative to the state complexity of the multiple catenation described by Gao and Yu. In particular we nearly divide by 2 the size of the alphabet needed for witnesses. We also give some refinements to the algebraic…

形式语言与自动机理论 · 计算机科学 2016-07-15 Pascal Caron , Jean-Gabriel Luque , Bruno Patrou

In almost all situation assessment problems, it is useful to dynamically contract and expand the states under consideration as assessment proceeds. Contraction is most often used to combine similar events or low probability events together…

人工智能 · 计算机科学 2013-04-05 Kuo-Chu Chang , Robert Fung

Entanglement characteristics of a pair coherent state is studied using entanglement of superposition. It is demonstrated only few states in the expansion of a pair coherent state, in a harmonic oscillator basis, contribute significantly to…

量子物理 · 物理学 2007-08-06 Jitesh R. Bhatt , Prasanta K. Panigrahi

We investigate the state complexity of the star of symmetrical differences using modifiers and monsters. A monster is an automaton in which every function from states to states is represented by at least one letter. A modifier is a set of…

形式语言与自动机理论 · 计算机科学 2019-09-18 Pascal Caron , Edwin Hamel-de le Court , Jean-Gabriel Luque

We discuss several methods to produce superpositions of optical coherent states (also known as "cat states"). Cat states have remarkable properties that could allow them to be powerful tools for quantum information processing and metrology.…

量子物理 · 物理学 2009-11-13 S. Glancy , H. M. Vasconcelos

We propose a new class of probabilistic reversing operations on the state of a system that was disturbed by a weak measurement. It can approximately recover the original state from the disturbed state especially with an additional…

量子物理 · 物理学 2010-09-01 Hiroaki Terashima , Masahito Ueda

We show that entanglement-assisted transformations of bipartite entangled states can be more efficient than catalysis [D. Jonathan and M. B. Plenio, Phys. Rev. Lett. 83, 3566 (1999)}, i.e., given two incomparable bipartite states not only…

量子物理 · 物理学 2009-11-07 Somshubhro Bandyopadhyay , Vwani Roychowdhury

I study the state complexity of binary operations on regular languages over different alphabets. It is well known that if $L'_m$ and $L_n$ are languages restricted to be over the same alphabet, with $m$ and $n$ quotients, respectively, the…

形式语言与自动机理论 · 计算机科学 2016-06-14 Janusz Brzozowski

We investigate the state complexity of the shuffle operation on regular languages initiated by Campeanu et al. and studied subsequently by Brzozowski et al. We shift the problem into the combinatorics domain by turning the problem of state…

形式语言与自动机理论 · 计算机科学 2019-05-21 Pascal Caron , Jean-Gabriel Luque , Bruno Patrou

We consider the superpositions of spin coherent states and study the coherence properties and spin squeezing in these states. The spin squeezing is examined using a new version of spectroscopic squeezing criteria. The results show that the…

量子物理 · 物理学 2009-11-07 Xiaoguang Wang

In this paper, we introduce the new concept of state complexity approximation, which is a further development of state complexity estimation. We show that this new concept is useful in both of the following two cases: the exact state…

形式语言与自动机理论 · 计算机科学 2009-07-30 Yuan Gao , Sheng Yu
‹ 上一页 1 2 3 10 下一页 ›