K-regular sequence

A **K-regular sequence** is a specific type of sequence defined in the context of combinatorial number theory and formal language theory. More formally, a sequence is said to be K-regular if it can be recognized by a finite automaton or if it satisfies certain algebraic properties that can be expressed using K-dimensional vectors or matrices. The most common definition of K-regular sequences comes from the context of **generating functions**.