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 је О(n) у дужини n од E. Ово доводи до проучавања система који користе експлицитну замену.