English
Related papers

Related papers: Kunz languages for numerical semigroups are contex…

200 papers

In this paper we introduce some families of fuzzy L-systems and investigate their properties. We further discuss the relationship between fuzzy L languages and the fuzzy languages generated by fuzzy grammar proposed in Ref.[3,5]. A measure…

Logic · Mathematics 2007-05-23 Zu-Guo Yu

Very recently, in [Das et al., J. Lond. Math. Soc., 2025], statistically characterized subgroups were studied for certain classes of non-arithmetic sequences. Subsequently, in [Das et al., Bull. Sci. Math., 2025], characterized subgroups…

Group Theory · Mathematics 2026-05-19 Pratulananda Das , Ayan Ghosh , Tamim Aziz

Cosine similarity of contextual embeddings is used in many NLP tasks (e.g., QA, IR, MT) and metrics (e.g., BERTScore). Here, we uncover systematic ways in which word similarities estimated by cosine over BERT embeddings are understated and…

Computation and Language · Computer Science 2022-05-12 Kaitlyn Zhou , Kawin Ethayarajh , Dallas Card , Dan Jurafsky

Large Language Models (LLMs) play a critical role in how humans access information. While their core use relies on comprehending written requests, our understanding of this ability is currently limited, because most benchmarks evaluate LLMs…

As far as we know, usual computer algebra packages can not compute denumerants for almost medium (about a hundred digits) or almost medium--large (about a thousand digits) input data in a reasonably time cost on an ordinary computer.…

Combinatorics · Mathematics 2017-06-28 F. Aguiló-Gost , D. Llena

A subsequence of a word $w$ is a word $u$ such that $u = w[i_1] w[i_2] \dots w[i_{k}]$, for some set of indices $1 \leq i_1 < i_2 < \dots < i_k \leq \lvert w\rvert$. A word $w$ is $k$-subsequence universal over an alphabet $\Sigma$ if every…

Formal Languages and Automata Theory · Computer Science 2023-11-20 Duncan Adamson , Pamela Fleischmann , Annika Huch , Tore Koß , Florin Manea , Dirk Nowotka

We study the full language of quasigeodesics in Cayley graphs, with fixed error constants. We show that, given a non-virtually-cyclic nilpotent group or Baumslag--Solitar group, and any finite generating set, such languages fail to be…

Group Theory · Mathematics 2026-04-28 Arya Saranathan

Let $\Sigma = X\cup X^{-1} = \{ x_1 ,x_2 ,..., x_m ,x_1^{-1} ,x_2^{-1} ,..., x_m^{-1} \}$ and let $G$ be a group with set of generators $\Sigma$. Let $\mathfrak{L} (G) =\left\{ \left. \omega \in \Sigma^* \; \right\vert \;\omega \equiv e \;…

Formal Languages and Automata Theory · Computer Science 2013-12-03 Krasimir Yordzhev

Discrete subgroups of SL(2,R) are well understood, and classified by the geometry of the corresponding hyperbolic surfaces. Discrete subgroups of higher-rank semisimple Lie groups, such as SL(n,R) for n>2, remain more mysterious. While…

Group Theory · Mathematics 2024-03-29 Fanny Kassel

We find a relation between the genus of a quotient of a numerical semigroup $S$ and the genus of $S$ itself. We use this identity to compute the genus of a quotient of $S$ when $S$ has embedding dimension $2$. We also exhibit identities…

An atom of a regular language L with n (left) quotients is a non-empty intersection of uncomplemented or complemented quotients of L, where each of the n quotients appears in a term of the intersection. The quotient complexity of L, which…

Formal Languages and Automata Theory · Computer Science 2012-03-09 Janusz Brzozowski , Hellis Tamm

This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces. We show that the opposite category of…

Logic in Computer Science · Computer Science 2014-12-31 Kenta Cho

In this short note, we show that the generalized type semigroup $\CW(X, \Gamma)$ introduced by the author in \cite{M3} belongs to the category \textnormal{W}. In particular, we demonstrate that $\CW(X, \Gamma)$ satisfies axioms (W1)-(W4)…

Operator Algebras · Mathematics 2022-06-24 Xin Ma

We consider several classes of complete intersection numerical semigroups, aris- ing from many different contexts like algebraic geometry, commutative algebra, coding theory and factorization theory. In particular, we determine all the…

Commutative Algebra · Mathematics 2014-04-08 Marco D'Anna , Vincenzo Micale , Alessio Sammartano

We are interested in formulas for the number of elements in certain classes of numerical semigroups

Combinatorics · Mathematics 2014-10-28 Ernst Kunz , Rolf Waldi

This paper investigates a new property of formal languages called REG-measurability where REG is the class of regular languages. Intuitively, a language \(L\) is REG-measurable if there exists an infinite sequence of regular languages that…

Formal Languages and Automata Theory · Computer Science 2020-11-18 Ryoma Sin'ya

The present work points out that the Deutsch-Jozsa algorithm was the first formal description of a quantum decider. In particular, it is studied here the class of languages whose indicator functions allow the Deutsch-Jozsa algorithm to…

Quantum Physics · Physics 2022-03-21 Eraldo Pereira Marinho

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]…

Computational Complexity · Computer Science 2007-05-23 Michel Rigo

A numerical semigroup $S$ is coated with odd elements (Coe-semigroup), if $\left\{x-1, x+1\right\}\subseteq S$ for all odd element $x$ in $S$. In this note, we will study this kind of numerical semigroups. In particular, we are interested…

Commutative Algebra · Mathematics 2024-07-25 J. C. Rosales , M. B. Branco , M. A. Traesel

This article contains a proposal to add coinduction to the computational apparatus of natural language understanding. This, we argue, will provide a basis for more realistic, computationally sound, and scalable models of natural language…

Computation and Language · Computer Science 2020-12-11 Wlodek W. Zadrozny