http://semanticweb.org/id/Category-3AAutomata_Theory

used by 0: