symbolic systems and machine