Das Kernziel ist es, einen Algorithmus zum aktiven Lernen deterministischer Mehrtakt-Zeitautomaten zu präsentieren. Der Algorithmus lernt den Zeitautomaten durch Abfragen eines Lehrers und kann den exakten Automaten mit der korrekten Anzahl an Uhren zurückgeben.
Die Arbeit beweist die Universalität von regulären Realisierungsproblemen für verschiedene Klassen von Filtern. Die Filter sind Beschreibungen endlicher Relationen auf der Menge der nicht-negativen ganzen Zahlen in einem vorgeschlagenen Format.
In vollständig erreichbaren Automaten mit n Zuständen kann jede Teilmenge mit k > 0 Zuständen durch ein Wort der Länge höchstens n(n-k) erreicht werden, unter bestimmten Einschränkungen für Automaten mit zwei Eingabesymbolen.