dˈaðo ˈun estˈaðo ˌiniθjˈal i ˈuna entɾˈaða, siɣjˈɛndo los pˈasos sˌuθesˈiβos se ʎˈeɣa a ˈun estˈaðo finˈal i se obtjˈene ˈuna sˌoluθjˈon.
Dado un estado inicial y una entrada, siguiendo los pasos sucesivos se llega a un estado final y se obtiene una solución.