Describir: Vvedenije v dinamičeskuju teoriju konečnych avtomatov