Чередование (формальная теория языка) - Википедия - Alternation (formal language theory)

В формальная теория языка и сопоставление с образцом, чередование это союз из двух наборов ниток или узоров. Как правило, чередование а и б соответствует либо а или же б.

В формальной теории языка чередование коммутативный и ассоциативный. Это не совсем верно для языков сопоставления с образцом.

в СНОБОЛ язык, регулярное выражение синтаксис и некоторые другие языки, чередование двоичный инфиксный оператор на шаблонах, помеченных знаком «|».

Рекомендации

  • Джон Э. Хопкрофт и Джеффри Д. Уллман, Введение в теорию автоматов, языки и вычисления, Издательство Addison-Wesley Publishing, Reading Massachusetts, 1979. ISBN  0-201-02988-X.