Bisimulation
Computer science
Mutant
Automaton
Equivalence (formal languages)
Mutation testing
Operator (biology)
Mutation
Process (computing)
Focus (optics)
Model checking
Theoretical computer science
Programming language
Genetics
Mathematics
Biology
Discrete mathematics
Physics
Repressor
Transcription factor
Optics
Gene