Updated documentation links to point to the master branch for various API specifications. Enhanced clarity in descriptions and remarks for methods and properties related to automata operations, ensuring accurate guidance for developers.