readme and globalAutomata