Một ngôn ngữ nhân tạo được thành lập để thể hiện một tầng lớp nhất định của các thuật toán.