.. automata-library documentation master file, created by sphinx-quickstart on Wed Jun 1 13:57:32 2022. You can adapt this file completely to your liking, but it should at least contain the root `toctree` directive. Welcome to automata-library's documentation! ============================================ .. toctree:: :maxdepth: 2 :caption: Contents: introduction overview nfa Indices and tables ================== * :ref:`genindex` * :ref:`modindex` * :ref:`search`