summaryrefslogtreecommitdiffstats
path: root/figs
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-11-30 19:14:54 +0100
committerDavid A. Madore <david+git@madore.org>2016-11-30 19:14:54 +0100
commit81bb664dd0d31f8e31ccffd901cc7c7d64ab9fe7 (patch)
tree93317f8f6d025b20f6341384c2b582498c76343e /figs
parent05290959b2d8f39f403580a1454cc2bf9f55d076 (diff)
downloadinf105-81bb664dd0d31f8e31ccffd901cc7c7d64ab9fe7.tar.gz
inf105-81bb664dd0d31f8e31ccffd901cc7c7d64ab9fe7.tar.bz2
inf105-81bb664dd0d31f8e31ccffd901cc7c7d64ab9fe7.zip
The pumping lemma.
Diffstat (limited to 'figs')
0 files changed, 0 insertions, 0 deletions