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