Digital machines. - 数字机器