Для формального языка характерно:

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