બે વર્ગો પ્રોગ્રામ કરેલ સિદ્ધાંતો અને ભૂલ સિદ્ધાંતો છે.