Úvodní kapitola teorie konečných automatů vymezí základní pojmy, se kterými se budeme dále setkávat.
Gramatika – soubor všech symbolů, znaků a pravidel, které je zapotřebí k vytváření vět.
Jazyk – obsahuje všechny věty, které lze vytvořit pomocí gramatiky. Jazyk tedy nemůže obsahovat nic, co není obsaženo v gramatice daného jazyka.
Automat – algoritmus, pomocí kterého zjistíme, zdali daná slova či věta patří do zkoumaného jazyka.