Describir: Vvedenije v teoriju abstraktnych avtomatov