Myhill-Nerode for hypergraphs and an application to gain-graphic matroids

Daryl Funk, Angus Matthews, Dillon Mayhew

We present a Myhill-Nerode theorem for hypergraphs. The theorem involves an operation which takes two input structures and produces a hypergraph as output. Using this operation, we…