algebraická teorie automatů