Язык L обладает суффиксным (префиксным) свойством, если никакая цепочка языка не является суффиксом (префиксом) другой цепочки.

Конструкторы языка представляют собой набор правил, по которым можно построить все слова языка  и нельзя построить слово никакого другого языка. К конструкторам относятся грамматики, синтаксические диаграммы, регулярные выражения.

Распознаватель языка– некоторое абстрактное устройство. Подавая на его вход любое слово, от распознавателя получают ответ – принадлежит ли это слово языку. К распознавателям относятся различного вида конечные автоматы.