Automaton-Based Representations of Task Knowledge from Generative Language Models