State machine по-русски - конечный автомат. Код каждой suspend-функции компилятор преобразует в конечный автомат, где каждая точка приостановки соответствует отдельному состоянию автомата. Это и позволяет легко приостанавливать выполнение, а потом начинать с того же места.
Корутины и то как они работают на низком уровне