W informatyce, w szczególności w formalnej teorii języka, leming pompowania języków bezkontekstowych, znany również jako lemat Bar-Hillela, jest lematem, który daje właściwość dzieloną przez wszystkie języki bezkontekstowe i uogólnia lemat pompowania dla zwykłego języka. Języki. Lemat pompowania nie wystarcza, aby zagwarantować, że język nie jest wolny od kontekstu, istnieją bardziej rygorystyczne warunki, takie jak lemat Ogdena. [Informatyka] |