Version 1.27.0

[SKolodynski]

• 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.

---

This discussion was created from the release Version 1.27.0.