Can also save NFAs