中文
相关论文

相关论文: Quotient Complexities of Atoms in Regular Ideal La…

200 篇论文

This paper deals with the size complexity of minimal {\it two-way quantum finite automata} (2qfa's) necessary for operations to perform on all inputs of each fixed length. Such a complexity measure, known as state complexity of operations,…

离散数学 · 计算机科学 2008-07-04 Daowen Qiu

We investigate the expressive power of first-order quantifications in the context of monadic second-order logic over pictures. We show that k+1 set quantifier alternations allow to define a picture language that cannot be defined using k…

形式语言与自动机理论 · 计算机科学 2012-04-24 Oliver Matz

In this paper we explore a new hierarchy of classes of languages and infinite words and its connection with complexity classes. Namely, we say that a language belongs to the class $L_k$ if it is a subset of the catenation of $k$ languages…

形式语言与自动机理论 · 计算机科学 2014-06-17 J. Cassaigne , A. E. Frid , S. Puzynina , L. Q. Zamboni

In a recent thread of papers, we have introduced FQL, a precise specification language for test coverage, and developed the test case generation engine FShell for ANSI C. In essence, an FQL test specification amounts to a set of regular…

形式语言与自动机理论 · 计算机科学 2013-05-28 Andreas Holzer , Christian Schallhart , Michael Tautschnig , Helmut Veith

This work is concerned with regular languages defined over large alphabets, either infinite or just too large to be expressed enumeratively. We define a generic model where transitions are labeled by elements of a finite partition of the…

计算机科学中的逻辑 · 计算机科学 2017-01-11 Irini-Eleftheria Mens , Oded Maler

As is the case of many signals produced by complex systems, language presents a statistical structure that is balanced between order and disorder. Here we review and extend recent results from quantitative characterisations of the degree of…

计算与语言 · 计算机科学 2015-03-05 Marcelo A Montemurro , Damián H Zanette

Though English sentences are typically inflexible vis-\`a-vis word order, constituents often show far more variability in ordering. One prominent theory presents the notion that constituent ordering is directly correlated with constituent…

计算与语言 · 计算机科学 2025-02-18 Ada Defne Tur , Gaurav Kamath , Siva Reddy

A quantitative method is suggested, where meanings of words, and grammatic rules about these, of a vocabulary are represented by real numbers. People meet randomly, and average their vocabularies if they are equal; otherwise they either…

物理与社会 · 物理学 2009-11-13 Caglar Tuncay

Infinite words, also known as streams, hold significant interest in computer science and mathematics, raising the natural question of how their complexity should be measured. We introduce cellular automaton reducibility as a measure of…

形式语言与自动机理论 · 计算机科学 2026-01-30 Markel Zubia , Herman Geuvers

In the constrained synchronization problem we ask if a given automaton admits a synchronizing word coming from a fixed regular constraint language. We show that intersecting a given constraint language with an ideal language decreases the…

形式语言与自动机理论 · 计算机科学 2021-03-19 Stefan Hoffmann

We present a language $L_n$ which is recognizable by a probabilistic finite automaton (PFA) with probability $1 - \epsilon$ for all $\epsilon > 0$ with $O(log^2n)$ states, with a deterministic finite automaton (DFA) with O(n) states, but a…

量子物理 · 物理学 2007-05-23 Gatis Midrijanis

Perfect Gabriel filters of right ideals and their corresponding right rings of quotients have the desirable feature that every module of quotients is determined solely by the right ring of quotients. On the other hand, symmetric rings of…

环与代数 · 数学 2010-09-14 Lia Vas

Language interpretation is a compositional process, in which the meaning of more complex linguistic structures is inferred from the meaning of their parts. Large language models possess remarkable language interpretation capabilities and…

人工智能 · 计算机科学 2025-10-31 David Maria Schmidt , Raoul Schubert , Philipp Cimiano

The complexity function of an infinite word $w$ on a finite alphabet $A$ is the sequence counting, for each non-negative $n$, the number of words of length $n$ on the alphabet $A$ that are factors of the infinite word $w$. For any given…

动力系统 · 数学 2018-03-01 C. Mauduit , C. -G. Moreira

The Chapter starts with introductory information about quantitative linguistics notions, like rank--frequency dependence, Zipf's law, frequency spectra, etc. Similarities in distributions of words in texts with level occupation in quantum…

数据分析、统计与概率 · 物理学 2024-01-04 Andrij Rovenchak

A generalization of numeration system in which the set N of the natural numbers is recognizable by finite automata can be obtained by describing a lexicographically ordered infinite regular language. Here we show that if P belonging to Q[x]…

计算复杂性 · 计算机科学 2007-05-23 Michel Rigo

Partial words are sequences over a finite alphabet that may contain wildcard symbols, called holes, which match or are compatible with all letters; partial words without holes are said to be full words (or simply words). Given an infinite…

离散数学 · 计算机科学 2011-08-19 Francine Blanchet-Sadri , Aleksandar Chakarov , Lucas Manuelli , Jarett Schwartz , Slater Stich

The creation complexity of a quantum state is the minimum number of elementary gates required to create it from a basic initial state. The creation complexity of quantum states is closely related to the complexity of quantum circuits, which…

量子物理 · 物理学 2022-02-11 Zixuan Hu , Sabre Kais

Let $S$ be a finite alphabet. An injective word over $S$ is a word over $S$ such that each letter in $S$ appears at most once in the word. We study Boolean cell complexes of injective words over $S$ and their commutation classes. This…

组合数学 · 数学 2007-12-14 Jakob Jonsson , Volkmar Welker

We prove lower bounds on the length of regular expressions for finite languages by methods from arithmetic circuit complexity. First, we show a reduction: the length of a regular expression for a language $L\subseteq \{0,1\}^n$ is bounded…

形式语言与自动机理论 · 计算机科学 2021-01-01 Ehud Cseresnyes , Hannes Seiwert