В компютърната наука, съвпадането на моделите е акт на проверка на дадена последователност от символи за наличието на съставките на някакъв модел. За разлика от разпознаването на шаблона, мачът обикновено трябва да е точен. Моделите обикновено имат формата на последователности или дървовидни структури. Използването на съвпадение на шаблона включва извеждането на местоположения (ако има такива) на модел в рамките на символна последователност, за извеждане на някакъв компонент на съвпадащия модел и за заместване на съвпадащия модел с друга последователност от токени (т.е. търсене и замяна). Моделите на последователности (напр. Текстови низове) често се описват с помощта на регулярни изрази и съвпадащи с техники като връщане назад. Дървовите модели се използват на някои езици за програмиране като общо средство за обработка на данни въз основа на структурата им, например Haskell, ML, Scala и символичния математически език Mathematica имат специален синтаксис за изразяване на дървесни шаблони и езикови конструкции за условно изпълнение и извличане на стойности въз основа на него. За опростяване и ефективност, тези дървета нямат някои функции, които се предлагат в регулярните изрази. Често е възможно да се дадат алтернативни модели, които се опитват един по един, което дава мощен условен програмен конструкт. Съчетаването на шаблони понякога включва поддръжка за пазачи. Рекламните термини и езиците за пренаписване на графите разчитат на съвпадение на шаблоните за основния начин, по който програма се оценява в резултат. [Функционално програмиране][Редовен израз][Информатика][Програмен език][Волфрам Математика] |