Verbindungen zwischen Higman-Thompson-Monoiden und digitalen Schaltkreisen

Wir zeigen neue Verbindungen zwischen Higman-Thompson-Monoiden, anderen Thompson-Monoiden und azyklischen digitalen Schaltkreisen auf. Insbesondere beweisen wir, dass das Monoid M2,1 der partiellen Funktionen nicht in Thompsons Monoid totM2,1 der totalen Funktionen eingebettet werden kann, aber dass totM2,1 ein Untermonoid besitzt, das homomorphisch auf M2,1 abgebildet werden kann. Dies führt zu einem effizienten Vervollständigungsalgorithmus für partielle Funktionen und partielle Schaltkreise.