paragraph_text: Da bi se jezik smatrao programskim jezikom mora ispunjavati uvjet poznat u svijetu matematike i računarske znanosti kao Turing potpunost, što jamči da dani programski jezik može opisati svaki računalni postupak (program/algoritam).