Критерии определения того, является ли это языком программирования

Какие критерии или основные функции необходимы, чтобы сказать, что X или Y является (или не ) языком программирования?

Я кое-что читал ( Считается ли HTML языком программирования? , Тьюринг завершен и другие ) и пришли к выводу, что язык или синтаксис должны быть полными по Тьюрингу , чтобы считаться языком программирования. Это правильно? Достаточно ?

И как мне определить, является ли что-то полным по Тьюрингу ? Есть ли какие-то конкретные критерии?

Достаточно ли наличия структур управления потоком (условных операторов и циклов), чтобы их можно было рассматривать Тьюринг завершен ?