English
Related papers

Related papers: Scattered context-free linear orderings

200 papers

Existing technology can parse arbitrary context-free grammars, but only a single, static grammar per input. In order to support more powerful syntax-extension systems, we propose reflective grammars, which can modify their own syntax during…

Programming Languages · Computer Science 2011-02-14 Paul Stansifer , Mitchell Wand

A generalized lexicographical order on infinite words is defined by choosing for each position a total order on the alphabet. This allows to define generalized Lyndon words. Every word in the free monoid can be factorized in a unique way as…

Discrete Mathematics · Computer Science 2018-12-12 Francesco Dolce , Antonio Restivo , Christophe Reutenauer

We study the question of whether, for a given class of finite graphs, one can define, for each graph of the class, a linear ordering in monadic second-order logic, possibly with the help of monadic parameters. We consider two variants of…

Logic in Computer Science · Computer Science 2015-07-01 Achim Blumensath , Bruno Courcelle

Diffusion of electrons in a two-dimensional system with time-dependent random potentials is investigated numerically. In the absence of spin-orbit scattering, the conductivity shows universal weak localization correction. In the presence of…

Mesoscale and Nanoscale Physics · Physics 2009-10-30 Takeshi Nakanishi , Tomi Ohtsuki

We propose a formalization of the three-tier causal hierarchy of association, intervention, and counterfactuals as a series of probabilistic logical languages. Our languages are of strictly increasing expressivity, the first capable of…

Logic in Computer Science · Computer Science 2021-06-03 Duligur Ibeling , Thomas Icard

Previous research has demonstrated that natural language explanations provide valuable inductive biases that guide models, thereby improving the generalization ability and data efficiency. In this paper, we undertake a systematic…

Computation and Language · Computer Science 2023-05-26 Wanyun Cui , Xingran Chen

In the present paper we show that distributional information is particularly important when considering concept availability under implicit language learning conditions. Based on results from different behavioural experiments we argue that…

Computation and Language · Computer Science 2016-06-30 Dimitrios Alikaniotis , John N. Williams

The separability problem for word languages of a class $\mathcal{C}$ by languages of a class $\mathcal{S}$ asks, for two given languages $I$ and $E$ from $\mathcal{C}$, whether there exists a language $S$ from $\mathcal{S}$ that includes…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Wojciech Czerwiński , Wim Martens , Lorijn van Rooijen , Marc Zeitoun , Georg Zetzsche

We study the expressive power of the two-variable fragment of order-invariant first-order logic. This logic departs from first-order logic in two ways: first, formulas are only allowed to quantify over two variables. Second, formulas can…

Logic in Computer Science · Computer Science 2022-07-12 Julien Grange

We study a pumping lemma for the word/tree languages generated by higher-order grammars. Pumping lemmas are known up to order-2 word languages (i.e., for regular/context-free/indexed languages), and have been used to show that a given…

Formal Languages and Automata Theory · Computer Science 2017-05-31 Kazuyuki Asada , Naoki Kobayashi

We measured the correlation of the times between successive flaps of a flag for a variety of wind speeds and found no evidence of low dimensional chaotic behavior in the return maps of these times. We instead observed what is best modeled…

Physics Education · Physics 2007-08-29 J. O. McCaslin , P. R. Broussard

This note considers the finite linear independence of coherent systems associated to discrete subgroups. We show by simple arguments that such coherent systems of amenable groups are linearly independent whenever the associated twisted…

Functional Analysis · Mathematics 2024-11-22 Ulrik Enstad , Jordy Timo van Velthoven

It is shown that as far as the linear diffusion equation meets both time- and space- translational invariance, the time dependence of a moment of degree $\alpha$ is a polynomial of degree at most equal to $\alpha$, while all connected…

Mathematical Physics · Physics 2012-01-31 Mohammad Khorrami , Ahmad Shariati , Amir Aghamohammadi , Amir H. Fatollahi

Natural language exhibits statistical dependencies at a wide range of scales. For instance, the mutual information between words in natural language decays like a power law with the temporal lag between them. However, many statistical…

Computation and Language · Computer Science 2019-12-17 Aakash Sarkar , Marc Howard

We study the time taken by a language learner to correctly identify the meaning of all words in a lexicon under conditions where many plausible meanings can be inferred whenever a word is uttered. We show that the most basic form of…

Physics and Society · Physics 2015-05-26 Rainer Reisenauer , Kenny Smith , Richard A. Blythe

Scattering through natural porous formations (by far the most ubiquitous example of disordered media) represents a formidable tool to identify effective flow and transport properties. In particular, we are interested here in the scattering…

Soft Condensed Matter · Physics 2023-05-16 Gerardo Severino , Francesco Giannino

We consider the nonlinear Schr{\"o}dinger equation with a short-range external potential, in a semi-classical scaling. We show that for fixed Planck constant, a com-plete scattering theory is available, showing that both the potential and…

Analysis of PDEs · Mathematics 2020-12-16 Rémi Carles

One of the most interesting questions concerning hierarchical control of discrete-event systems with partial observations is a condition under which the language observability is preserved between the original and the abstracted plant.…

Systems and Control · Computer Science 2012-01-10 Tomáš Masopust

We present a probabilistic language model for time-stamped text data which tracks the semantic evolution of individual words over time. The model represents words and contexts by latent trajectories in an embedding space. At each moment in…

Machine Learning · Statistics 2017-07-19 Robert Bamler , Stephan Mandt

The rank of a scattered $\mathbb{F}_q$-linear set of $\mathrm{PG}(r-1,q^n)$, $rn$ even, is at most $rn/2$ as it was proved by Blokhuis and Lavrauw. Existence results and explicit constructions were given for infinitely many values of $r$,…

Combinatorics · Mathematics 2017-01-25 Bence Csajbók , Giuseppe Marino , Olga Polverino , Ferdinando Zullo