Čerpací lemma - Pumping lemma

V teorii formální jazyky, čerpací lemma může odkazovat na:

• Čerpání lemmatu pro běžné jazyky, skutečnost, že všechny dostatečně dlouhé řetězce v takovém jazyce mají podřetězec, který lze libovolně mnohokrát opakovat, obvykle slouží k prokázání toho, že určité jazyky nejsou pravidelné
• Čerpání lemmatu pro bezkontextové jazyky, skutečnost, že všechny dostatečně dlouhé řetězce v takovém jazyce mají dvojici podřetězců, které lze libovolně mnohokrát opakovat, obvykle slouží k prokázání, že určité jazyky nejsou bezkontextové
• Čerpání lemmatu pro indexované jazyky
• Čerpání lemmatu pro běžné stromové jazyky

Viz také

• Ogdenovo lemma, silnější verze čerpacího lemmatu pro bezkontextové jazyky

Rejstřík článků spojených se stejným názvem Tento článek obsahuje seznam souvisejících položek, které mají stejný název (nebo podobné názvy). Pokud interní odkaz nesprávně vás sem přivedl, možná budete chtít změnit odkaz tak, aby odkazoval přímo na zamýšlený článek.