В информатике они используются, среди прочего, для точного определения форматов данных и синтаксиса языков программирования.
Строки, обозначенные процедурой принятия решения (набор связанных вопросов ДА / НЕТ), где ответ - ДА.