Современные компьютеры все еще очень далеки от хорошего понимания человеческого языка. Поэтому для работы с ними применяют различные искусственные языки.
Так, все компьютерные программы представлены на языке машинных кодов, который наиболее удобен для их обработки процессором персонального компьютера. Так как создание программы на этом языке — долгий и трудоемкий процесс, для разработки приложений чаще используются специальные языки программирования (наиболее популярными среди них являются С, C++, Pascal, Visual Basic, Java, C# и другие).
Написанный на них текст программы в процессе компиляции переводится в машинный код, готовый для обработки процессором. По своей структуре языки программирования уже больше похожи на человеческий язык. Однако для их применения также требуются определенные знания и навыки написания программ.
Поэтому в последнее время все чаще начинают использовать еще более близкие к человеческому языки, именуемые языками четвертого поколения (fourth-generation languages). Они служат для программирования искусственного интеллекта, экспертных систем и т. п.