- when one of the partitions of a binary machine is not filled, we put definiendum onto that partition - TODO updated after this
- when one of the partitions of a binary machine is not filled, we put
definiendum onto that partition
- TODO updated after this

Eszti/pymachine,Eszti/pymachine,recski/pymachine,kornai/pymachine,recski/pymachine,kornai/pymachine