From ac0d7ee06822997a33b7d0796553cb3f0c0c3ccf Mon Sep 17 00:00:00 2001 From: Jan Meyer Date: Tue, 4 Aug 2026 13:31:58 +0200 Subject: [PATCH] vault backup: 2026-08-04 13:31:58 --- ...041 - atfl-st2026-l01-formal-languages-full.pdf} | Bin ...l02-finite-representation-of-languages-full.pdf} | Bin ....pdf => 29764041 - atfl-st2026-l03-grammars.pdf} | Bin ...9764041 - atfl-st2026-l04-chomsky-hierarchy.pdf} | Bin ...-regular-languages-and-finite-automata-full.pdf} | Bin ...-l06-non-deterministic-finite-automata-full.pdf} | Bin ...041 - atfl-st2026-l07-epsilon-automata-full.pdf} | Bin ...764041 - atfl-st2026-l08-pumping-lemma-full.pdf} | Bin ...atfl-st2026-l09-context-free-languages-full.pdf} | Bin ...41 - atfl-st2026-l10-cfl-closure-properties.pdf} | Bin ...=> 29764041 - atfl-st2026-l11-cyk-algorithm.pdf} | Bin ...764041 - atfl-st2026-l13-pushdown-automaton.pdf} | Bin ...9764041 - atfl-st2026-l14-deterministic-pda.pdf} | Bin ...g.pdf => 29764041 - atfl-st2026-l15-parsing.pdf} | Bin ... 29764041 - atfl-st2026-l16-turing-machines.pdf} | Bin ... atfl-st2026-l17-multi-tape-turing-machines.pdf} | Bin ... 29764041 - atfl-st2026-l18-halting-problem.pdf} | Bin ...f => 29764041 - atfl-st2026-l19-busy-beaver.pdf} | Bin ...041 - atfl-st2026-l20-myhill-nerode-theorem.pdf} | Bin ...4041 - atfl-st2026-l21-program-verification.pdf} | 0 20 files changed, 0 insertions(+), 0 deletions(-) rename 30 Library/{atfl-st2026-l01-formal-languages-full.pdf => 29764041 - atfl-st2026-l01-formal-languages-full.pdf} (100%) rename 30 Library/{atfl-st2026-l02-finite-representation-of-languages-full.pdf => 29764041 - atfl-st2026-l02-finite-representation-of-languages-full.pdf} (100%) rename 30 Library/{atfl-st2026-l03-grammars.pdf => 29764041 - atfl-st2026-l03-grammars.pdf} (100%) rename 30 Library/{atfl-st2026-l04-chomsky-hierarchy.pdf => 29764041 - atfl-st2026-l04-chomsky-hierarchy.pdf} (100%) rename 30 Library/{atfl-st2026-l05-regular-languages-and-finite-automata-full.pdf => 29764041 - atfl-st2026-l05-regular-languages-and-finite-automata-full.pdf} (100%) rename 30 Library/{atfl-st2026-l06-non-deterministic-finite-automata-full.pdf => 29764041 - atfl-st2026-l06-non-deterministic-finite-automata-full.pdf} (100%) rename 30 Library/{atfl-st2026-l07-epsilon-automata-full.pdf => 29764041 - atfl-st2026-l07-epsilon-automata-full.pdf} (100%) rename 30 Library/{atfl-st2026-l08-pumping-lemma-full.pdf => 29764041 - atfl-st2026-l08-pumping-lemma-full.pdf} (100%) rename 30 Library/{atfl-st2026-l09-context-free-languages-full.pdf => 29764041 - atfl-st2026-l09-context-free-languages-full.pdf} (100%) rename 30 Library/{atfl-st2026-l10-cfl-closure-properties.pdf => 29764041 - atfl-st2026-l10-cfl-closure-properties.pdf} (100%) rename 30 Library/{atfl-st2026-l11-cyk-algorithm.pdf => 29764041 - atfl-st2026-l11-cyk-algorithm.pdf} (100%) rename 30 Library/{atfl-st2026-l13-pushdown-automaton.pdf => 29764041 - atfl-st2026-l13-pushdown-automaton.pdf} (100%) rename 30 Library/{atfl-st2026-l14-deterministic-pda.pdf => 29764041 - atfl-st2026-l14-deterministic-pda.pdf} (100%) rename 30 Library/{atfl-st2026-l15-parsing.pdf => 29764041 - atfl-st2026-l15-parsing.pdf} (100%) rename 30 Library/{atfl-st2026-l16-turing-machines.pdf => 29764041 - atfl-st2026-l16-turing-machines.pdf} (100%) rename 30 Library/{atfl-st2026-l17-multi-tape-turing-machines.pdf => 29764041 - atfl-st2026-l17-multi-tape-turing-machines.pdf} (100%) rename 30 Library/{atfl-st2026-l18-halting-problem.pdf => 29764041 - atfl-st2026-l18-halting-problem.pdf} (100%) rename 30 Library/{atfl-st2026-l19-busy-beaver.pdf => 29764041 - atfl-st2026-l19-busy-beaver.pdf} (100%) rename 30 Library/{atfl-st2026-l20-myhill-nerode-theorem.pdf => 29764041 - atfl-st2026-l20-myhill-nerode-theorem.pdf} (100%) rename 30 Library/{atfl-st2026-l21-program-verification.pdf => 29764041 - atfl-st2026-l21-program-verification.pdf} (100%) diff --git a/30 Library/atfl-st2026-l01-formal-languages-full.pdf b/30 Library/29764041 - atfl-st2026-l01-formal-languages-full.pdf similarity index 100% rename from 30 Library/atfl-st2026-l01-formal-languages-full.pdf rename to 30 Library/29764041 - atfl-st2026-l01-formal-languages-full.pdf diff --git a/30 Library/atfl-st2026-l02-finite-representation-of-languages-full.pdf b/30 Library/29764041 - atfl-st2026-l02-finite-representation-of-languages-full.pdf similarity index 100% rename from 30 Library/atfl-st2026-l02-finite-representation-of-languages-full.pdf rename to 30 Library/29764041 - atfl-st2026-l02-finite-representation-of-languages-full.pdf diff --git a/30 Library/atfl-st2026-l03-grammars.pdf b/30 Library/29764041 - atfl-st2026-l03-grammars.pdf similarity index 100% rename from 30 Library/atfl-st2026-l03-grammars.pdf rename to 30 Library/29764041 - atfl-st2026-l03-grammars.pdf diff --git a/30 Library/atfl-st2026-l04-chomsky-hierarchy.pdf b/30 Library/29764041 - atfl-st2026-l04-chomsky-hierarchy.pdf similarity index 100% rename from 30 Library/atfl-st2026-l04-chomsky-hierarchy.pdf rename to 30 Library/29764041 - atfl-st2026-l04-chomsky-hierarchy.pdf diff --git a/30 Library/atfl-st2026-l05-regular-languages-and-finite-automata-full.pdf b/30 Library/29764041 - atfl-st2026-l05-regular-languages-and-finite-automata-full.pdf similarity index 100% rename from 30 Library/atfl-st2026-l05-regular-languages-and-finite-automata-full.pdf rename to 30 Library/29764041 - atfl-st2026-l05-regular-languages-and-finite-automata-full.pdf diff --git a/30 Library/atfl-st2026-l06-non-deterministic-finite-automata-full.pdf b/30 Library/29764041 - atfl-st2026-l06-non-deterministic-finite-automata-full.pdf similarity index 100% rename from 30 Library/atfl-st2026-l06-non-deterministic-finite-automata-full.pdf rename to 30 Library/29764041 - atfl-st2026-l06-non-deterministic-finite-automata-full.pdf diff --git a/30 Library/atfl-st2026-l07-epsilon-automata-full.pdf b/30 Library/29764041 - atfl-st2026-l07-epsilon-automata-full.pdf similarity index 100% rename from 30 Library/atfl-st2026-l07-epsilon-automata-full.pdf rename to 30 Library/29764041 - atfl-st2026-l07-epsilon-automata-full.pdf diff --git a/30 Library/atfl-st2026-l08-pumping-lemma-full.pdf b/30 Library/29764041 - atfl-st2026-l08-pumping-lemma-full.pdf similarity index 100% rename from 30 Library/atfl-st2026-l08-pumping-lemma-full.pdf rename to 30 Library/29764041 - atfl-st2026-l08-pumping-lemma-full.pdf diff --git a/30 Library/atfl-st2026-l09-context-free-languages-full.pdf b/30 Library/29764041 - atfl-st2026-l09-context-free-languages-full.pdf similarity index 100% rename from 30 Library/atfl-st2026-l09-context-free-languages-full.pdf rename to 30 Library/29764041 - atfl-st2026-l09-context-free-languages-full.pdf diff --git a/30 Library/atfl-st2026-l10-cfl-closure-properties.pdf b/30 Library/29764041 - atfl-st2026-l10-cfl-closure-properties.pdf similarity index 100% rename from 30 Library/atfl-st2026-l10-cfl-closure-properties.pdf rename to 30 Library/29764041 - atfl-st2026-l10-cfl-closure-properties.pdf diff --git a/30 Library/atfl-st2026-l11-cyk-algorithm.pdf b/30 Library/29764041 - atfl-st2026-l11-cyk-algorithm.pdf similarity index 100% rename from 30 Library/atfl-st2026-l11-cyk-algorithm.pdf rename to 30 Library/29764041 - atfl-st2026-l11-cyk-algorithm.pdf diff --git a/30 Library/atfl-st2026-l13-pushdown-automaton.pdf b/30 Library/29764041 - atfl-st2026-l13-pushdown-automaton.pdf similarity index 100% rename from 30 Library/atfl-st2026-l13-pushdown-automaton.pdf rename to 30 Library/29764041 - atfl-st2026-l13-pushdown-automaton.pdf diff --git a/30 Library/atfl-st2026-l14-deterministic-pda.pdf b/30 Library/29764041 - atfl-st2026-l14-deterministic-pda.pdf similarity index 100% rename from 30 Library/atfl-st2026-l14-deterministic-pda.pdf rename to 30 Library/29764041 - atfl-st2026-l14-deterministic-pda.pdf diff --git a/30 Library/atfl-st2026-l15-parsing.pdf b/30 Library/29764041 - atfl-st2026-l15-parsing.pdf similarity index 100% rename from 30 Library/atfl-st2026-l15-parsing.pdf rename to 30 Library/29764041 - atfl-st2026-l15-parsing.pdf diff --git a/30 Library/atfl-st2026-l16-turing-machines.pdf b/30 Library/29764041 - atfl-st2026-l16-turing-machines.pdf similarity index 100% rename from 30 Library/atfl-st2026-l16-turing-machines.pdf rename to 30 Library/29764041 - atfl-st2026-l16-turing-machines.pdf diff --git a/30 Library/atfl-st2026-l17-multi-tape-turing-machines.pdf b/30 Library/29764041 - atfl-st2026-l17-multi-tape-turing-machines.pdf similarity index 100% rename from 30 Library/atfl-st2026-l17-multi-tape-turing-machines.pdf rename to 30 Library/29764041 - atfl-st2026-l17-multi-tape-turing-machines.pdf diff --git a/30 Library/atfl-st2026-l18-halting-problem.pdf b/30 Library/29764041 - atfl-st2026-l18-halting-problem.pdf similarity index 100% rename from 30 Library/atfl-st2026-l18-halting-problem.pdf rename to 30 Library/29764041 - atfl-st2026-l18-halting-problem.pdf diff --git a/30 Library/atfl-st2026-l19-busy-beaver.pdf b/30 Library/29764041 - atfl-st2026-l19-busy-beaver.pdf similarity index 100% rename from 30 Library/atfl-st2026-l19-busy-beaver.pdf rename to 30 Library/29764041 - atfl-st2026-l19-busy-beaver.pdf diff --git a/30 Library/atfl-st2026-l20-myhill-nerode-theorem.pdf b/30 Library/29764041 - atfl-st2026-l20-myhill-nerode-theorem.pdf similarity index 100% rename from 30 Library/atfl-st2026-l20-myhill-nerode-theorem.pdf rename to 30 Library/29764041 - atfl-st2026-l20-myhill-nerode-theorem.pdf diff --git a/30 Library/atfl-st2026-l21-program-verification.pdf b/30 Library/29764041 - atfl-st2026-l21-program-verification.pdf similarity index 100% rename from 30 Library/atfl-st2026-l21-program-verification.pdf rename to 30 Library/29764041 - atfl-st2026-l21-program-verification.pdf