Talk:Enumerator (computer science)

The formal definition is not in Sipser (2012)

I have Sipser (2012) (the only reference) in front of me. He only defines enumerators informally (as a special kind of Turing machines), and leaves the formal definition as an (uncorrected) exercise, so I've marked the "formal definition" section as unreferenced. Anyway, the subsection of Sipser (2012) related to enumerators is literally one page long (enumerators are only mentioned to show that many equivalent versions of Turing machines exist). Surely there is a better reference. Pripensanto (talk) 16:26, 16 April 2021 (UTC)

Formal Definition issue

$S$ is not defined NoamB (talk) 02:23, 3 May 2023 (UTC)