.. cse103-notes documentation master file, created by
   sphinx-quickstart on Fri Oct  2 09:04:31 2020.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to cse103-notes's documentation!
========================================

.. toctree::
   :maxdepth: 5
   :caption: Contents:

   intro
   sets
   proofs
   dfa
   nfa
   regex
   pumpinglemma
   dfaext
   cfg
   pda
   parsing
   tm


Indices and tables
==================

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`