AACC(ID:7193/aac001)


Language for building finite state automata. [?]