SMS dit: Прикладна теорія цифрових автоматів