update mindfa note
Merge branch 'automata'