Formal Models And Semantics Vs Syntactic