В теории формальных языков и сопоставления с образцом , чередование является объединением двух наборов строк или шаблонов. Как шаблон, чередование a и b соответствует либо a, либо b .
В формальной теории языка чередование коммутативно и ассоциативно . Это не совсем так в языках сопоставления с образцом.
В языке СНОБОЛ , синтаксисе регулярных выражений и некоторых других языках чередование - это двоичный инфиксный оператор для шаблонов, обозначенный знаком «|».
Рекомендации
- Джон Э. Хопкрофт и Джеффри Д. Уллман, Введение в теорию автоматов, языки и вычисления , издательство Addison-Wesley Publishing, Reading Massachusetts, 1979. ISBN 0-201-02988-X .