A former name for Machnín was Machnadorf, and some sources also refer to it as Mochendorf, Machndorf or Mochendorff.
Satul Machnín s-a numit anterior Machnadorf, iar unele surse se referă la el, de asemenea, cu numele de Mochendorf, Machndorf sau Mochendorff.