Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings

Andreas Maletti, Nils Oskar Nuernbergk

Pumping lemmata are the main tool to prove that a certain language does not belong to a class of languages like the recognizable languages or the context-free languages. Essentiall…