problem recognition/ automata drafting #1

Closed cdolu closed 1 year ago