On Post’s system of tag with 0 → 00 and 1 → 1101 as productions, Memoranda Informatica (in preparation (0)

by P R J Asveld