A generalization of Deterministic Finite Automata related to discharging (original) (raw)
Abstract:Deterministic Finite Automata (DFAs) are of central importance in automata theory. In view of how state diagrams for DFAs are defined using directed graphs, this leads us to introduce a generalization of DFAs related to a method widely used in graph theory referred to as the discharging method. Given a DFA (Q,Sigma,delta,q0,F)(Q, \Sigma, \delta, q_{0}, F)(Q,Sigma,delta,q0,F), the transition function deltacolonQtimesSigmatoQ\delta\colon Q \times \Sigma \to QdeltacolonQtimesSigmatoQ determines a directed path in the corresponding state diagram based on an input string a1a2cdotsana_{1} a_{2} \cdots a_{n}a1a2cdotsan consisting of characters in Sigma\SigmaSigma, and our generalization can be thought of as being based on how each vertex in DDD ''discharges'' rational values to adjacent vertices (by analogy with the discharging method) depending on the string a1a2cdotsana_{1} a_{2} \cdots a_{n}a1a2cdotsan and according to a fixed set of rules. We formalize this notion and pursue an exploration of the notion of a Discharging Deterministic Finite Automaton (DDFA) introduced in this paper. Our DDFA construction gives rise to a ring structure consisting of sequences that we refer to as being quasi-$k$-regular, and this ring generalizes the ring of kkk-regular sequences introduced by Allouche and Shallit.
Submission history
From: John Campbell [view email]
[v1] Tue, 17 Jun 2025 00:03:59 UTC (15 KB)