Hello, I am trying to find what algorithm Python uses for the built-in str.count function, if it has a name. Thanks