aspg-34-3864-1791485082 20261008184442 American Scientific Publishing Group admin@americaspg.com American Scientific Publishing Group Prospects for Applied Mathematics and Data Analysis PAMDA 2836-4449 2024 4 1 Takaaki Fujita Independent Researcher, Shinjuku, Shinjuku-ku, Tokyo, Japan An algorithm is a finite, well-defined computational procedure that transforms inputs into outputs through a structured sequence of steps, guaranteeing termination and correctness. A multialgorithm comprises multiple algorithms augmented with a selection mechanism that dynamically chooses the most appropriate procedure based on input characteristics or contextual conditions. While these concepts have deep roots in computer science and beyond, this paper introduces two novel generalizations: the Hyperalgorithm and the Superhyper- algorithm. By leveraging the mathematical frameworks of hyperstructures and superhyperstructures, respectively, we extend the classical notion of computation to higher-order operations on sets and iterated powersets. We present formal definitions, illustrative examples, and a preliminary analysis of their computational properties, laying the groundwork for a unified theory of higher-order algorithms. 2024 23 31 3864 https://creativecommons.org/licenses/by/4.0/ 10.54216/PAMDA.040104 https://www.americaspg.com/journal/34/article/3864 https://www.americaspg.com/storage/articles/manuscripts/01M1PM89EMYVW26KAY0CJZEPCQ.pdf