Talk:Enumerator (computer science)

Latest comment: 1 year ago by Noam E. Bechhofer in topic Formal Definition issue

The formal definition is not in Sipser (2012)

edit

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)Reply

Formal Definition issue

edit

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