Version 1.27.0

• Ring theory and Zariski topology: reaches the result that the spectrum of a quotient ring is homeomorphic to a closed subspace of the spectrum of the original ring .
• A new theory on Finite State Machines. Reaches a proof that non-deterministic finite state automata determine the same languages as deterministic finite state automata. Also includes results on operations closed for regular languages.