Для формального языка характерно:
явное описание всех правил
гибкость применения для описания разных ситуаций
неоднозначность записи и воспроизведения сообщения