LALBLC: a program testing the equivalence of dpda's.

Description
• Talk given at LSV (Cachan) on 29/02/13: .pdf.
• Manuscript submitted to CIAA 2013 on 09/03/13: .pdf.

Sources :
• The python files
  .tar (09/03/13)
  .tar (11/07/13)
  
• Explanations and examples:
  explanations on strategies
  7 positive examples
  5 negative examples
  

API:
.txt (11/07/13)

User-manual:
to appear (sorry)

Poste vacant d'ingénieur de recherche:
description du poste .
Date limite de candidature: 10 Avril 2015.