We explore the borderline between decidability and undecidability of the following question: “Let C be a class of codes. Given a machine ${\mathfrak{M}}$ of type X, is it decidable whether the language $L({{\mathfrak{M}}})$ lies in C 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
In the theory of automata and formal languages, the undecidability of various properties has been st...
We study the strength of axioms needed to prove various results related to automata on infinite word...
We study the strength of axioms needed to prove various results related to automata on infinite word...
We explore the borderline between decidability and undecidability of the following question: "L...
When we understand that every potential halt decider must derive a formal mathematical proof from it...
When we understand that every potential halt decider must derive a formal mathematical proof from it...
When we understand that every potential halt decider must derive a formal mathematical proof from it...
AbstractLet M be a class of automata (in a precise sense to be defined) and Mc the class obtained by...
Motivated by the study of decipherability conditions for codes weaker than Unique Decipherability ...
In this master thesis the hierarchy of automata and related languages is presented. First, the conce...
Motivated by the study of decipherability conditions for codes weaker than Unique Decipherability (U...
Motivated by the study of decipherability conditions for codes weaker than Unique Decipherability (U...
Abstract—A class of languages C is perfect if it is closed under Boolean operations and the emptines...
The existence and complexity of decision procedures for families of deterministic pushdown automata ...
AbstractGiven languages Z,L⊆Σ∗,Z is L-decomposable (finitely L-decomposable, resp.) if there exists ...
In the theory of automata and formal languages, the undecidability of various properties has been st...
We study the strength of axioms needed to prove various results related to automata on infinite word...
We study the strength of axioms needed to prove various results related to automata on infinite word...
We explore the borderline between decidability and undecidability of the following question: "L...
When we understand that every potential halt decider must derive a formal mathematical proof from it...
When we understand that every potential halt decider must derive a formal mathematical proof from it...
When we understand that every potential halt decider must derive a formal mathematical proof from it...
AbstractLet M be a class of automata (in a precise sense to be defined) and Mc the class obtained by...
Motivated by the study of decipherability conditions for codes weaker than Unique Decipherability ...
In this master thesis the hierarchy of automata and related languages is presented. First, the conce...
Motivated by the study of decipherability conditions for codes weaker than Unique Decipherability (U...
Motivated by the study of decipherability conditions for codes weaker than Unique Decipherability (U...
Abstract—A class of languages C is perfect if it is closed under Boolean operations and the emptines...
The existence and complexity of decision procedures for families of deterministic pushdown automata ...
AbstractGiven languages Z,L⊆Σ∗,Z is L-decomposable (finitely L-decomposable, resp.) if there exists ...
In the theory of automata and formal languages, the undecidability of various properties has been st...
We study the strength of axioms needed to prove various results related to automata on infinite word...
We study the strength of axioms needed to prove various results related to automata on infinite word...