En informática, el Teorema de Myhill-Nerode establece que un conjunto de palabras en un alfabeto finito es aceptado por un autómata finito si y solo si la relación de equivalencia, definida como si y solo si exactamente cuando , tiene un índice finito. El Teorema de Myhill-Nerode puede generalizarse a un entorno algebraico dando lugar a una colección de bialgebras que llamamos bialgebras de Myhill-Nerode. En este documento investigamos la estructura cuasitriangular de las bialgebras de Myhill-Nerode.