中文
相关论文

相关论文: Staged Self-Assembly and Polyomino Context-Free Gr…

200 篇论文

We analyze the number of tile types $t$, bins $b$, and stages necessary to assemble $n \times n$ squares and scaled shapes in the staged tile assembly model. For $n \times n$ squares, we prove $\mathcal{O}(\frac{\log{n} - tb - t\log t}{b^2}…

计算几何 · 计算机科学 2016-09-14 Cameron Chalk , Eric Martinez , Robert Schweller , Luis Vega , Andrew Winslow , Tim Wylie

We study the problem of computing the probability that a given stochastic context-free grammar (SCFG), G, generates a string in a given regular language L(D) (given by a DFA, D). This basic problem has a number of applications in…

形式语言与自动机理论 · 计算机科学 2013-02-27 Kousha Etessami , Alistair Stewart , Mihalis Yannakakis

The Blow-up Lemma established by Koml\'os, S\'ark\"ozy, and Szemer\'edi in 1997 is an important tool for the embedding of spanning subgraphs of bounded maximum degree. Here we prove several generalisations of this result concerning the…

组合数学 · 数学 2013-05-10 Julia Böttcher , Yoshiharu Kohayakawa , Anusch Taraz , Andreas Würfl

We study minimum cost constraint satisfaction problems (MinCostCSP) through the algebraic lens. We show that for any constraint language $\Gamma$ which has the dual discriminator operation as a polymorphism, there exists a…

数据结构与算法 · 计算机科学 2025-07-14 Ian DeHaan , Neng Huang , Euiwoong Lee

Following a seminar the present author gave to an Automata Theory course to computer science students, it will be presented, in a very synthetic and mostly selfcontained way, the principal properties of context free languages (CFL), with…

形式语言与自动机理论 · 计算机科学 2024-03-26 Gabriele Gullà

We prove two tight bounds on the behavior of a model of self-assembling particles introduced by Dabby and Chen (SODA 2013), called insertion systems, where monomers insert themselves into the middle of a growing linear polymer. First, we…

形式语言与自动机理论 · 计算机科学 2015-10-29 Benjamin Hescott , Caleb Malchik , Andrew Winslow

We continue our study of ordered context-free grammars, a grammar formalism that places an order on the parse trees produced by the corresponding context-free grammar. In particular, we simplify our previous definition of a derivation of a…

形式语言与自动机理论 · 计算机科学 2023-09-19 Brink van der Merwe

This research introduces a new parsing approach, based on earlier syntactic work on context free grammar (CFG) and generalized phrase structure grammar (GPSG). The approach comprises both a new parsing algorithm and a set of syntactic rules…

计算与语言 · 计算机科学 2026-02-17 Ghaly Hussein

Solving polynomial systems arising from applications is frequently made easier by the structure of the systems. Weighted homogeneity (or quasi-homogeneity) is one example of such a structure: given a system of weights…

符号计算 · 计算机科学 2015-12-22 Jean-Charles Faugère , Mohab Safey El Din , Thibaut Verron

We provide the first fully polynomial-time randomized approximation scheme for the following two counting problems: 1. Given a Context Free Grammar $G$ over alphabet $\Sigma$, count the number of words of length exactly $n$ generated by…

数据结构与算法 · 计算机科学 2026-05-18 Kuldeep S. Meel , Alexis de Colnet

Traditionally, many text-mining tasks treat individual word-tokens as the finest meaningful semantic granularity. However, in many languages and specialized corpora, words are composed by concatenating semantically meaningful subword…

计算与语言 · 计算机科学 2019-11-15 Ahmed El-Kishky , Frank Xu , Aston Zhang , Jiawei Han

We consider the problem of learning an unknown context-free grammar when the only knowledge available and of interest to the learner is about its structural descriptions with depth at most $\ell.$ The goal is to learn a cover context-free…

形式语言与自动机理论 · 计算机科学 2014-04-10 Mircea Marin , Gabriel Istrate

Controlling the output of Large Language Models (LLMs) through context-sensitive constraints has emerged as a promising approach to overcome the limitations of Context-Free Grammars (CFGs) in guaranteeing generation validity. However, such…

计算与语言 · 计算机科学 2026-04-14 Mohammad Albinhassan , Pranava Madhyastha , Mark Law , Alessandra Russo

We show that if a context-free grammar generates a language whose lexicographic ordering is well-ordered of type less than $\omega^2$, then its order type is effectively computable.

形式语言与自动机理论 · 计算机科学 2019-09-19 Kitti Gelle , Szabolcs Iván

Low-resource languages pose a challenge for machine translation with large language models (LLMs), which require large amounts of training data. One potential way to circumvent this data dependence is to rely on LLMs' ability to use…

计算与语言 · 计算机科学 2026-04-09 Jackson Petty , Jaulie Goe , Tal Linzen

We propose a new type of representation learning method that models words, phrases and sentences seamlessly. Our method does not depend on word segmentation and any human-annotated resources (e.g., word dictionaries), yet it is very…

计算与语言 · 计算机科学 2019-05-30 Geewook Kim , Kazuki Fukui , Hidetoshi Shimodaira

The interaction between a flexible polymer in good solvent and smaller associating solute molecules such as amphiphiles (surfactants) is considered theoretically. Attractive correlations, induced in the polymer because of the interaction,…

软凝聚态物质 · 物理学 2007-05-23 H. Diamant , D. Andelman

Large transformer-based language models (LMs) trained on huge text corpora have shown unparalleled generation capabilities. However, controlling attributes of the generated language (e.g. switching topic or sentiment) is difficult without…

计算与语言 · 计算机科学 2020-03-04 Sumanth Dathathri , Andrea Madotto , Janice Lan , Jane Hung , Eric Frank , Piero Molino , Jason Yosinski , Rosanne Liu

Transformer-based language models are effective but complex, and understanding their inner workings and reasoning mechanisms is a significant challenge. Previous research has primarily explored how these models handle simple tasks like name…

计算与语言 · 计算机科学 2025-05-20 Zeyuan Allen-Zhu , Yuanzhi Li

Various grammar compression algorithms have been proposed in the last decade. A grammar compression is a restricted CFG deriving the string deterministically. An efficient grammar compression develops a smaller CFG by finding duplicated…

数据结构与算法 · 计算机科学 2016-09-01 Shouhei Fukunaga , Yoshimasa Takabatake , I Tomohiro , Hiroshi Sakamoto