The supervisory control theory of discrete event systems modeled as finite state machines (FSMs) have been studied for many years. However, the problem of state explosion in the exiting theories ...

The Music Analyzer project is a musician-friendly tool that improves chord analysis and identification. It uses finite automata and Python to process MIDI (Musical Instrument Digital Interface) files ...