عبارت باقاعده
عبارت باقاعده، که تحت عنوان regex یا regexp (مخفف عبارت انگلیسی "regular expression") نیز نامیده می‌شود در علوم رایانه، به معنی تطبیق رشته در متن است، که از قبیل نویسه‌های خاص، کلمات و الگوهایی از نویسه‌ها می‌باشد. یک عبارت باقاعده با زبان معمولی نوشته می‌شود که می‌تواند توسط یک پردازشگر عبارت باقاعده، یا یک برنامه که به عنوان تولیدکنندهٔ مترجم یا بررسی‌کنندهٔ متن و تشخیص قسمت‌هایی از آن به وسیلهٔ مشخصات استفاده شود.
این نمونه‌ها می‌توانید قابلیت‌ها محدودی که عبارت با قاعده می‌تواند انجام دهد را نشان دهد:
عبارت‌های باقاعده می‌توانند خیلی پیچیده‌تر از این مثال‌ها باشند.
عبارت با قاعده مجموعه ای از رشته‌ها مشخص است. برای مشخص کردن این رشته‌ها قوانین کوتاه‌تر از زمانی که لیستی از اعضای این مجموعه است. مثلاً، مجموعه که ۳ رشته بدین صورت است:Handel, Händel, Haendel , به شکل codice_1 است. همچنین اگر حداقل یک عبارت منظم موجود باشد که با یک عضو خاص مجموعه یکی باشد آنگاه تعداد نامحدودی از این نوع عبارات داریم. برای ساختن عبارات با قاعده می‌توان از عملیات‌های زیر استفاده کرد.
یک خط عمودی است که ۲ آلترناتیو را جا می‌کند:codice_2 که همان "gray" or "grey" است.کمانک که برای تعریف دامنه و اولویت بندی عملگرا به کار می‌رود. مثلاً:codice_2 و codice_4 معادل یکدیگرند و هر دو مجموعه "gray" و "grey" را توصیف می‌کنند.سور، در منطق فلسفی و منطق ریاضی، نشانه‌ای است که دایرهٔ مصداق‌ها را مشخص می‌کند. سورها شامل «هر» (∀)، «هیچ» و «برخی» (∃) هستند. سورها معروف عبارتند از ستاره و علامت سؤال و علامت مثبت و منفی و ستاره کلین است.
این ساختارها می‌توانند ترکیبی از چند عبارت دلخواه باشد.
نحو دقیق عبارات با قاعده از نظر علامت و حرف با یکدیگر متفاوت است.
ریشه عبارات با قاعده درزبان صوری و نظریه اتوماتا است؛ و هر دوقسمتی از علوم نظری رایانه‌اند. این رشته به مطالعه مدل‌های محاسباتی و راه‌های توضیح و توصیف زبان‌ها می‌پردازند. ریاضیدان معروف استفان کل کلین از این مدل برای توصیف مفاهیم ریاضی به نام مجموعه منظم که در سال ۱۹۳۰ (میلادی) روش کار می‌کرد استفاه کرد. زبان اسنوبول اجرایی از تطبیق الگو ولی با عبارات با قاعده یکسان نبود. کنت تامسون از مفهوم کلین استفاده کرد و با کمک یکی کردن الگوهای پرونده نوشتاری، ویرایشگر متن را به وجود آورد. او سپس این قابلیت را به یونیکس اضافه کرد که منجر به استفاده عبارت با قاعده گرپ در جستجوها شد. از آن زمان بسیاری از تغییرات انطباق اصلی تامپسون از عبارات منظم به‌طور گسترده در یونیکس و AWK و ایمکس و لکس استفاده شده‌است.
عبارات با قاعده زبان منظم را درزبان صوری توضیح می‌دهد. قدرت بیان آن‌ها مانند گرامر منظم یکی است.
عبارات منظم از تعدادی نمادهای ثابت و اپراتور تشکیل شده‌است که مشخص‌کننده مجموعه‌ای از این رشته‌ها و عملگراها در این مجموعه است. این یک تعریف رسمی است و در کتاب‌های مربوط به ترجمه زبان‌ها یافت می‌شود. با توجه به حرف Σ , شرح‌های زیر به عنوان عبارات با قاعده تعریف می‌شوند:
با توجه به عبارت منظم R,S , عملگراهای زیر برای تعریف عبارت با قاعده تعریف می‌شوند.  { αβ | α in set described by expression "R" and β in set described by "S" } مثلاً: if R describes {"ab", "c"} and S describes {"ab", "d", "ef"}, expression "R" | "S" describes {"ab", "c", "d", "ef.مجموعه‌ای از کاراکترها که نشان‌دهنده فعالیتی هستند. اما می‌توانیم با استفاده از کاراکتر Escape آن‌ها را کاراکتر معمولی جلوه دهیم. همچنین به جای کاراکتر EScape از "\" استفاده کرد.
یونیکس‌های سنتی نیز همان قواعد مشترک را در عبارت با قاعده دارد اما امکان دارد در بعضی از ابزار متفاوت است. پازیکس (POSIX) که مخفف « Portable Operating System Interface [for Unix]» است، عبارت است از مجموعه استانداردهایی که برای نامگذاری و تعریف شمایل رابط برنامه‌نویسی کاربردی در محیط‌های شبه-یونیکس در آی‌تریپل‌ایی تعریف شده‌اند. این استانداردها تحت نام کلی IEEE 1003 و نام بین‌المللی ISO/IEC 9945 شناخته می‌شوند، امکان همسان‌سازی و ارتباط و پرت کردن آسان‌تر بین محیط‌های یادشده را فراهم می‌آورد. واژهٔ پازیکس پیشنهاد بنیان‌گذار بنیاد نرم‌افزار آزاد، ریچارد استالمن بود. در سینتکس BREکه مخفف (Basic Regular Expressions) اغلب کاراکترها تحت‌الفظی است و فقط با خودشان برابرند. مثلاً codice_5 برابر "a" است. استثناهای زیر نیز وجود دارد که "متا کاراکتر " گویند.
از عبارات با قاعده در و برای استفاده می‌شود. همچنین از عبارات با قاعده می‌توان درجویشگر و پایگاه داده‌ها و همچنین در منابع کامپیوتری که بر مبنای پیچیدگی محاسبه اند می‌توان استفاده کرد. اگر چه در بسیاری از موضوعات از عبارت منظم مبتنی بر پرس و جو داخلی اجرا می‌شود، بیشتر موتورهای جستجو از رسانه‌ها عبارت منظم را به عموم مردم ارائه نمی‌دهند. البته استثنایی است که: کدهای جستجو گوگل و اکسلید.