On the maximality of languages with combined types of code properties

We consider the decision problem of whether or not a given regular language is maximal with respect to certain combined types of code properties. In the recent past, there have been a few formal methods for defining code properties, such as trajectory-based codes and transducer-based codes, that allow one to decide the maximality problem, including the case where maximality is tested with respect to combined properties within these formal methods. The property of “decoding delay 1” is not known to be definable with these methods, but it is known that the maximality of this property alone is decidable for regular languages. Here, we consider the problem of deciding maximality of a regular language with respect to decoding delay 1 and a transducer-based property, such as suffix-free, overlap-free, and error-detection properties.