arthropod genus: a genus of arthropods
abstraction: a general concept formed by extracting common features from specific examples
turing machine: a hypothetical computer with an infinitely long memory tape