Displaying similar documents to “On some factorization problems.”

Decidability of code properties

Henning Fernau, Klaus Reinhardt, Ludwig Staiger (2007)

RAIRO - Theoretical Informatics and Applications

Similarity:

We explore the borderline between decidability and undecidability of the following question: “Let be a class of codes. Given a machine 𝔐 of type , is it decidable whether the language L ( 𝔐 ) lies in or not?” for codes in general, -codes, codes of finite and bounded deciphering delay, prefix, suffix and bi(pre)fix codes, and for finite automata equipped with different versions of push-down stores and counters.

Mixed formulation of elliptic variational inequalities and its approximation

Jaroslav Haslinger (1981)

Aplikace matematiky

Similarity:

The approximation of a mixed formulation of elliptic variational inequalities is studied. Mixed formulation is defined as the problem of finding a saddle-point of a properly chosen Lagrangian 2 on a certain convex set K x Λ . Sufficient conditions, guaranteeing the convergence of approximate solutions are studied. Abstract results are applied to concrete examples.

Finite element analysis for unilateral problems with obstacles on the boundary

Jaroslav Haslinger (1977)

Aplikace matematiky

Similarity:

Finite element analysis of unilateral problems with obstacles on the boundary is given. Provided the exact solution is smooth enough, we obtain the rate of convergence 0 ( h ) for the case of one and two (lower and upper) obstacles on the boundary. At the end of this paper the proof of convergence without any regularity assumptions on the exact solution u is given.