On the difference set of two transductions

• Tipo: Artigo em Revista Científica Internacional
• Data: 2024

Autores

Konstantinidis, S (Autor) Outra; Nelma Moreira (Autor) FCUP; Rogério Reis (Autor) FCUP; Sebej, J (Autor) Outra

Revista

Título: Theoretical Computer Science

Vol. 1016

ISSN: 0304-3975

Editora: Elsevier

Indexação

ISI Web of Knowledge - 0 Citações

Outras Informações

ID Authenticus: P-016-X22

DOI: 10.1016/j.tcs.2024.114780

Abstract (EN): The difference set ds,t of two (nondeterministic, in general) transducers s, t is the set of all input words for which the output sets of the two transducers are not equal. When the two transducers realize homomorphisms, their difference set is the complement of the well known equality set of the two homomorphisms. However, we show that transducer difference sets result in Chomskylike classes of languages that are different than the classes resulting from equality sets. We also consider the following word problem: given transducers s, t and input w, tell whether the output sets s(w) and t(w) are different. In general the problem is PSPACE-complete, but it becomes NP-complete when at least one of the given transducers has finite outputs. We also provide a PRAX (polynomial randomized approximation) algorithm for the word problem as well as for the NFA (in)equivalence problem. Our presentation of PRAX algorithms improves the original presentation.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 12