diff options
| author | David A. Madore <david+git@madore.org> | 2017-01-10 15:21:58 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2017-01-10 15:21:58 +0100 |
| commit | 87df1b27a05d9192093b5d14a32da1dacc1a0d42 (patch) | |
| tree | fcbc825392c6f878d86ed136fb4e2381d3171ea2 /tp1-files | |
| parent | 029a75c66768c84e1a10b7e364f564cf0249a3e5 (diff) | |
| download | inf105-87df1b27a05d9192093b5d14a32da1dacc1a0d42.tar.gz inf105-87df1b27a05d9192093b5d14a32da1dacc1a0d42.tar.bz2 inf105-87df1b27a05d9192093b5d14a32da1dacc1a0d42.zip | |
Pumping lemma for algebraic languages.
Diffstat (limited to 'tp1-files')
0 files changed, 0 insertions, 0 deletions