The purpose of this paper is to consider a special kind of sorting problem in which a sequencea 1 ...a n is to be rearranged into an optimal order by interchanging pairs of adjacent elements, where… (More)

Formalizing mathematical argument is a fascinating activity in itself and (we hope!) also bears important practical applications. While traditional proof theory investigates deducibility of an… (More)

A new family of universal self-synchronizable variable-length codes is introduced. This family is not a generalization or improvement of the existing prefix codes, but is based on a new method of… (More)

Lately the interest to the study of semantic properties of languages has greatly increased. Namely, a pair(A,~ ) is considered where A is a formal language and ~ is a set of meanings of words from L… (More)

Let <inline-formula> <tex-math notation="LaTeX">$m_{1},m_{2},\ldots, m_{t}$ </tex-math></inline-formula> be a fixed set of natural integers given in ascending order. A multi-delimiter code… (More)