symbolic dynamics — subfield in mathematics