Definition:Finite String