AUTOMATA THEORY-515611-2022B-501002252010