Regular expressions and finite automatons.