Exploració per tema "Decision problem"

Ara es mostren els items 1-3 de 3

    • Algorithmic problems for free-abelian times free groups 

      Delgado Rodríguez, Jordi; Ventura Capell, Enric (2013-10-01)
      Article
      Accés obert
      We study direct products of free-abelian and free groups with special emphasis on algorithmic problems. After giving natural extensions of standard notions into that family, we find an explicit expression for an arbitrary ...

    • Relative order and spectrum in free and related groups 

      Delgado Rodríguez, Jordi; Ventura Capell, Enric; Zakharov, Alexander (2022-12-19)
      Article
      Accés obert
      We consider a natural generalization of the concept of order of an element in a group: an element g ¿ G is said to have order k in a subgroup H (resp., in a coset Hu) of a group G if k is the first strictly positive integer ...

    • The HOM problem is EXPTIME-complete 

      Creus López, Carles; Gascón Caro, Adrià; Godoy Balil, Guillem; Ramos, Lander (2012)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      The HOM problem questions whether the image of a given regular tree language through a given tree homomorphism is also regular. Decidability of HOM is an important theoretical question which was open for a long time. ...