Как называется язык, в котором существуют строгие правила грамматики и синтаксиса, при однозначной записи знаками?