Formal Models In The Study Of Language