В теории вычислительной техники и математике слово «грамматика» означает набор правил, определяющих, является ли последовательность символов допустимым элементом языка, называемого машинным (компьютерным) или формальным языком.