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.