a̷b̷s̷t̷r̷a̷c̷t̷ m̷a̷c̷h̷i̷n̷e̷s̷