Что за способ описания синтаксиса?

Добрый день. Для описания синтаксиса многих вещей используется описание вроде: строка1::= строка2|строка3|строка4 строка2::= строка5 [строка6] и т. д. Вопрос - как это описание называется и может по его синтаксису есть какая-то дока? Очень интересует возможность построения парсера на основе вот такого (именно такого, без всяких технических символов и приёмов) описания. Есть готовые программы? Заранее спасибо за ответ.