An algorithm for checking the equality of infinite catenations of finite languages

From MaRDI portal
Publication:1281246