Почему все языки программирования - формальные

Поэтому что мы не напрямую разговариваем схемам компьютера что и как делать, мы для данного процесса используем язык программирования он формален поэтому что компьютер не знает данный язык он знает только машинные язык , а сам язык программирования он понятен для нас он формален для компьютера по этому есть такие понятие как компиляция и остальные, проще говоря язык программирования сотворен для людей чтоб они могли просто и просто разговаривать что делать компьютеру, а он теснее в свою очередь переводит всё на машинный язык и выполняет задачку