I like to know whether it is possible to \"write a program or algorithm\" to find the time complexity of any given program
Proving the complexity of an arbitrary algorithm is not possible but in principle you could estimate it:
There are any number of pitfalls to this approach
There are many ways that this approach can be fooled unless you use huge values of n. For example, this algorithm will look like O(1) unless you use astronomical values for n
sleep for 10 days
run an O(n log(n)) sorting algorithm
And other SO users can come up with many more. But in some cases, like when you do a complexity analysis of an algorithm and want to verify it empirically, this is still a useful approach.