Stage machinery is a general term for mechanical devices used to create special effects in theatrical productions.