Says if a string is in a language or not.
string -> recognizer -> boolean
We want to describe languages formally (mathematically) using ReGex and EBNF so that we can program computers to recognize sentences written in those languages.
Info
This just implements the grammar and is easy to debug