Blar i Department of Informatics på forfatter "de Melo, Alexsander Andrade"
-
Second-Order Finite Automata
de Melo, Alexsander Andrade; Oliveira, Mateus De Oliveira (Journal article; Peer reviewed, 2022)Traditionally, finite automata theory has been used as a framework for the representation of possibly infinite sets of strings. In this work, we introduce the notion of second-order finite automata, a formalism that combines ...