summaryrefslogtreecommitdiffstats
path: root/tp1-files
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-12-08 15:17:04 (GMT)
committerDavid A. Madore <david+git@madore.org>2016-12-08 15:17:04 (GMT)
commit3fd2bc5bd4fe4f6ae7e7e3b03d70d7458c17ea18 (patch)
treec66110479b7b91cb7c961ffef92a4936125144b7 /tp1-files
parent0b45c1b9c0ba5a6543951358036a7ff562073e47 (diff)
downloadinf105-3fd2bc5bd4fe4f6ae7e7e3b03d70d7458c17ea18.zip
inf105-3fd2bc5bd4fe4f6ae7e7e3b03d70d7458c17ea18.tar.gz
inf105-3fd2bc5bd4fe4f6ae7e7e3b03d70d7458c17ea18.tar.bz2
Clarify decidability of equivalence of automata or regexps.
Diffstat (limited to 'tp1-files')
0 files changed, 0 insertions, 0 deletions