A naïve search for the locations of V in E is O(n) in the length n of E. This has led to the study of systems that use explicit substitution.
جستجوی ساده‌ای برای مکان‌های V در E برابر O (n) در طول n از E. این منجر به مطالعه سیستم‌هایی که از جایگزینی صریح استفاده می‌کنند.