تطبیق الگو
در علوم کامپیوتر، تطبیق الگو چک کردن دنباله‌ای از نشانه‌ها به منظور حضور ترکیباتی از برخی الگو هاست. در مقایسه با شناسایی الگو، الگوی منطبق همیشه باید کاملاً همان الگوی مقایسه شده باشد. الگوها عموماً به شکل رشته یا ساختار درخت هستند. کاربردهای تطبیق الگو شامل یافتن یک الگوی نشانه در یک توالی (در صورت وجود) و نمایش آن در خروجی، نمایش برخی از اجزای الگوی همسان در خروجی، و جایگزین کردن الگوی تطبیق با برخی رشته‌های دیگر است. (به عنوان مثال جستجو و جایگزینی)
الگوهای رشته‌ای (مانند متنی از رشته‌ها) معمولاً با استفاده از عبارت باقاعده و تکنیک‌ها مانند عقب‌گرد تشریح می‌شوند.
ساختارهای درختی در برخی زبان‌های برنامه‌نویسی به عنوان یک ابزار کلی برای انجام فر آیند روی داده‌ها بر اساس ساختارشان، مانند … استفاده شده‌اند و زبان سمبولیک ریاضی به نام متمتیکا سینتکس مخصوص خود، برای نمایش الگوهای درختی و ساختار زبانی برای اجرای شرطی و بازیابی ارزش بر اساس آن است. به منظور تأمین سادگی و کارایی، این الگوهای درخت فاقد برخی از ویژگی‌هایی است که در عبارات منظم در دسترس هستند.
معمولاً می‌توان الگوهای پیشنهادی که تک به تک امتحان شده، تا یک ساختار برنامه‌نویسی شرطی قوی را به دست دهد، پیشنهاد داده شود.
اولین برنامه‌های کامپیوتری که از تطبیق الگو استفاده کردند، ویراش گران متن هستند. در Ken Thompson ,Bell Labs برای پوشش regular expressionها ویژگی‌های جستجو و جایگذاری در QED‌ها را گسترش دادند. زبان‌های برنامه‌نویسی اولیه با ساختار تطبیق الگو شامل زبان اسنوبول در سال ۱۹۶۲، SASL در سال ۱۹۷۶، NPL در ۱۹۷۷، و KRC در ۱۹۸۱. زبان‌های برنامه‌نویسی اولیه که تطبیق الگو ی مبتنی بر درخت داشتند، گسترش LISP توسط Fred McBride، در سال ۱۹۷۰ هستند
ساده‌ترین الگو در تطبیق الگو یک متغیر یا مقدار صریح است. به عنوان مثال، یک تابع Haskell با سینتکس ساده را فرض کنید (پارامترهای تابع در پرانتز نمی‌آیند، = به معنای مساوی نیست، بلکه به معنی تعریف است):
در اینجا، ۰ یک الگو ی تک مقداری است. اکنون، هروقت ۰ به عنوان ورودی به f داده شود، الگو مطابقت می‌کند و تابع ۱ برمی‌گرداند. با هر ورودی دیگری، تابع کار نمی‌کند. برای اینکه سینتکس الگوهای پیشنهادی دیگر را در تعریف تابع پشتیبانی کند، می‌توانیم تعریف را به این صورت گسترش دهیم: در اینجا، اولین n یک الگوی تک مقداری است، که قطعاً هر مقداری در آن صدق می‌کند. در، الگوها به ترتیب امتحان می‌شوند بنابراین اولین تعریف حتماً برای صفر صدق می‌کند، همان‌طور که برای بقیه ورودی‌ها تابع به ازای هر ورودی، (n * f (n-1 را برمیگردند. الگوی کلمات (معمولاً به شکل _ نوشته می‌شوند) نیز ساده است: مانند نام متغیر، که با هر مقداری تطبیق می‌کند، اما هر مقداری را به هر اسمی اضافه نمی‌کند.
الگوهای پیچیدهٔ بیشتری می‌توانند از الگوهای اولیهٔ بخش قبل ساخته شوند، معمولاً همان‌طور که مقادیر از ترکیب مقادیر دیگر بدست می‌آیند. تفاوت در اینجاست که برای کلمات و متغیرها، یک الگو به یک تک مقدار ساخته نمی‌شود، اما با گروهی از مقادیر که ترکیبی از المان‌های صریح اند و المان‌هایی که اجازهٔ تمایز با ساختار الگو را دارند، مطابقت می‌کنند.
در Haskell، خطی که در ادامه آمده‌است یک نوع دادهٔ جبری را تعریف می‌کند codice_1 که یک سازندهٔ یکتای داده دارد codice_2 که یک رشته و یک عدد را پوشش می‌دهد. سازنده راسی در درخت است و عدد و رشته برگ‌های روی شاخه‌ها هستند.
وقتی می‌خواهیم بنویسیم functions که یک نوع داده انتزاعی از codice_1 بسازیم، می‌خواهیم تابع‌ها را در interface با نوع داده‌ها بنویسیم، و بنابراین می‌خواهیم مقداری از نوع داده را از داده بیرون بکشیم، به عنوان مثال، فقط بخش عددی یا فقط بخش رشته‌ای از codice_1.
اگر یک متغیر را که از نوع color است را بدهیم، چگونه می‌توانیم داده را از این متغیر بیرون بکشیم؟ به عنوان مثال برای یک تابع برای گرفتن قسمت عددی codice_1، می‌توانیم یک الگوی سادهٔ درخت استفاده کنیم و بنویسیم: همین‌طور داریم:
ایجاد این تابع می‌تواند توسط سینتکس ضبط شدهٔ داده، اتوماتیک انجام شود.