Лемманы айдау - Pumping lemma
Теориясында ресми тілдер, лемманы айдау сілтеме жасай алады:
- Кәдімгі тілдерге арналған лемманы айдау, мұндай тілдегі барлық жеткілікті ұзын жолдарда бірнеше рет қайталанатын ішкі тізбек бар екендігі, әдетте белгілі бір тілдердің тұрақты еместігін дәлелдеу үшін қолданылады
- Контекстсіз тілдерге арналған лемманы сорғызу, мұндай тілдегі барлық жеткілікті ұзын жолдарда бірнеше рет қайталануы мүмкін қос жолдардың болуы, әдетте белгілі бір тілдердің контекстсіз еместігін дәлелдеу үшін қолданылады
- Лемманы айдау индекстелген тілдер
- Кәдімгі ағаш тілдеріне арналған сорғыш лемма
Сондай-ақ қараңыз
- Огден леммасы, контекстсіз тілдерге арналған сорғыш лемманың күшті нұсқасы
 |
Бұл мақала бірдей атпен (немесе ұқсас аттармен) байланысты заттардың тізімін қамтиды. Егер ішкі сілтеме Сізді мұнда қате жіберген болса, сілтемені тікелей мақалаға бағыттау үшін өзгерте аласыз. |