I always find it interesting how many things can be represented by finite state automata, and related concepts. I wonder what languages/libraries specialise spe

I always find it interesting how many things can be represented by finite state automata, and related concepts. I wonder what languages/libraries specialise specifically in handling machines of a directed-graph style? I would imagine VHDL and co. have functionality for it.