Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
Context-Free Fixed Points and Complete Classification of Orbits in Picard Iteration for Guarded Power Language Operators
Atanas Ilchev, Hristo Kiskinov, George Pashev +1
We study the language-theoretic structure of fixed points and finite Picard iterates for guarded q-power language operators. For the general operator, we prove that a context-free…
cs.FL2026
Ultrametric Convergence of Guarded Automata and Applications to Structural Input Validation
Atanas Ilchev, Hristo Kiskinov, George Pashev +1
We equip language-equivalence classes of deterministic finite automata with a distinguishing-word ultrametric and identify the resulting space isometrically with the regular langua…