Formal Models And Semantics Vs Syntax