Michael Wehar https://isa-afp.org/authors/wehar/ AFP entries of Michael Wehar Multitape Turing Machine Substrate https://isa-afp.org/entries/Multitape_TM_Substrate.html Tue, 14 Jul 2026 00:00:00 +0000 Multitape Turing Machine Substrate in the AFP Computer science/Automata and formal languages Multitape Alphabet Roundtrip https://isa-afp.org/entries/Multitape_Alphabet_Roundtrip.html Tue, 14 Jul 2026 00:00:00 +0000 Multitape Alphabet Roundtrip in the AFP Computer science/Automata and formal languages Multitape Alphabet Reduction https://isa-afp.org/entries/Multitape_Alphabet_Reduction.html Tue, 14 Jul 2026 00:00:00 +0000 Multitape Alphabet Reduction in the AFP Computer science/Automata and formal languages Multitape Alphabet Enlargement https://isa-afp.org/entries/Multitape_Alphabet_Enlargement.html Tue, 14 Jul 2026 00:00:00 +0000 Multitape Alphabet Enlargement in the AFP Computer science/Automata and formal languages