Check out my first novel, midnight's simulacra!

Sipser–Lautemann theorem