389,823 research outputs found
Numbers and Languages
The thesis presents results obtained during the authors PhD-studies. First systems of language equations of a simple form consisting of just two equations are proved to be computationally universal. These are systems over unary alphabet, that are seen as systems of equations over natural numbers. The systems contain only an equation X+A=B and an equation X+X+C=X+X+D, where A, B, C and D are eventually periodic constants. It is proved that for every recursive set S there exists natural numbers p and d, and eventually periodic sets A, B, C and D such that a number n is in S if and only if np+d is in the unique solution of the abovementioned system of two equations, so all recursive sets can be represented in an encoded form. It is also proved that all recursive sets cannot be represented as they are, so the encoding is really needed.
Furthermore, it is proved that the family of languages generated by Boolean grammars is closed under injective gsm-mappings and inverse gsm-mappings. The arguments apply also for the families of unambiguous Boolean languages, conjunctive languages and unambiguous languages.
Finally, characterizations for morphisims preserving subfamilies of context-free languages are presented. It is shown that the families of deterministic and LL context-free languages are closed under codes if and only if they are of bounded deciphering delay. These families are also closed under non-codes, if they map every letter into a submonoid generated by a single word. The family of unambiguous context-free languages is closed under all codes and under the same non-codes as the families of deterministic and LL context-free languages.Siirretty Doriast
On equations over sets of integers
Systems of equations with sets of integers as unknowns are considered. It is
shown that the class of sets representable by unique solutions of equations
using the operations of union and addition S+T=\makeset{m+n}{m \in S, \: n \in
T} and with ultimately periodic constants is exactly the class of
hyper-arithmetical sets. Equations using addition only can represent every
hyper-arithmetical set under a simple encoding. All hyper-arithmetical sets can
also be represented by equations over sets of natural numbers equipped with
union, addition and subtraction S \dotminus T=\makeset{m-n}{m \in S, \: n \in
T, \: m \geqslant n}. Testing whether a given system has a solution is
-complete for each model. These results, in particular, settle the
expressive power of the most general types of language equations, as well as
equations over subsets of free groups.Comment: 12 apges, 0 figure
Supergeometry and Arithmetic Geometry
We define a superspace over a ring as a functor on a subcategory of the
category of supercommutative -algebras. As an application the notion of a
-adic superspace is introduced and used to give a transparent construction
of the Frobenius map on -adic cohomology of a smooth projective variety over
the ring of -adic integers.Comment: 14 pages, expanded introduction, more detail
Partition regularity without the columns property
A finite or infinite matrix A with rational entries is called partition
regular if whenever the natural numbers are finitely coloured there is a
monochromatic vector x with Ax=0. Many of the classical theorems of Ramsey
Theory may naturally be interpreted as assertions that particular matrices are
partition regular. In the finite case, Rado proved that a matrix is partition
regular if and only it satisfies a computable condition known as the columns
property. The first requirement of the columns property is that some set of
columns sums to zero.
In the infinite case, much less is known. There are many examples of matrices
with the columns property that are not partition regular, but until now all
known examples of partition regular matrices did have the columns property. Our
main aim in this paper is to show that, perhaps surprisingly, there are
infinite partition regular matrices without the columns property --- in fact,
having no set of columns summing to zero.
We also make a conjecture that if a partition regular matrix (say with
integer coefficients) has bounded row sums then it must have the columns
property, and prove a first step towards this.Comment: 13 page
- …