Biểu thức chính quy (Regular Expression, viết tắt Regex/RegExp) là một ngôn ngữ mẫu văn bản mô tả và khớp với một loạt chuỗi phù hợp với quy tắc cú pháp nào đó bằng một chuỗi đơn. Lịch sử của nó có thể truy nguyên về mô hình toán học neuron được đề xuất bởi nhà thần kinh học Warren McCulloch và nhà toán học Walter Pitts vào những năm 1950, sau đó nhà toán học Stephen Kleene vào năm 1956 dựa trên đó đã đề xuất mô tả đại số của「tập hợp chính quy」. Cha đẻ của Unix Ken Thompson vào cuối những năm 1960 lần đầu tiên triển khai biểu thức chính quy trong trình soạn thảo QED, kể từ đó biểu thức chính quy trở thành chức năng cốt lõi của chuỗi công cụ Unix (grep, sed, awk, vi).
Trong các ngôn ngữ lập trình hiện đại, biểu thức chính quy gần như là khả năng tiêu chuẩn — RegExp của JavaScript, module re của Python, java.util.regex của Java, lớp Regex của .NET, gói regexp của Go đều cung cấp hỗ trợ regex. Biểu thức chính quy được áp dụng rộng rãi trong các tình huống như xác thực biểu mẫu (email/số điện thoại/CMND), tìm kiếm và thay thế văn bản (tìm thay thế trình soạn thảo), phân tích log (trích xuất log ERROR), trình thu thập web (trích xuất nội dung HTML), làm sạch dữ liệu (ETL), so khớp định tuyến, lọc đầu vào và bảo mật (quy tắc WAF), v.v.
Khái niệm cốt lõi của biểu thức chính quy bao gồm: lớp ký tự (\d chữ số, \w ký tự từ, \s khoảng trắng), lượng tử (* không hoặc nhiều, + một hoặc nhiều, ? không hoặc một, {n,m} số lần chỉ định), neo (^ đầu, $ cuối, \b ranh giới từ), nhóm ((...) nhóm bắt, (?:...) nhóm không bắt, (?<name>...) nhóm đặt tên), phân nhánh (|), tập hợp ký tự ([a-z]), nhìn xung quanh ((?=...) nhìn trước tích cực, (?!) nhìn trước tiêu cực), v.v. Nắm vững regex có thể nâng cao hiệu quả xử lý văn bản đáng kể, nhưng cũng cần chú ý phòng ngừa các bẫy hiệu suất như ReDoS.