الحسابية, علم الحاسوب, نظرية الأوتوماتا, هياكل البيانات والخوارزمياتالأوتوماتا المحدودة ثنائية الاتجاه (Two-way Finite Automaton)