Text this: Логические схемы и реальные ограничения: методы синтеза, оценки сложности