A mintaillesztéshez kell egy tárgy (subject) string és egy minta (pattern). A tárgyat megelőzi a címke mező az utasításban, és a tárgy után jön a minta, amiket szóköz vagy tabulátor választ el. Ha a tárgy egy string és a minta egy pattern, akkor így néz ki egy mintaillesztő utasítás:
A mintaillesztés sikeres, ha a minta megtalálható a tárgyban, különben failure jelzést ad vissza. Ezeket a jelzéseket ellenőrizni lehet a GOTO mezőben:
A zárójelek használatával egyértelművé tehetjük, hogy mi a tárgyunk és a mintánk:
Ebben az esteben X a subject, és Y a Z-vel konkatenálva a minta.
Most a tárgy az X és Y string konkatenációja, és Z a minta.
A tárgy string lehet string literál, változó, vagy kifejezés.
Ha P1 és P2 két részminta (subpattern), akkor a P1 P2 kifejezés szintén minta.
Az alternation operátor a függőleges vonal (|). Ennek az operátornak is mindkét oldalán white space-nek kell állnia.
A P1 | P2 kifejezés egy minta, vagy P1 minta, vagy P2 minta. Mintaillesztésnél a SNOBOL balról jobbra próbálkozik.
A P1 | P2 P3 kifejezésben P1 minta egyedül van, míg P2 mintát P3 minta követi.
Persze itt is lehet a zárójelet használni: (P1 | P2) P3. P1 vagy P2 mintát P3 minta követi.
Zárójelek használatával egy minta tényezőkre bontható. A 'COMPATIBLE', 'COMPREHENSIBLE', és 'COMPRESSIBLE' stringeket egyeztetni lehet az alábbi mintával:
A B BOTH mintaillesztés sikeres volt, de nem tudjuk, hogy melyik minták illeszkedtek. Ennek lekérdezésére használható a bináris feltételes értékadás operátor, melynek jele a pont (.):
Ebben mintában (('B' | 'F' | 'N') . FIRST 'EA' ('R' | 'T') . LAST) . WORD illeszkedik a következő szavakra:
Hét primitív mintát építettek bele a SNOBOL4-be. Ebből 2-vel fogunk tüzetesebben foglalkozni. Az egyik a REM a REMainder pattern (maradék minta) rövidítése:
A másik az ARB, amely tetszőleges karaktereket tud összehasonlítani:
Mintaillesztés közben szükségünk lehet a kurzor pozíciójára, ami a tárgy stringre mutató pointer. A pointer értéke egy integer. A kurzor pozíció operátorral le tudjuk kérdezni az érvényes kurzor változó értékét. Az unáris operátor jele az "at jel" (@):