- Một biểu thức chính qui là một chuỗi ký tự chứa các ký tự
bình thường và các ký tự đặc biệt:
- Các ký tự bình thường mô tả chính các ký tự đó
- Các ký tự đặc biệt mô tả các nhóm ký tự và tính chất kèm theo như: số lượng ký tự trong nhóm, vị trí ký tự hoặc kiểu ký tự
- So khớp mẫu (pattern matching) là việc tìm các nhóm ký tự được mô tả bởi một biểu thức chính qui