Technical University of Varna

Finite-Observation Conditional Guarded Language Operators: Kannan Contractions Beyond Banach Contractivity

We introduce finite-observation conditional guarded language operators on the complete length-based ultrametric space of formal languages over a finite alphabet. A finite observation map selects a guarded branch according to the membership of prescribed test words. Although each...