Чередование (формальная теория языка) - Alternation (formal language theory)
В теории формальных языков и сопоставления с образцом , чередование является объединением двух наборов строк или шаблонов. Как шаблон, чередование a и b соответствует либо a, либо b .
В формальной теории языка чередование коммутативно и ассоциативно . В языках сопоставления с образцом это, как правило, неверно.
В языке SNOBOL , синтаксисе регулярных выражений и некоторых других языках чередование - это бинарный инфиксный оператор для шаблонов, помеченный знаком «|».
Рекомендации
- ^ "Чередование с вертикальной чертой" . regular-expressions.info .
Библиография
- Джон Э. Хопкрофт и Джеффри Д. Уллман, Введение в теорию автоматов, языки и вычисления , издательство Addison-Wesley Publishing, Reading Massachusetts, 1979. ISBN 0-201-02988-X .