сделанные в процессе самостоятельного изучения и на лекциях по курсу В.А. Успенского "Общая теория алгоритмов".