A String Diagrammatic Axiomatisation of Finite-State Automata · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2009.14576/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTA String Diagrammatic Axiomatisation of Finite-State Automata — mentioned by jkhdigitalhttps://news.ycombinator.com/item?id=29722439urn:hackerpapers:mention:2009.14576:29722439Wed, 29 Dec 2021 06:19:45 GMT<p>On this topic, I recently came across a nice string diagram formalization for automata: https://arxiv.org/pdf/2009.14576.pdf</p><p><a href="https://hackerpaper.kaipfister.de/p/2009.14576/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.FL