Algorithms and procedures are modelled by
A)Turing machines that may or may not halt on some inputs
B)Turing machines that always halts
C)Algorithms are modelled by general Turing machine and procedures by Turing machine that always halt
D)None of the above