Biểu diễn ngôn ngữ một cách tổng quát thông qua văn phạm (grammar) và automata: Văn phạm: cơ chế sản sinh ra mọi chuỗi của ngôn ngữ; Automata: là một máy trừu tượng, hay một cơ chế cho phép đoán nhận một chuỗi bất kỳ có thuộc một ngôn ngữ L hay không