.. This file is part of the OpenDSA eTextbook project. See
.. http://algoviz.org/OpenDSA for more details.
.. Copyright (c) 2012-2016 by the OpenDSA Project Contributors, and
.. distributed under an MIT open source license.

.. OpenDSA documentation master file, created by
   sphinx-quickstart on Sat Mar 17 18:07:39 2012.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

.. avmetadata:: OpenDSA Sample eTextbook
   :author: OpenDSA Contributors
   :topic: Data Structures

.. chapnum::
   :start: 0
   :prefix: Chapter

.. _index:

.. raw:: html

   <script>ODSA.SETTINGS.DISP_MOD_COMP = false;ODSA.SETTINGS.MODULE_NAME = "index";ODSA.SETTINGS.MODULE_LONG_NAME = "Contents";ODSA.SETTINGS.MODULE_CHAPTER = ""; ODSA.SETTINGS.BUILD_DATE = "2019-11-05 09:55:21"; ODSA.SETTINGS.BUILD_CMAP = false;</script>


.. |--| unicode:: U+2013   .. en dash
.. |---| unicode:: U+2014  .. em dash, trimming surrounding whitespace
   :trim:


Preface
=======

.. toctree::
   :numbered:
   :maxdepth: 3

   Intro

Introduction
============

.. toctree::
   :numbered:
   :maxdepth: 3

   FLIntro
   FLOverview
   FLConcepts

Mathematical Background
=======================

.. toctree::
   :numbered:
   :maxdepth: 3

   SetDef
   Proofs

Finite Acceptors
================

.. toctree::
   :numbered:
   :maxdepth: 3

   DFA
   NFA
   Minimization

Assignments
===========

.. toctree::
   :numbered:
   :maxdepth: 3

   Sheet1
   Sheet2
   Sheet3
   Sheet5
   Sheet6
   Sheet7

Appendix
========

.. toctree::
   :numbered:
   :maxdepth: 3

   Glossary
   Bibliography

Context-Free Grammars and Languages
===================================

.. toctree::
   :numbered:
   :maxdepth: 3

   CFL
   CFLSimp

Pushdown Automata
=================

.. toctree::
   :numbered:
   :maxdepth: 3

   PDA
   PDACFL
   DPDA

Properties of Context-free Languages
====================================

.. toctree::
   :numbered:
   :maxdepth: 3

   CFLProp

Models of Computation
=====================

.. toctree::
   :numbered:
   :maxdepth: 3

   TuringIntro
   Turing

Parsing
=======

.. toctree::
   :numbered:
   :maxdepth: 3

   ParseIntro
   LLParsing
   LRParsing
   CYKParsing
   Compiler

Limits to Computing
===================

.. toctree::
   :numbered:
   :maxdepth: 3

   Reduction
   RecEnum
   Impossible


.. toctree::
   :maxdepth: 3


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