Expressibility in two-dimensional languages for presupposition.

Two-dimensional pattern languages

We introduce several classes of array languages obtained by generalising Angluin’s pattern languages to the two-dimensional case. These classes of two-dimensional pattern languages are compared with respect to their expressive power and their closure properties are investigated.

Two-dimensional languages

Analytical Solution for Two-Dimensional Coupled Thermoelastodynamics in a Cylinder

An infinitely long hollow cylinder containing isotropic linear elastic material is considered under the effect of arbitrary boundary stress and thermal condition. The two-dimensional coupled thermoelastodynamic PDEs are specified based on equations of motion and energy equation, which are uncoupled using Nowacki potential functions. The Laplace integral transform and Bessel-Fourier series are u...

Inkdot versus Pebble over Two-Dimensional Languages

This paper investigates a relationship between inkdot and one-pebble for two-dimensional finite automata (2-fa’s). Especially we show that (1) alternating inkdot 2-fa’s are more powerful than nondeterministic one-pebble 2-fa’s, and (2) there is a set accepted by an alternating inkdot 2-fa, but not accepted by any alternating one-pebble 2-fa with only universal states. key words: inkdot, pebble,...

Lattices of local two-dimensional languages

The aimof this paper is to study local two-dimensional languages froman algebraic point of view.We show that local two-dimensional languages over a finite alphabet, with the usual relation of set inclusion, form a lattice. The simplest case Loc1 of local languages defined over the alphabet consisting of one element yields a distributive lattice, which can be easily described. In the general cas...