Frequency Pushdown Automata.
Ilmārs Pužulis, Rūsiņš Freivalds · 2015
Frequency computation was introduced in [16]. Trakhtenbrot [17] proved the existence of a continuum of functions computable by frequency Turing machines with frequency 1 2 . In contrast, every function computable by a frequency Turing machine with frequency exceeding