Talk:Brady's algorithm

Hey C7X, what do you think about merging this into the main Tree Normal Form article? My thought is that we could migrate any new content over from here and then turn this into a redirect. IIUC, "Brady's algorithm" is just an alternative name coined by Nick Drozd to describe TNF enumeration. Does that sound right? Sligocki (talk) 15:34, 15 November 2024 (UTC)

Sounds good! (Shortly after making this page I found that Tree Normal Form describes a similar algorithm, but I figured that it was probably fine since the algorithm currently listed there is for enumeration of all TMs, while this one sifts through them with deciders. But this isn't too much of a difference, and if you think they are too similar you can merge them.) C7X (talk) 22:08, 15 November 2024 (UTC)