logical machines Synonyms