summaryrefslogtreecommitdiffstats
path: root/tp2-files
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-01-10 15:21:58 +0100
committerDavid A. Madore <david+git@madore.org>2017-01-10 15:21:58 +0100
commit87df1b27a05d9192093b5d14a32da1dacc1a0d42 (patch)
treefcbc825392c6f878d86ed136fb4e2381d3171ea2 /tp2-files
parent029a75c66768c84e1a10b7e364f564cf0249a3e5 (diff)
downloadinf105-87df1b27a05d9192093b5d14a32da1dacc1a0d42.tar.gz
inf105-87df1b27a05d9192093b5d14a32da1dacc1a0d42.tar.bz2
inf105-87df1b27a05d9192093b5d14a32da1dacc1a0d42.zip
Pumping lemma for algebraic languages.
Diffstat (limited to 'tp2-files')
0 files changed, 0 insertions, 0 deletions