Languages, Geodesics, And Hnn Extensions