unilateral-bouncers and halting-segment deciders

bbchallenge / bbchallenge-deciders

Here we give programs that check if Turing machines halt or not.

10 stars 3 forks source link

unilateral-bouncers and halting-segment deciders #9

Closed Iijil1 closed 1 year ago

tcosmo commented 2 years ago

Thank you very much!!!

I will review directly here which will be easier :)

Many thanks!

tcosmo commented 2 years ago

@Iijil1 I started reviewing your decider for unilateral bouncers.

Amazing work! Your code is really nice to read and I can follow whats going on easily. The commits that I proposed are just about renaming stuff, don't hesitate to change my renamings if you don't like them. Also, we'll have to update your (very useful) comments with the new vocabulary.