Bouncer example
In the example here, it looks like the machine given has the roles of 
and 
switched from how they are in the shift rules in the article. Should the rules be for the machine 1LB1RA_1RA1LB instead? I could be wrong if I'm misunderstanding something C7X (talk) 10:05, 12 April 2025 (UTC)